Pages that link to "Item:Q3983043"
From MaRDI portal
The following pages link to Classical negation in logic programs and disjunctive databases (Q3983043):
Displaying 50 items.
- Probabilistic description logic programs (Q997050) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Reasoning with minimal models: efficient algorithms and applications (Q1127346) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
- A logic of knowledge and justified assumption (Q1199920) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405) (← links)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- Minimal belief and negation as failure (Q1342215) (← 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 stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- On computing minimal models (Q1380414) (← links)
- `Classical' negation in nonmonotonic reasoning and logic programming (Q1382156) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- Specifying causality in action theories: A default logic approach (Q1575839) (← links)
- Expressing preferences in default logic (Q1589465) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- Yet some more complexity results for default logic (Q1606113) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- A sequential model of bargaining in logic programming (Q1633069) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
- The first international competition on computational models of argumentation: results and analysis (Q1677447) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Matching dependencies: semantics and query answering (Q1762196) (← links)
- Syntax and semantics of multi-adjoint normal logic programming (Q1795198) (← links)
- On the equivalence and range of applicability of graph-based representations of logic programs. (Q1853147) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Complexity of computing with extended propositional logic programs (Q1924783) (← links)
- Propositional semantics for disjunctive logic programs (Q1924819) (← links)
- Logic programming and reasoning with incomplete information (Q1924820) (← links)
- Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
