Logic Programs with Abstract Constraint Atoms: The Role of Computations

DOI10.1007/978-3-540-74610-2_20MaRDI QIDQ3608661zbMATH OpenOpenAlexFDO

Authors Lengning Liu, Enrico Pontelli, Mirosław Truszczyński, Tran Cao Son

Publication date 5 March 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74610-2_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
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
• Logic programs with monotone abstract constraint atoms

Cited in

(11)

• Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
• Sampler programs: the stable model semantics of abstract constraint programs revisited
• Logic programs with abstract constraint atoms: the role of computations
• Integrating answer set programming and constraint logic programming
• scientific article; zbMATH DE number 5176700 (Why is no real title available?)
• scientific article; zbMATH DE number 2080548 (Why is no real title available?)
• A Default Approach to Semantics of Logic Programs with Constraint Atoms
• Answer sets for logic programs with arbitrary abstract constraint atoms
• Lparse Programs Revisited: Semantics and Representation of Aggregates
• Logic programs with monotone abstract constraint atoms
• Properties and applications of programs with monotone and convex constraints

This page was built for publication: Logic Programs with Abstract Constraint Atoms: The Role of Computations

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