Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities

DOI10.1007/978-3-540-72200-7_20MaRDI QIDQ5425411zbMATH OpenOpenAlexFDO

Authors Jia-Huai You, Li Yan Yuan, Yi-Dong Shen, Guohua Liu

Publication date 13 November 2007

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72200-7_20

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic programs with abstract constraint atoms: the role of computations
• Answer sets for logic programs with arbitrary abstract constraint atoms
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Logic programs with monotone abstract constraint atoms

Cited in

(10)

• scientific article; zbMATH DE number 4128359 (Why is no real title available?)
• Logic programs with abstract constraint atoms: the role of computations
• scientific article; zbMATH DE number 6261542 (Why is no real title available?)
• Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section
• Answer sets for logic programs with arbitrary abstract constraint atoms
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• Well-supported semantics for logic programs with generalized rules
• scientific article; zbMATH DE number 1140683 (Why is no real title available?)
• scientific article; zbMATH DE number 2031599 (Why is no real title available?)
• scientific article; zbMATH DE number 2031626 (Why is no real title available?)

This page was built for publication: Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities

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