|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
| Jean Christoph Jung 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 | | KR on Friday, August 5th | | KR Program | | Paper: Actively Learning ELIQs in the Presence of DL-Lite-Horn Ontologies | | Paper: More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions | | Program | | Program for Friday, August 5th | | Program for Monday, August 8th | | Program for Sunday, August 7th | | Program for Tuesday, August 9th | | Program for Wednesday, August 10th | | SAT on Friday, August 5th | | SAT Program | | Slides | | Slides | | Slides |
|
|
|
