Vicious circle principle, aggregates, and formation of sets in ASP based languages
From MaRDI portal
Publication:2321320
Recommendations
- Vicious circle principle and formation of sets in ASP based languages
- Vicious circle principle and logic programs with aggregates
- An Introduction to Answer Set Programming and Some of Its Extensions
- Functional ASP with intensional sets: application to Gelfond-Zhang aggregates
- Complexity and compilation of GZ-aggregates in answer set programming
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 39879 (Why is no real title available?)
- scientific article; zbMATH DE number 3464796 (Why is no real title available?)
- scientific article; zbMATH DE number 1926645 (Why is no real title available?)
- scientific article; zbMATH DE number 5212421 (Why is no real title available?)
- A Constructive semantic characterization of aggregates in answer set programming
- ASSAT: computing answer sets of a logic program by SAT solvers
- Abstract gringo
- Answer sets for logic programs with arbitrary abstract constraint atoms
- Approximating operators and semantics for abstract dialectical frameworks
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
- Compact translations of non-disjunctive answer set programs to propositional clauses
- Complexity and compilation of GZ-aggregates in answer set programming
- Conflict-Driven Answer Set Enumeration
- Conflict-driven answer set solving: from theory to practice
- Connecting first-order ASP and the logic FO(ID) through reducts
- Design and implementation of aggregate functions in the DLV system
- Extending and implementing the stable model semantics
- Extending the Smodels system with cardinality and weight constraints
- FLP answer set semantics without circular justifications for general logic programs
- Functional ASP with intensional sets: application to Gelfond-Zhang aggregates
- Gelfond-Zhang aggregates as propositional formulas
- Grounded fixpoints and their applications in knowledge representation
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic programming and knowledge representation
- Logic programs with abstract constraint atoms: the role of computations
- Logic programs with propositional connectives and aggregates
- Logics in Artificial Intelligence
- Monotonic aggregation in deductive databases
- Multi-level Algorithm Selection for ASP
- Nested expressions in logic programs
- New semantics for epistemic specifications
- On Reductive Semantics of Aggregates in Answer Set Programming
- On the computational cost of disjunctive logic programming: Propositional case
- Probabilistic reasoning with answer sets
- Relating two dialects of answer set programming
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- Semantics and complexity of recursive aggregates in answer set programming
- Strong equivalence of logic programs with abstract constraint atoms
- Strongly equivalent logic programs
- The DLV system for knowledge representation and reasoning
- Vicious circle principle and formation of sets in ASP based languages
- Vicious circle principle and logic programs with aggregates
- Weight constraints as nested expressions
- Well-founded and stable semantics of logic programs with aggregates
Cited in
(12)- Look-back techniques for ASP programs with aggregates
- Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics, and aggregates
- Aggregate semantics for propositional answer set programs
- How to build your own ASP-based system?!
- Recursive rules with aggregation: a simple unified semantics
- Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory
- Vicious circle principle and formation of sets in ASP based languages
- On Nested Justification Systems
- Strong Equivalence of Logic Programs with Counting
- Vicious circle principle and logic programs with aggregates
- On acceptance conditions in abstract argumentation frameworks
- `Selective programming': response to `From felicitous models to answer set programming' by V. Lifschitz
This page was built for publication: Vicious circle principle, aggregates, and formation of sets in ASP based languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321320)
