Andrew Rock

11 papers A 1B 2C 1Misc 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2010 — conf
Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment.
SIMPAR
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2010 B conf
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.
ENASE
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2010 — conf
Requirements Engineering via Non-monotonic Logics and State Diagrams.
ENASE (Selected Papers)
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2009 Misc conf
Architecture for Hybrid Robotic Behavior.
HAIS
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2006 C conf
Using Temporal Consistency to Improve Robot Localisation.
RoboCup
David Billington, Vladimir Estivill-Castro, René Hexel, Andrew Rock
2003 — conf
Constructive Plausible Logic Is Relatively Consistent.
Australian Conference on Artificial Intelligence
David Billington, Andrew Rock
2001 J jnl
Efficient Defeasible Reasoning Systems.
Int. J. Artif. Intell. Tools
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller
2001 J jnl
Propositional Plausible Logic: Introduction and Implementation.
Stud Logica
David Billington, Andrew Rock
2000 A conf
A Family of Defeasible Reasoning Logics and its Implementation.
ECAI
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
2000 — conf
An Implementation of Propositional Plausible Logic.
ACSC
Andrew Rock, David Billington
2000 B conf
Efficient defeasible reasoning systems.
ICTAI
Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller