The following pages link to (Q4296303):
Displaying 16 items.
- Argumentation in disjunctive logic programming (Q1129838) (← links)
- Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← links)
- A logical semantics for depth-first Prolog with ground negation (Q1390936) (← links)
- Quasi-classical reasoning in paraconsistent databases (Q1653451) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
- A semantics for conditionals with default negation (Q2401876) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties (Q2900469) (← links)
- (Q3413498) (← links)
- (Q4235437) (← links)
- (Q4798005) (← links)
- Comparisons and computation of well-founded semantics for disjunctive logic programs (Q5277723) (← links)
- Logics in Artificial Intelligence (Q5394153) (← links)
- (Q5398061) (← links)
- (Q5480638) (← links)
