The following pages link to Defeasible Logic is Stable (Q4276168):
Displaying 11 items.
- Levels of modality for BDI logic (Q456714) (← links)
- Well-founded semantics for defeasible logic (Q625708) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
- Interdefinability of defeasible logic and logic programming under the well-founded semantics (Q2845124) (← links)
- Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights (Q2915075) (← links)
- Propositional Clausal Defeasible Logic (Q3532456) (← links)
- (Q4202944) (← links)
- Stable reasoning (Q4586232) (← links)
- Programming with Annotated Logics (Q5213779) (← links)
- A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling (Q6104759) (← links)