Andrew Rock

According to our database, Andrew Rock authored at least 10 papers between 2000 and 2010.

Collaborative distances:

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

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

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

2003

Constructive Plausible Logic Is Relatively Consistent.

David Billington, Andrew Rock

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

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

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