Andrew Rock is an author at Griffith University specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningPhysicsSemanticsAtomic PhysicsNuclear PhysicsNatural SciencesLogic Programming
Publications per year
1986–2005
9
9
Propositional Plausible Logic: Introduction and Implementation
David P. Billington, Andrew Rock · Studia Logica · 2001 · 36 citations
Efficient defeasible reasoning systems
Michael J. Maher, Andrew Rock, Grigoris Antoniou et al. · 2002 · 26 citations
Desmond J. Muller, Ruth I. McKay, Geoffrey B. Edwards et al. · The Journal of Physical Chemistry · 1988 · 24 citations
Rows per page
1–5 of 9