Enhancing disjunctive logic programming systems by SAT checkers

DOI10.1016/S0004-3702(03)00078-XMaRDI QIDQ814529zbMATH OpenFDO

Authors Christoph Koch, N. Leone, Gerald Pfeifer

Publication date 7 February 2006

Published in Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Answer set programsDisjunctive logic programmingHead-cycle-free programsNonmonotonic reasoningStable model checking

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1114054
• Propositional semantics for disjunctive logic programs
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• The DLV system for knowledge representation and reasoning

Cites work

• scientific article; zbMATH DE number 3888913 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• scientific article; zbMATH DE number 1241670 (Why is no real title available?)
• scientific article; zbMATH DE number 1158758 (Why is no real title available?)
• scientific article; zbMATH DE number 1931653 (Why is no real title available?)
• scientific article; zbMATH DE number 1884391 (Why is no real title available?)
• scientific article; zbMATH DE number 1884404 (Why is no real title available?)
• A Computing Procedure for Quantification Theory
• Bottom-up computation of perfect models for disjunctive theories
• Complexity Results for Nonmonotonic Logics
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Declarative problem-solving using the DLV system
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Efficient evaluation of a class of ordered logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming and knowledge representation
• Logic programming and negation: A survey
• Negation by default and unstratifiable logic programs
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the computational cost of disjunctive logic programming: Propositional case
• Propositional semantics for disjunctive logic programs
• Reasoning with minimal models: efficient algorithms and applications
• Static semantics for normal and disjunctive logic programs
• The complexity of logic-based abduction

Cited in

(12)

• Logic Programming and Nonmonotonic Reasoning
• Graph-based construction of minimal models
• Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
• scientific article; zbMATH DE number 5158957 (Why is no real title available?)
• Vicious circle principle and logic programs with aggregates
• A backjumping technique for disjunctive logic programming
• Logic Programming and Nonmonotonic Reasoning
• Disjunctive answer set solvers via templates
• Exploiting unfounded sets for HEX-program evaluation
• An incremental algorithm for generating all minimal models
• On elementary loops of logic programs
• New models for generating hard random Boolean formulas and disjunctive logic programs

Describes a project that uses

Uses Software

• ASSAT
• Smodels
• NoMoRe
• Datalog

This page was built for publication: Enhancing disjunctive logic programming systems by SAT checkers

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