David Billington

Publication Activity (10 Years)

Years Active: 1982-2017
Publications (10 Years): 2

Top Topics

Plausible Reasoning

Sound And Complete Axiomatization

Top Venues

Australasian Conference on Artificial Intelligence

Publications

David Billington
Principles and Examples of Plausible Reasoning and Propositional Plausible Logic. CoRR (2017)
David Billington
A Propositional Plausible Logic. Australasian Conference on Artificial Intelligence (2015)
Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
Levels of modality for BDI Logic. J. Appl. Log. 9 (4) (2011)
David Billington
A Defeasible Logic for Clauses. Australasian Conference on Artificial Intelligence (2011)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Requirements Engineering via Non-monotonic Logics and State Diagrams. ENASE (Selected Papers) (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic. ENASE (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. SIMPAR (2010)
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12 (1) (2010)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Architecture for Hybrid Robotic Behavior. HAIS (2009)
David Billington
Propositional Clausal Defeasible Logic. JELIA (2008)
Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops (2008)
Jeff Blee, David Billington, Abdul Sattar
Reasoning with Levels of Modalities in BDI Logic. PRIMA (2007)
David Billington
Entailment Semantics for Rules with Priorities. IJCAI (2007)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6 (6) (2006)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Using Temporal Consistency to Improve Robot Localisation. RoboCup (2006)
David Billington
The Proof Algorithms of Plausible Logic Form a Hierarchy. Australian Conference on Artificial Intelligence (2005)
David Billington
A Fixed-Point Semantics for Plausible Logic. Australian Conference on Artificial Intelligence (2005)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Embedding Defeasible Logic into Logic Programming CoRR (2005)
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14 (5) (2004)
David Billington
A plausible logic which detects loops. NMR (2004)
Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou
Combining Description Logic and Defeasible Logic for the Semantic Web. RuleML (2004)
David Billington, Andrew Rock
Constructive Plausible Logic Is Relatively Consistent. Australian Conference on Artificial Intelligence (2003)
Grigoris Antoniou, David Billington
Relating Defeasible and Default Logic. Australian Joint Conference on Artificial Intelligence (2001)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Representation results for defeasible logic. ACM Trans. Comput. Log. 2 (2) (2001)
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
Efficient Defeasible Reasoning Systems. Int. J. Artif. Intell. Tools 10 (4) (2001)
David Billington, Andrew Rock
Propositional Plausible Logic: Introduction and Implementation. Stud Logica 67 (2) (2001)
Grigoris Antoniou, Michael J. Maher, David Billington
Defeasible Logic versus Logic Programming without Negation as Failure. J. Log. Program. 42 (1) (2000)
Andrew Rock, David Billington
An Implementation of Propositional Plausible Logic. ACSC (2000)
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
Efficient defeasible reasoning systems. ICTAI (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
A flexible framework for defeasible logics CoRR (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
Representation results for defeasible logic CoRR (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
A Flexible Framework for Defeasible Logics. AAAI/IAAI (2000)
Marilyn Ford, David Billington
Strategies in Human Nonmonotonic Reasoning. Comput. Intell. 16 (3) (2000)
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
A Family of Defeasible Reasoning Logics and its Implementation. ECAI (2000)
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
Argumentation Semantics for Defeasible Logics. PRICAI (2000)
Grigoris Antoniou, David Billington, Michael J. Maher
On the Analysis of Regulations using Defeasible Rules. HICSS (1999)
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI (1999)
David Billington
Proving Quantified Literals in Defeasible Logic. Inf. Sci. 116 (1) (1999)
Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR (1999)
Michael J. Maher, Grigoris Antoniou, David Billington
A Study of Provability in Defeasible Logic. Australian Joint Conference on Artificial Intelligence (1998)
Grigoris Antoniou, David Billington, Michael J. Maher
Normal Forms for Defeasible Logic. IJCSLP (1998)
David Billington
Proving Quantified Literals in Defeasible Logic. Australian Joint Conference on Artificial Intelligence (1997)
David Billington, R. Geoff Dromey
The Co-invariant Generator: An Aid in Deriving Loop Bodies. Formal Aspects Comput. 8 (1) (1996)
David Billington
Defeasible Logic is Stable. J. Log. Comput. 3 (4) (1993)
David Billington, Koen de Coster, Donald Nute
A modular translation from defeasible nets to defeasible logics. J. Exp. Theor. Artif. Intell. 2 (2) (1990)
David Billington
A simple proof that all 1-designs exist. Discret. Math. 42 (2-3) (1982)