|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
| Frank Wolter Pages in this Program | All Proceedings Papers | | DECFOML on Sunday, July 31st | | DECFOML Program | | DL on Sunday, August 7th | | DL on Tuesday, August 9th | | DL Proceedings | | DL Proceedings: Papers with Abstracts | | DL Program | | KR on Friday, August 5th | | KR on Tuesday, August 2nd | | KR Program | | Paper: More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions | | Paper: Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps | | Program | | Program for Friday, August 5th | | Program for Sunday, August 7th | | Program for Sunday, July 31st | | Program for Tuesday, August 2nd | | Program for Tuesday, August 9th |
|
|
|
