Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Andrea Mazzullo"'
Publikováno v:
Proceedings of the AAAI Conference on Artificial Intelligence. 35:6193-6201
The Craig interpolation property (CIP) states that an interpolant for an implication exists iff it is valid. The projective Beth definability property (PBDP) states that an explicit definition exists iff a formula stating implicit definability is val
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69518fe96a02698b819c78d6b8e93d7d
https://doi.org/10.1609/aaai.v35i7.16770
https://doi.org/10.1609/aaai.v35i7.16770
Publikováno v:
AAAI
We investigate the complexity of learning query inseparable eℒℋ ontologies in a variant of Angluin's exact learning model. Given a fixed data instance A* and a query language 𝒬, we are interested in computing an ontology ℋ that entails the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9beb647899e63394c07a20097743d36c
https://doi.org/10.1609/aaai.v34i03.5688
https://doi.org/10.1609/aaai.v34i03.5688
Publikováno v:
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
KR
KR
Definite descriptions are phrases of the form 'the $x$ such that $\varphi$', used to refer to single entities in a context. They are often more meaningful to users than individual names alone, in particular when modelling or querying data over ontolo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e13615928a73e62a86188d5efd68f19
Publikováno v:
IJCAI
Linear temporal logic over finite traces is used as a formalism for temporal specification in automated planning, process modelling and (runtime) verification. In this paper, we investigate first-order temporal logic over finite traces, lifting some
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1b70b795e5a819b5ba07e6e08e71cc5
https://doi.org/10.24963/ijcai.2019/210
https://doi.org/10.24963/ijcai.2019/210