The following pages link to (Q4016556):
Displayed 27 items.
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- Argumentation in disjunctive logic programming (Q1129838) (← links)
- Interpreting disjunctive logic programs based on a strong sense of disjunction (Q1311401) (← links)
- An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- Correspondences between classical, intuitionistic and uniform provability (Q1575924) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Clausal logic and logic programming in algebraic domains (Q1854478) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- Dynamic maintenance of the transitive closure in disjunctive graphs (Q1924722) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- Negation as failure for disjunctive logic programming (Q1924818) (← links)
- Logic programming and reasoning with incomplete information (Q1924820) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- Complexity results for abductive logic programming (Q5101437) (← links)
- Incremental methods for optimizing partial instantiation (Q5101457) (← links)
- Stable classes and operator pairs for disjunctive programs (Q5101462) (← links)
- An abductive framework for negation in disjunctive logic programming (Q5236438) (← links)
- Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)
- Closed world assumption for disjunctive reasoning (Q5959358) (← links)