$$\exists $$ -ASP for Computing Repairs with Existential Ontologies

DOI10.1007/978-3-319-45856-4_16zbMATH Open1366.68298OpenAlexW2512336827MaRDI QIDQ5268421

Farid Nouioua, Jean-François Baget, Swan Rocher, Zied Bouraoui, Eric Würbel, Odile Papini

Publication date: 20 June 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-45856-4_16

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• Answer sets for consistent query answering in inconsistent databases
• On rules with existential variables: walking the decidability line
• A First Order Forward Chaining Approach for Answer Set Computing
• Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
• ASPeRiX, a first-order forward chaining approach for answer set computing

This page was built for publication: $$\exists $$ -ASP for Computing Repairs with Existential Ontologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5268421)