David Billington

Available identifiers

zbMath Open billington.davidMaRDI QIDQ201923

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5232012	2019-09-04	Paper
An inclusion theorem for defeasible logics	2015-09-17	Paper
Levels of modality for BDI logic	2012-10-16	Paper
Representation results for defeasible logic	2009-10-21	Paper
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
Propositional Clausal Defeasible Logic	2008-10-27	Paper
Embedding defeasible logic into logic programming	2007-02-13	Paper
AI 2005: Advances in Artificial Intelligence	2006-11-14	Paper
AI 2005: Advances in Artificial Intelligence	2006-11-14	Paper
Argumentation Semantics for Defeasible Logic	2005-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4475122	2004-08-09	Paper
Propositional plausible logic: Introduction and implementation	2002-01-17	Paper
Defeasible logic versus Logic Programming without Negation as Failure	2001-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4494325	2001-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4944873	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4955346	2000-10-25	Paper
Proving quantified literals in defeasible logic	2000-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4247209	2000-01-12	Paper
The co-invariant generator: An aid in deriving loop bodies	1996-04-21	Paper
Defeasible Logic is Stable	1995-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q3348938	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783325	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3697047	1983-01-01	Paper
A simple proof that all 1-designs exist	1982-01-01	Paper
Degree multisets of hypergraphs	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3952130	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3927278	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3909083	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912622	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Billington