Logic programming with solution preferences

DOI10.1016/j.jlap.2007.11.003zbMath1170.68004OpenAlexW1979420104MaRDI QIDQ2378282

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 pointpreferenceslogic programmingHerbrand modelpreference model

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Probabilistic quantum relay communication in the noisy channel with analogous space-time code

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Preference Logic Grammars: Fixed point semantics and application to data standardization
• Theory of partial-order programming
• Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
• Efficient top-down computation of queries under the well-founded semantics
• The Semantics of Predicate Logic as a Programming Language
• Tabled evaluation with delaying for general logic programs
• Semiring-based constraint satisfaction and optimization
• Learning solution preferences in constraint problems
• Preference logic grammars
• Hierarchical constraint logic programming