Stepwise debugging of description-logic programs

DOI10.1007/978-3-642-30743-0_34MaRDI QIDQ2900544zbMATH OpenOpenAlexFDO

Authors Johannes Oetsch, Jörg Pührer, Hans Tompits

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_34

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Stepwise debugging of answer-set programs
• Stepping through an answer-set program
• Combining answer set programming with description logics for the semantic web
• The loop formula based semantics of description logic programs
• A logical semantics for description logic programs

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Catching the Ouroboros: on debugging non-ground answer-set programs
• Combining answer set programming with description logics for the semantic web
• Debugging ASP Programs by Means of ASP
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Justifications for logic programs under answer set semantics
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with abstract constraint atoms: the role of computations
• Semantics and complexity of recursive aggregates in answer set programming
• Stepping through an answer-set program
• The loop formula based semantics of description logic programs
• Tractable reasoning with DL-programs over Datalog-rewritable description logics

Cited in

(5)

• Semi-equilibrium models for paracoherent answer set programs
• Stepwise debugging of answer-set programs
• Loop formulas for description logic programs
• Data repair of inconsistent nonmonotonic description logic programs
• Stepping through an answer-set program

This page was built for publication: Stepwise debugging of description-logic programs

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