Vicious Circle Principle and Logic Programs with Aggregates

DOI10.1017/S1471068414000222zbMath1309.68032arXiv1405.3637MaRDI QIDQ2931266

Yuan Lin Zhang, Michael Gelfond

Publication date: 25 November 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.3637

zbMATH Keywords

answer set programmingaggregatesknowledge representation language

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Related Items (22)

Recursive rules with aggregation: a simple unified semantics ⋮ 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 ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ 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 ⋮ Anytime answer set optimization via unsatisfiable core shrinking ⋮ <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> ⋮ Enhancing Magic Sets with an Application to Ontological Reasoning ⋮ Inconsistency Proofs for ASP: The ASP - DRUPE Format ⋮ Relating Two Dialects of Answer Set Programming ⋮ Unnamed Item ⋮ A compositional typed higher-order logic with definitions ⋮ ASP (): Answer Set Programming with Algebraic Constraints ⋮ Logic, accountability and design (extended abstract) ⋮ ASP-Core-2 Input Language Format ⋮ Gelfond-Zhang aggregates as propositional formulas ⋮ Complexity results for probabilistic answer set programming ⋮ P-log: refinement and a new coherency condition ⋮ Vicious circle principle, aggregates, and formation of sets in ASP based languages

Cites Work

• Semantics and complexity of recursive aggregates in answer set programming
• Enhancing disjunctive logic programming systems by SAT checkers
• Logic programs with abstract constraint atoms: the role of computations
• Extending and implementing the stable model semantics
• 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
• The DLV system for knowledge representation and reasoning

This page was built for publication: Vicious Circle Principle and Logic Programs with Aggregates