Inconsistency Management for Traffic Regulations: Formalization and Complexity Results

DOI10.1007/978-3-642-33353-8_7zbMath1361.68220OpenAlexW1525535476WikidataQ57549091 ScholiaQ57549091MaRDI QIDQ2915061

Thomas Krennwallner, Thomas Eiter, Harald Beck

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Traffic problems in operations research (90B20)

Uses Software

• DELORES
• Potassco

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abduction from logic programs: Semantics and complexity
• Representing diagnosis knowledge
• Complexity results for answer set programming with bounded predicate arities and implications
• Representation results for defeasible logic
• Propositional defeasible logic has linear complexity
• The DLV system for knowledge representation and reasoning

This page was built for publication: Inconsistency Management for Traffic Regulations: Formalization and Complexity Results