Logic programs with abstract constraint atoms: the role of computations

DOI10.1016/j.artint.2009.11.016zbMath1207.68119OpenAlexW1988666619MaRDI QIDQ969538

Enrico Pontelli, Lengning Liu, Tran Cao Son, Miroslaw Truszczynski

Publication date: 7 May 2010

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2009.11.016

zbMATH Keywords

computationsanswer setslogic programs with abstract constraint atoms

Mathematics Subject Classification ID

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

Related Items

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory, Witnesses for Answer Sets of Logic Programs, Disjunctive Programs with Set Constraints, Stepwise Debugging of Description-Logic Programs, Recursive rules with aggregation: a simple unified semantics, Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin, Shared aggregate sets in answer set programming, Vicious Circle Principle and Logic Programs with Aggregates, Unnamed Item, Parallel Logic Programming: A Sequel, Rewriting recursive aggregates in answer set programming: back to monotonicity, Complexity and compilation of GZ-aggregates in answer set programming, Anytime answer set optimization via unsatisfiable core shrinking, ASPeRiX, a first-order forward chaining approach for answer set computing, Enhancing Magic Sets with an Application to Ontological Reasoning, Inconsistency Proofs for ASP: The ASP - DRUPE Format, Stepwise debugging of answer-set programs, FLP answer set semantics without circular justifications for general logic programs, Why-provenance information for RDF, rules, and negation, Vicious circle principle, aggregates, and formation of sets in ASP based languages, Relating weight constraint and aggregate programs: Semantics and representation

Uses Software

• Cmodels
• Smodels
• clasp

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Answer set based design of knowledge systems
• Logic programs, well-orderings, and forward chaining
• Logic programming and knowledge representation---The A-Prolog perspective
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• A Constructive semantic characterization of aggregates in answer set programming
• Logic Programs with Abstract Constraint Atoms: The Role of Computations
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Tight logic programs
• Bounded LTL model checking with stable models
• The DLV system for knowledge representation and reasoning
• Logic Programming
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities
• Logic programs with monotone abstract constraint atoms
• Logic Programming and Nonmonotonic Reasoning
• Temporal phylogenetic networks and logic programming