The following pages link to (Q4296303):
Displayed 6 items.
- Argumentation in disjunctive logic programming (Q1129838) (← links)
- Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← 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)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)