FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Júlia Pukancová
Affiliation: Comenius University in Bratislava
Pages in this Program
All Proceedings Papers
DL on Monday, August 8th
DL on Tuesday, August 9th
DL Proceedings
DL Proceedings: Papers with Abstracts
DL Program
FOMEO on Sunday, July 31st
FOMEO Program
Paper: An API for DL Abduction Solvers
Paper: Hybrid MHS-MXP ABox Abduction Solver: First Emprical Results
Program
Program for Monday, August 8th
Program for Sunday, July 31st
Program for Tuesday, August 9th
Slides
Slides
Slides
Slides
XLoKR on Sunday, July 31st
XLoKR Program