Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
From MaRDI portal
Publication:1653439
DOI10.1007/s10472-017-9563-9zbMath1398.68500OpenAlexW2755809261MaRDI QIDQ1653439
Swan Rocher, Claire Lefèvre, Fabien Garreau, Jean-François Baget, Igor Stéphan, Laurent Garcia
Publication date: 6 August 2018
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01934731/file/AMAI.pdf
Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stable models and circumscription
- Data exchange: semantics and query answering
- On rules with existential variables: walking the decidability line
- Open answer set programming for the semantic web
- Logic programs with abstract constraint atoms: the role of computations
- Combining answer set programming with description logics for the semantic web
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
- Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
- Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
- Reconciling description logics and rules
- A First Order Forward Chaining Approach for Answer Set Computing
- Knowledge Representation, Reasoning and Declarative Problem Solving
- One More Decidable Class of Finitely Ground Programs
- Computable Functions in ASP: Theory and Implementation
- Logic for Programming, Artificial Intelligence, and Reasoning
This page was built for publication: Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
