Pages that link to "Item:Q1344892"

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892):

Displaying 23 items.

Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
Interpreting disjunctive logic programs based on a strong sense of disjunction (Q1311401) (← links)
Abduction from logic programs: Semantics and complexity (Q1389684) (← links)
Duality for goal-driven query processing in disjunctive deductive databases (Q1598444) (← links)
Extending and implementing the stable model semantics (Q1603743) (← links)
Theory and algorithms for disjunctive deductive databases (Q1901123) (← links)
Brave induction: a logical framework for learning from incomplete information (Q1959490) (← links)
The Fusemate logic programming system (Q2055893) (← links)
Possible models computation and revision -- a practical approach (Q2096456) (← links)
A paraconsistent approach to actions in informationally complex environments (Q2330540) (← links)
Answer sets and qualitative decision making (Q2576434) (← links)
Disjunction as alternative choices (Q2733983) (← links)
Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
(Q3348437) (← links)
CP-logic: A language of causal probabilistic events and its relation to logic programming (Q3393227) (← links)
Qualitative Constraint Enforcement in Advanced Policy Specification (Q3524980) (← links)
Characterizing and extending answer set semantics using possibility theory (Q4592973) (← links)
Relational theories with null values and non-herbrand stable models (Q4911135) (← links)
On logic programming interpretations of Dislog: Programming long-distance dependencies in logic (Q5096199) (← links)
On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
Indefinite abductive explanations (Q5231278) (← links)
An abductive framework for negation in disjunctive logic programming (Q5236438) (← links)
(Q5475454) (← links)