Pages that link to "Item:Q5325769"
From MaRDI portal
The following pages link to Logic Programming with Defaults and Argumentation Theories (Q5325769):
Displaying 8 items.
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- A logic programming framework for possibilistic argumentation: Formalization and logical properties (Q835125) (← links)
- XSB: extending Prolog with tabled logic programming (Q2893097) (← links)
- Argument-based extended logic programming with defeasible priorities (Q3128365) (← links)
- Annotated defeasible logic (Q4592709) (← links)
- Computing argumentation in logic programming (Q4700098) (← links)
- (Q5020583) (← links)
- Hypothetical reasoning and definitional reflection in logic programming (Q5053014) (← links)