A Constructive semantic characterization of aggregates in answer set programming
From MaRDI portal
Publication:3432855
DOI10.1017/S1471068406002936zbMath1111.68072MaRDI QIDQ3432855
Publication date: 19 April 2007
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Related Items
Supportedly stable answer sets for logic programs with generalized atoms ⋮ A Formal Theory of Justifications ⋮ Well-Supported Semantics for Logic Programs with Generalized Rules ⋮ Characterizations of stable model semantics for logic programs with arbitrary constraint atoms ⋮ Shared aggregate sets in answer set programming ⋮ Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates ⋮ Scaling-up reasoning and advanced analytics on BigData ⋮ Vicious Circle Principle and Logic Programs with Aggregates ⋮ Argumentation-Based Semantics for Logic Programs with First-Order Formulae ⋮ Automated reasoning with restricted intensional sets ⋮ Ordered completion for logic programs with aggregates ⋮ Fixpoint semantics and optimization of recursive Datalog programs with aggregates ⋮ Rewriting recursive aggregates in answer set programming: back to monotonicity ⋮ Complexity and compilation of GZ-aggregates in answer set programming ⋮ Inconsistency Proofs for ASP: The ASP - DRUPE Format ⋮ Computing weighted solutions in ASP: representation-based method vs. search-based method ⋮ FLP answer set semantics without circular justifications for general logic programs ⋮ Multivalued action languages with constraints in CLP(FD) ⋮ Logic programs with abstract constraint atoms: the role of computations ⋮ Semantics and complexity of recursive aggregates in answer set programming ⋮ Gelfond-Zhang aggregates as propositional formulas ⋮ Complexity results for probabilistic answer set programming ⋮ Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs ⋮ Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages ⋮ Relating weight constraint and aggregate programs: Semantics and representation ⋮ Lparse Programs Revisited: Semantics and Representation of Aggregates