David Billington

According to our database, David Billington authored at least 42 papers between 1982 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Principles and Examples of Plausible Reasoning and Propositional Plausible Logic.

David Billington

CoRR, 2017

2015

A Propositional Plausible Logic.

David Billington

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Felix Candela and Heinz Isler: a comparison of two structural artists.

Maria E. Moreyra Garlock, David Billington

Proceedings of the Shell Structures for Architecture - Form Finding and Optimization., 2014

2011

Levels of modality for BDI Logic.

Jeff Blee, David Billington, Guido Governatori, Abdul Sattar

J. Appl. Log., 2011

A Defeasible Logic for Clauses.

David Billington

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

2010

An inclusion theorem for defeasible logics.

David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher

ACM Trans. Comput. Log., 2010

Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment.

David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock

Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010

Requirements Engineering via Non-monotonic Logics and State Diagrams.

David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2010

Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.

David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock

Proceedings of the ENASE 2010, 2010

2009

Architecture for Hybrid Robotic Behavior.

David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock

Proceedings of the Hybrid Artificial Intelligence Systems, 4th International Conference, 2009

2008

Propositional Clausal Defeasible Logic.

David Billington

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Levels of Modalities for BDI Logic.

Jeff Blee, David Billington, Guido Governatori, Abdul Sattar

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

2007

Reasoning with Levels of Modalities in BDI Logic.

Jeff Blee, David Billington, Abdul Sattar

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Entailment Semantics for Rules with Priorities.

David Billington

Proceedings of the IJCAI 2007, 2007

2006

Embedding defeasible logic into logic programming.

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher

Theory Pract. Log. Program., 2006

Using Temporal Consistency to Improve Robot Localisation.

David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock

Proceedings of the RoboCup 2006: Robot Soccer World Cup X, 2006

2005

A Fixed-Point Semantics for Plausible Logic.

David Billington

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

The Proof Algorithms of Plausible Logic Form a Hierarchy.

David Billington

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

Argumentation Semantics for Defeasible Logic.

Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington

J. Log. Comput., 2004

Combining Description Logic and Defeasible Logic for the Semantic Web.

Kewen Wang, David Billington, Jeff Blee, Grigoris Antoniou

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

A plausible logic which detects loops.

David Billington

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

2003

Constructive Plausible Logic Is Relatively Consistent.

David Billington, Andrew Rock

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2001

Representation results for defeasible logic.

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher

ACM Trans. Comput. Log., 2001

Propositional Plausible Logic: Introduction and Implementation.

David Billington, Andrew Rock

Stud Logica, 2001

Efficient Defeasible Reasoning Systems.

Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller

Int. J. Artif. Intell. Tools, 2001

Relating Defeasible and Default Logic.

Grigoris Antoniou, David Billington

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

Defeasible Logic versus Logic Programming without Negation as Failure.

Grigoris Antoniou, Michael J. Maher, David Billington

J. Log. Program., 2000

Strategies in Human Nonmonotonic Reasoning.

Marilyn Ford, David Billington

Comput. Intell., 2000

Argumentation Semantics for Defeasible Logics.

Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

A Family of Defeasible Reasoning Logics and its Implementation.

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock

Proceedings of the ECAI 2000, 2000

An Implementation of Propositional Plausible Logic.

Andrew Rock, David Billington

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

A Flexible Framework for Defeasible Logics.

Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Proving Quantified Literals in Defeasible Logic.

David Billington

Inf. Sci., 1999

A Comparison of Sceptical NAF-Free Logic Programming Approaches.

Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Revising Nonmonotonic Theories: The Case of Defeasible Logic.

David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher

Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

On the Analysis of Regulations using Defeasible Rules.

Grigoris Antoniou, David Billington, Michael J. Maher

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Normal Forms for Defeasible Logic.

Grigoris Antoniou, David Billington, Michael J. Maher

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Study of Provability in Defeasible Logic.

Michael J. Maher, Grigoris Antoniou, David Billington

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1996

The Co-invariant Generator: An Aid in Deriving Loop Bodies.

David Billington, R. Geoff Dromey

Formal Aspects Comput., 1996

1993

Defeasible Logic is Stable.

David Billington

J. Log. Comput., 1993

1990

A modular translation from defeasible nets to defeasible logics.

David Billington, Koen de Coster, Donald Nute

J. Exp. Theor. Artif. Intell., 1990

1982

A simple proof that all 1-designs exist.

David Billington

Discret. Math., 1982