Pages that link to "Item:Q3983045"
From MaRDI portal
The following pages link to Stable semantics for disjunctive programs (Q3983045):
Displaying 50 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Equilibrium logic (Q854969) (← links)
- Equivalence for the \(G_3^\prime\)-stable models semantics (Q975880) (← links)
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- Reasoning with minimal models: efficient algorithms and applications (Q1127346) (← links)
- Semantics of Horn and disjunctive logic programs (Q1177928) (← links)
- Credolous argumentation with the disjunctive stable semantics (Q1267224) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
- Querying disjunctive databases through nonmonotonic logics (Q1350535) (← links)
- Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944) (← links)
- On stratified disjunctive programs (Q1356225) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← links)
- On the partial semantics for disjunctive deductive databases (Q1370627) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- On compact representations of propositional circumscription (Q1391128) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Extending and implementing the stable model semantics (Q1603743) (← links)
- Non-monotonic extensions of logic programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers (Q1894636) (← links)
- The expressive powers of the logic programming semantics (Q1900917) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- Well-founded and stationary models of logic programs (Q1924748) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Propositional semantics for disjunctive logic programs (Q1924819) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Assumption-based argumentation for extended disjunctive logic programming (Q2103901) (← links)
- Assumption-based argumentation is logic programming with projection (Q2146013) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Bounded treewidth as a key to tractability of knowledge representation and reasoning (Q2269134) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- On the equivalence between logic programming semantics and argumentation semantics (Q2344367) (← links)
- Deductive databases for computing certain and consistent answers from mediated data integration systems (Q2386182) (← links)
- Labellings for assumption-based and abstract argumentation (Q2406908) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Many-valued dynamic object-oriented inheritance and approximations (Q2670890) (← links)
- Interlinking logic programs and argumentation frameworks (Q2694581) (← links)
- Constructing interpretations of deductive databases using reduction and dynamic stratification (Q2734660) (← links)
- Modular Paracoherent Answer Sets (Q2938513) (← links)
- Well-Founded and Partial Stable Semantics Logical Aspects (Q3392936) (← links)
- Characterising and Explaining Inconsistency in Logic Programs (Q3449230) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Expressiveness of stable model semantics for disjunctive logic programs with functions (Q4371993) (← links)
- (Q4375823) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
