Aggregate semantics for propositional answer set programs
From MaRDI portal
Cites work
- A Constructive semantic characterization of aggregates in answer set programming
- A relational model of data for large shared data banks
- Abstract gringo
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- Answer set programming and plan generation
- Applying visible strong equivalence in answer-set program transformations
- ASP-Core-2 input language format
- Autoepistemic logic
- Chain answer sets for logic programs with generalized atoms
- Clingo goes linear constraints over reals and integers
- 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 solving: from theory to practice
- Design and implementation of aggregate functions in the DLV system
- Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
- Evaluation of disjunctive programs in WASP
- Exploiting partial assignments for efficient evaluation of answer set programs with external source access
- Extending and implementing the stable model semantics
- Extrema predicates in deductive databases
- Fixpoint semantics and optimization of recursive Datalog programs with aggregates
- FLP answer set semantics without circular justifications for general logic programs
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 2085279 (Why is no real title available?)
- scientific article; zbMATH DE number 6747915 (Why is no real title available?)
- Improving the normalization of weight rules in answer set programs
- Logic Programming
- Logic programming and knowledge representation---The A-Prolog perspective
- Logic Programming and Nonmonotonic Reasoning
- Logic programs with abstract constraint atoms: the role of computations
- Logic programs with propositional connectives and aggregates
- Logic programs with stable model semantics as a constraint programming paradigm
- Modular stratification and magic sets for Datalog programs with negation
- Multi-shot ASP solving with clingo
- New Encodings of Pseudo-Boolean Constraints into CNF
- On Reductive Semantics of Aggregates in Answer Set Programming
- On relation between constraint answer set programming and satisfiability modulo theories
- On the complexity of pattern matching for highly compressed two-dimensional texts.
- On the computational cost of disjunctive logic programming: Propositional case
- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Properties and applications of programs with monotone and convex constraints
- Propositional semantics for disjunctive logic programs
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Relating two dialects of answer set programming
- Relating weight constraint and aggregate programs: semantics and representation
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- Semantics and complexity of recursive aggregates in answer set programming
- Shared aggregate sets in answer set programming
- Strongly equivalent logic programs
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- The ASP system DLV2
- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics
- The expressive powers of the logic programming semantics
- The Semantics of Predicate Logic as a Programming Language
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Weight constraints as nested expressions
- Well-founded and stable semantics of logic programs with aggregates
Cited in
(1)
This page was built for publication: Aggregate semantics for propositional answer set programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027220)
