The following pages link to (Q4851550):
Displayed 7 items.
- Well-founded semantics for defeasible logic (Q625708) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- Computing Generalized Specificity (Q3647205) (← links)
- Coding guidelines for Prolog (Q4897704) (← links)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals (Q5027249) (← links)
- Defeasible reasoning with variable degrees of justification (Q5958397) (← links)