A simple proof that all 1-designs exist. - David Billington (Discret. Math., 1982)

A modular translation from defeasible nets to defeasible logics. - David Billington; Koen de Coster; Donald Nute (J. Exp. Theor. Artif. Intell., 1990)

Defeasible Logic is Stable. - David Billington (J. Log. Comput., 1993)

The Co-invariant Generator: An Aid in Deriving Loop Bodies. - David Billington; R. Geoff Dromey (Formal Aspects Comput., 1996)

A Study of Provability in Defeasible Logic. - Michael J. Maher; Grigoris Antoniou; David Billington (Australian Joint Conference on Artificial Intelligence, 1998)

Normal Forms for Defeasible Logic. - Grigoris Antoniou; David Billington; Michael J. Maher (IJCSLP, 1998)

On the Analysis of Regulations using Defeasible Rules. - Grigoris Antoniou; David Billington; Michael J. Maher (HICSS, 1999)

Revising Nonmonotonic Theories: The Case of Defeasible Logic. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (KI, 1999)

A Comparison of Sceptical NAF-Free Logic Programming Approaches. - Grigoris Antoniou; Michael J. Maher; David Billington; Guido Governatori (LPNMR, 1999)

Proving Quantified Literals in Defeasible Logic. - David Billington (Inf. Sci., 1999)

A Flexible Framework for Defeasible Logics. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (AAAI/IAAI, 2000)

An Implementation of Propositional Plausible Logic. - Andrew Rock; David Billington (ACSC, 2000)

A Family of Defeasible Reasoning Logics and its Implementation. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher; Andrew Rock (ECAI, 2000)

Argumentation Semantics for Defeasible Logics. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (PRICAI, 2000)

Strategies in Human Nonmonotonic Reasoning. - Marilyn Ford; David Billington (Comput. Intell., 2000)

Defeasible Logic versus Logic Programming without Negation as Failure. - Grigoris Antoniou; Michael J. Maher; David Billington (J. Log. Program., 2000)

Relating Defeasible and Default Logic. - Grigoris Antoniou; David Billington (Australian Joint Conference on Artificial Intelligence, 2001)

Efficient Defeasible Reasoning Systems. - Michael J. Maher; Andrew Rock; Grigoris Antoniou; David Billington; Tristan Miller (Int. J. Artif. Intell. Tools, 2001)

Propositional Plausible Logic: Introduction and Implementation. - David Billington; Andrew Rock (Stud Logica, 2001)

Representation results for defeasible logic. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2001)

Constructive Plausible Logic Is Relatively Consistent. - David Billington; Andrew Rock (Australian Conference on Artificial Intelligence, 2003)

A plausible logic which detects loops. - David Billington (NMR, 2004)

Combining Description Logic and Defeasible Logic for the Semantic Web. - Kewen Wang 001; David Billington; Jeff Blee; Grigoris Antoniou (RuleML, 2004)

Argumentation Semantics for Defeasible Logic. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (J. Log. Comput., 2004)

The Proof Algorithms of Plausible Logic Form a Hierarchy. - David Billington (Australian Conference on Artificial Intelligence, 2005)

A Fixed-Point Semantics for Plausible Logic. - David Billington (Australian Conference on Artificial Intelligence, 2005)

Using Temporal Consistency to Improve Robot Localisation. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (RoboCup, 2006)

Embedding defeasible logic into logic programming. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (Theory Pract. Log. Program., 2006)

Entailment Semantics for Rules with Priorities. - David Billington (IJCAI, 2007)

Reasoning with Levels of Modalities in BDI Logic. - Jeff Blee; David Billington; Abdul Sattar 001 (PRIMA, 2007)

Levels of Modalities for BDI Logic. - Jeff Blee; David Billington; Guido Governatori; Abdul Sattar 001 (Web Intelligence/IAT Workshops, 2008)

Propositional Clausal Defeasible Logic. - David Billington (JELIA, 2008)

Architecture for Hybrid Robotic Behavior. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (HAIS, 2009)

Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (ENASE, 2010)

Requirements Engineering via Non-monotonic Logics and State Diagrams. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (ENASE (Selected Papers), 2010)

Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. - David Billington; Vladimir Estivill-Castro; René Hexel; Andrew Rock (SIMPAR, 2010)

An inclusion theorem for defeasible logics. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2010)

A Defeasible Logic for Clauses. - David Billington (Australasian Conference on Artificial Intelligence, 2011)

Levels of modality for BDI Logic. - Jeff Blee; David Billington; Guido Governatori; Abdul Sattar 001 (J. Appl. Log., 2011)

Felix Candela and Heinz Isler: a comparison of two structural artists. - Maria E. Moreyra Garlock; David Billington (Shell Structures for Architecture, 2014)

A Propositional Plausible Logic. - David Billington (Australasian Conference on Artificial Intelligence, 2015)

Principles and Examples of Plausible Reasoning and Propositional Plausible Logic. - David Billington (CoRR, 2017)