scientific article; zbMATH DE number 7121940

DOI10.4230/OASIcs.ICLP.2016.6zbMath1428.68090MaRDI QIDQ5240210

Christopher Béatrix, Igor Stéphan, Claire Lefèvre, Laurent Garcia

Publication date: 24 October 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

justificationanswer set programmingrule-based computation

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Answering the “why” in answer set programming – A survey of explanation approaches

Uses Software

• ASPeRiX
• OMiGA

Cites Work

• Unnamed Item
• Finding explanations of inconsistency in multi-context systems
• Logic programs with abstract constraint atoms: the role of computations
• Extending and implementing the stable model semantics
• Stepping through an Answer-Set Program
• GASP: Answer Set Programming with Lazy Grounding
• Graphs and colorings for answer set programming
• Justifications for logic programs under answer set semantics
• A First Order Forward Chaining Approach for Answer Set Computing
• Justifying answer sets using argumentation
• ASPeRiX, a first-order forward chaining approach for answer set computing
• The DLV system for knowledge representation and reasoning
• Conflict-Driven Answer Set Enumeration

This page was built for publication: