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

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, 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