Debugging for Model Expansion

DOI10.1007/978-3-642-02846-5_26zbMath1251.68223OpenAlexW2121984327MaRDI QIDQ5325763

Hanne Vlaeminck, Marc Denecker, Johan Wittocx

Publication date: 24 July 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_26

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (2)

The KB paradigm and its application to interactive configuration ⋮ Stepwise debugging of answer-set programs

Uses Software

• Prolog
• IDP

Cites Work

• Unnamed Item
• Unnamed Item
• SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
• The well-founded semantics for general logic programs
• Opium: an extendable trace analyzer for Prolog
• Logic Programming
• Predicate-calculus-based logics for modeling and solving search problems
• A logic of nonmonotone inductive definitions
• Logics in Artificial Intelligence
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• Justifications for Logic Programs Under Answer Set Semantics

This page was built for publication: Debugging for Model Expansion