Logic Programming

DOI10.1007/B99475MaRDI QIDQ5313183zbMATH OpenOpenAlexFDO

Authors Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b99475

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Preferred answer sets for extended logic programs
• Preferred answer sets for ordered logic programs
• scientific article; zbMATH DE number 1931679
• A framework for compiling preferences in logic programs
• Towards logic programs with ordered and unordered disjunction

Cited in

(9)

• Preferred answer sets for extended logic programs
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• Preferred answer sets for ordered logic programs
• A framework for compiling preferences in logic programs
• scientific article; zbMATH DE number 1931679 (Why is no real title available?)
• Preferred first-order answer set programs
• Logics in Artificial Intelligence
• Logic for Programming, Artificial Intelligence, and Reasoning
• Solving satisfiability problems with preferences

This page was built for publication: Logic Programming

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