Recursive rules with aggregation: a simple unified semantics
From MaRDI portal
Publication:2151406
DOI10.1007/978-3-030-93100-1_11OpenAlexW3044562230MaRDI QIDQ2151406
Yanhong A. Liu, Scott D. Stoller
Publication date: 1 July 2022
Full work available at URL: https://arxiv.org/abs/2007.13053
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantics and complexity of recursive aggregates in answer set programming
- Monotonic aggregation in deductive databases
- The alternating fixpoint of logic programs with negation
- Low-complexity aggregation in GraphLog and Datalog
- ASSAT: computing answer sets of a logic program by SAT solvers
- Logic programs with abstract constraint atoms: the role of computations
- On the relations between stable and well-founded semantics of logic programs
- Extending and implementing the stable model semantics
- Fixpoint semantics for logic programming a survey
- Founded semantics and constraint semantics of logic rules
- The expressive powers of the logic programming semantics
- Well-founded and stationary models of logic programs
- Knowledge of uncertain worlds: programming with logical constraints
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Vicious circle principle and formation of sets in ASP based languages
- The ASP system DLV2
- SWI-Prolog
- Vicious Circle Principle and Logic Programs with Aggregates
- Logic programs with propositional connectives and aggregates
- Well-founded and stable semantics of logic programs with aggregates
- Design and implementation of aggregate functions in the DLV system
- FO(FD): Extending classical logic with rule-based fixpoint definitions
- A kripke-kleene semantics for logic programs*
- The well-founded semantics for general logic programs
- Logic programming and negation: A survey
- Shared aggregate sets in answer set programming
- Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
- Evaluating Answer Set Programming with Non-Convex Recursive 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
- Knowledge of uncertain worlds: programming with logical constraints
- Founded semantics and constraint semantics of logic rules
- A logic of nonmonotone inductive definitions
- Logic Programming and Nonmonotonic Reasoning
- Logics with aggregate operators
- The deevolution of concurrent logic programming languages
- Gelfond-Zhang aggregates as propositional formulas