Skip to content

David Billington

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

13

Active years

1998–2010

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2010ENASENon-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock
2010ENASERequirements Engineering via Non-monotonic Logics and State Diagrams.David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock
2009HAISArchitecture for Hybrid Robotic Behavior.David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock
2008JELIAPropositional Clausal Defeasible Logic.David Billington
2007IJCAIEntailment Semantics for Rules with Priorities.David Billington
2007PRIMAReasoning with Levels of Modalities in BDI Logic.Jeff Blee, David Billington, Abdul Sattar
2006RoboCupUsing Temporal Consistency to Improve Robot Localisation.David Billington, Vladimir Estivill-Castro, Ren Hexel, Andrew Rock
2000AAAIA Flexible Framework for Defeasible Logics.Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000ECAIA Family of Defeasible Reasoning Logics and its Implementation.Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
2000ICTAIEfficient defeasible reasoning systems.Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2000PRICAIArgumentation Semantics for Defeasible Logics.Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
1999KIRevising Nonmonotonic Theories: The Case of Defeasible Logic.David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
1999LPNMRA Comparison of Sceptical NAF-Free Logic Programming Approaches.Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
1998ICLPNormal Forms for Defeasible Logic.Grigoris Antoniou, David Billington, Michael J. Maher