Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
From MaRDI portal
Publication:1363783
Cites work
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4147555 (Why is no real title available?)
- scientific article; zbMATH DE number 4166904 (Why is no real title available?)
- scientific article; zbMATH DE number 4094866 (Why is no real title available?)
- scientific article; zbMATH DE number 3755910 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 25192 (Why is no real title available?)
- scientific article; zbMATH DE number 1114053 (Why is no real title available?)
- scientific article; zbMATH DE number 1158758 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A fixpoint characterization of abductive logic programs
- A fixpoint semantics for disjunctive logic programs
- A rational reconstruction of nonmonotonic truth maintenance systems
- Autoepistemic logic
- Bottom-up computation of perfect models for disjunctive theories
- Disjunctive \(LP+\) integrity constraints = stable model semantics.
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Logic programming and knowledge representation
- Logic programming and negation: A survey
- Mixed integer programming methods for computing nonmonotonic deductive databases
- Model generation and state generation for disjunctive logic programs
- Modular stratification and magic sets for Datalog programs with negation
- On the computational cost of disjunctive logic programming: Propositional case
- On the partial semantics for disjunctive deductive databases
- Propositional semantics for disjunctive logic programs
- Reasoning with minimal models: efficient algorithms and applications
- SATCHMORE: SATCHMO with RElevancy
- Safe computation of the well-founded semantics of datalog queries
- Stable models and their computation for logic programming with inheritance and true negation
- The family of stable models
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs
- The well-founded semantics for general logic programs
Cited in
(48)- Logic programming in tensor spaces
- Transition systems for model generators -- a unifying approach
- Disjunctive answer set solvers via templates
- Epistemic logic programs: a study of some properties
- Disjunctive ASP with functions: decidable queries and effective computation
- Progress in clasp series 3
- Answer Set Programming: A Primer
- On elementary loops of logic programs
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- Abstraction for non-ground answer set programs
- A generalization of the Lin-Zhao theorem
- Thirty years of Epistemic Specifications
- Extending and implementing the stable model semantics
- Signed dual tableaux for Kleene answer set programs
- Stepwise debugging of description-logic programs
- On the relation among answer set solvers
- Computing loops with at most one external support rule for disjunctive logic programs
- Reasoning with minimal models: efficient algorithms and applications
- Incremental maintenance of overgrounded logic programs with tailored simplifications
- Witnesses for Answer Sets of Logic Programs
- Iteratively-supported formulas and strongly supported models for Kleene answer set programs (extended abstract)
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
- Bottom-up computation of perfect models for disjunctive theories
- Omission-based abstraction for answer set programs
- Founded (auto)epistemic equilibrium logic satisfies epistemic splitting
- Conflict-driven answer set solving: from theory to practice
- Magic sets for disjunctive Datalog programs
- Any-world assumptions in logic programming
- Incremental answer set programming with overgrounding
- Autoepistemic answer set programming
- Deductive databases for computing certain and consistent answers from mediated data integration systems
- Computing only minimal answers in disjunctive deductive databases
- On the tractability of minimal model computation for some CNF theories
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
- Determining inference semantics for disjunctive logic programs
- Backdoors to tractable answer set programming
- Logic programming and knowledge representation---The A-Prolog perspective
- Abstract Answer Set Solvers
- Epistemic logic programs: a study of some properties
- Splitting epistemic logic programs
- Catching the Ouroboros: on debugging non-ground answer-set programs
- Exploiting unfounded sets for HEX-program evaluation
- What is answer set programming to propositional satisfiability
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Enhancing disjunctive logic programming systems by SAT checkers
- Graph-based construction of minimal models
- On look-ahead heuristics in disjunctive logic programming
- Well-founded operators for normal hybrid MKNF knowledge bases
This page was built for publication: Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1363783)
