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)

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)

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

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

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)