Pages that link to "Item:Q2845124"
From MaRDI portal
The following pages link to Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124):
Displaying 6 items.
- Well-founded semantics for defeasible logic (Q625708) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Compiling defeasible inheritance networks to general logic programs (Q1978385) (← links)
- On the relation between vector annotated logic programs and defeasible theories (Q3149222) (← links)
- Annotated defeasible logic (Q4592709) (← links)
- Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond (Q4612419) (← links)