Preferred answer sets for ordered logic programs

DOI10.1017/S1471068404002315MaRDI QIDQ3426202zbMATH OpenOpenAlexFDO

Authors Davy Van Nieuwenborgh, Dirk Vermeir

Publication date 8 March 2007

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068404002315

zbMATH Keywords

answer set programmingknowledge representationnonmonotonic reasoningpreference

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1931679
• Preferred answer sets for extended logic programs
• Logic Programming
• Preferred first-order answer set programs
• A framework for compiling preferences in logic programs

Cited in

(14)

• Preferred answer sets for extended logic programs
• Counting and enumerating preferred database repairs
• An introduction to fuzzy answer set programming
• Algorithms for Solving Satisfiability Problems with Qualitative Preferences
• Order-consistent programs are cautiously monotonic
• scientific article; zbMATH DE number 1931679 (Why is no real title available?)
• scientific article; zbMATH DE number 1931680 (Why is no real title available?)
• Preferred first-order answer set programs
• Logic Programming
• Logic Programming
• Answer set semantics for ordered logic programs
• Logic for Programming, Artificial Intelligence, and Reasoning
• Solving satisfiability problems with preferences
• Characterizing efficiency without linear structure: a unified approach

This page was built for publication: Preferred answer sets for ordered logic programs

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