FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Martin Homola
Affiliation: Comenius University in Bratislava
Web page: https://dai.fmph.uniba.sk/~homola/
Pages in this Program
All Proceedings Papers
DL on Monday, August 8th
DL on Sunday, August 7th
DL on Tuesday, August 9th
DL on Wednesday, August 10th
DL Proceedings
DL Proceedings: Papers with Abstracts
DL Program
FOMEO on Sunday, July 31st
FOMEO Program
KR on Friday, August 5th
KR Program
NMR on Monday, August 8th
NMR Program
Paper: An API for DL Abduction Solvers
Paper: Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Program
Program for Friday, August 5th
Program for Monday, August 8th
Program for Sunday, August 7th
Program for Sunday, July 31st
Program for Tuesday, August 9th
Program for Wednesday, August 10th
Slides
Slides
Slides
Slides
XLoKR on Sunday, July 31st
XLoKR Program