Andrew Rock

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

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, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Architecture for Hybrid Robotic Behavior. HAIS (2009)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
Using Temporal Consistency to Improve Robot Localisation. RoboCup (2006)
David Billington, Andrew Rock
Constructive Plausible Logic Is Relatively Consistent. Australian Conference on Artificial Intelligence (2003)
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)
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, Andrew Rock
A Family of Defeasible Reasoning Logics and its Implementation. ECAI (2000)