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
Degree multisets of hypergraphs	1982-01-01	Paper
A simple proof that all 1-designs exist	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

This page was built for person: David Billington