Logic programming with solution preferences

DOI10.1016/J.JLAP.2007.11.003MaRDI QIDQ2378282zbMATH OpenOpenAlexFDO

Authors Haifeng Guo, Bharat Jayaraman

Publication date 7 January 2009

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2007.11.003

zbMATH Keywords

fixed pointHerbrand modellogic programmingpreference modelpreferences

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1420894
• Planning with preferences using logic programming
• Logic Programming and Nonmonotonic Reasoning
• Logic programming with satisfiability
• On the semantics of logic programs with preferences
• On the Semantics of Logic Programs with Preferences
• A selective semantics for logic programs with preferences
• A framework for compiling preferences in logic programs
• scientific article; zbMATH DE number 1678399
• Preference-Based Problem Solving for Constraint Programming

Cites work

• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Efficient top-down computation of queries under the well-founded semantics
• Hierarchical constraint logic programming
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 1312992 (Why is no real title available?)
• scientific article; zbMATH DE number 1950447 (Why is no real title available?)
• scientific article; zbMATH DE number 2085268 (Why is no real title available?)
• scientific article; zbMATH DE number 2085277 (Why is no real title available?)
• Learning solution preferences in constraint problems
• Preference logic grammars
• Preference Logic Grammars: Fixed point semantics and application to data standardization
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
• Semiring-based constraint satisfaction and optimization
• Tabled evaluation with delaying for general logic programs
• The Semantics of Predicate Logic as a Programming Language
• Theory of partial-order programming

Cited in

(9)

• Preference Logic Grammars: Fixed point semantics and application to data standardization
• Probabilistic quantum relay communication in the noisy channel with analogous space-time code
• Computing preferred answer sets in answer set programming
• scientific article; zbMATH DE number 1844462 (Why is no real title available?)
• An efficient algorithm of logic programming with constraint hierarchy
• Preference-Based Problem Solving for Constraint Programming
• Logic Programming and Nonmonotonic Reasoning
• Planning with preferences using logic programming
• Solving satisfiability problems with preferences

This page was built for publication: Logic programming with solution preferences

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