The following pages link to David Billington (Q201923):
Displaying 29 items.
- Levels of modality for BDI logic (Q456714) (← links)
- A simple proof that all 1-designs exist (Q1167171) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
- An inclusion theorem for defeasible logics (Q2946623) (← links)
- Representation results for defeasible logic (Q3184510) (← links)
- (Q3348938) (← links)
- Embedding defeasible logic into logic programming (Q3422417) (← links)
- Propositional Clausal Defeasible Logic (Q3532456) (← links)
- (Q3697047) (← links)
- (Q3783325) (← links)
- (Q3909083) (← links)
- (Q3912622) (← links)
- (Q3927278) (← links)
- Degree multisets of hypergraphs (Q3946198) (← links)
- (Q3952130) (← links)
- (Q4247209) (← links)
- Defeasible Logic is Stable (Q4276168) (← links)
- (Q4475122) (← links)
- (Q4494325) (← links)
- Argumentation Semantics for Defeasible Logic (Q4659505) (← links)
- Defeasible logic versus Logic Programming without Negation as Failure (Q4934232) (← links)
- (Q4944873) (← links)
- (Q4955346) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191620) (← links)
- (Q5232012) (← links)
- AI 2005: Advances in Artificial Intelligence (Q5898073) (← links)
- AI 2005: Advances in Artificial Intelligence (Q5898076) (← links)
- Propositional plausible logic: Introduction and implementation (Q5943017) (← links)