The following pages link to (Q4851550):
Displaying 14 items.
- Well-founded semantics for defeasible logic (Q625708) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- (Q3316552) (← links)
- Computing Generalized Specificity (Q3647205) (← links)
- (Q3994926) (← links)
- (Q4040344) (← links)
- (Q4720771) (← links)
- (Q4736496) (← links)
- Coding guidelines for Prolog (Q4897704) (← links)
- (Q5020559) (← links)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals (Q5027249) (← links)
- Defeasible reasoning with variable degrees of justification (Q5958397) (← links)
- Prolog: the next 50 years (Q6171528) (← links)