Conceptual logic programs

DOI10.1007/s10472-006-9030-5zbMath1105.68102OpenAlexW2169091052MaRDI QIDQ854977

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Publication date: 20 December 2006

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-006-9030-5

zbMATH Keywords

description logicsanswer set programmingopen domains

Mathematics Subject Classification ID

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

Related Items

Answer Set Programming: A Primer

Uses Software

• DAML+OIL
• swrl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with infinite stable models
• An epistemic operator for description logics
• Modal languages and bounded fragments of predicate logic
• Combining answer set programming with description logics for the semantic web
• PSPACE Reasoning for Graded Modal Logics
• The Semantics of Predicate Logic as a Programming Language
• Commonsense axiomatizations for logic programs
• Logic Programming and Nonmonotonic Reasoning
• Logic for Programming, Artificial Intelligence, and Reasoning
• Strongly equivalent logic programs