First-Order Rewritability of Temporal Ontology-Mediated Queries.
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review
Contributors
Details
Original language | English |
---|---|
Title of host publication | Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) |
Pages | 2706-2712 |
Number of pages | 7 |
Publication status | Published - 2015 |
Peer-reviewed | Yes |
External IDs
Scopus | 84949811617 |
---|---|
ORCID | /0000-0001-9936-0943/work/142238119 |