Answers that Have Integrity

DOI10.1007/978-3-642-23441-5_4zbMath1347.68110OpenAlexW1526265597MaRDI QIDQ3092322

Hendrik Decker

Publication date: 16 September 2011

Published in: Semantics in Data and Knowledge Bases (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10251/77346

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Dialectic proof procedures for assumption-based, admissible argumentation
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
• The IFF proof procedure for abductive logic programming
• Answer sets for consistent query answering in inconsistent databases
• Inconsistency Tolerance
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Answers that Have Integrity