Roderic A. Girle

According to our database, Roderic A. Girle authored at least 18 papers between 1974 and 2021.

Collaborative distances:

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

2021

Foundations for Knowledge and Belief Management.

Roderic A. Girle

Int. J. Knowl. Manag., 2021

2012

Methodological Issues for the Logic of Questions and Commands.

Roderic A. Girle, Jonathan McKeown-Green

Int. J. Cogn. Informatics Nat. Intell., 2012

2011

The Question of the Question in Critical Thinking?

Roderic A. Girle

Proceedings of the Tools for Teaching Logic - Third International Congress, 2011

2008

Command Dialogues.

Katie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007

The Neighbourhood of S0.9 and S1.

Roderic A. Girle

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

2005

Melvin Fitting, Types Tableaus and Gödel's God.

Roderic A. Girle

Stud Logica, 2005

2004

Decision Support for Practical Reasoning.

Roderic A. Girle, David Hitchcock, Peter McBurney, Bart Verheij

Proceedings of the Argumentation Machines, New Frontiers in Argument and Computation., 2004

1998

Logical Fiction: Real vs. Ideal.

Roderic A. Girle

Proceedings of the PRICAI'98, 1998

Delusions of Omniscience.

Roderic A. Girle

Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference, 1998

1996

Shades of consciousness.

Roderic A. Girle

Minds Mach., 1996

Tableaux for Expansion and Contraction.

Roderic A. Girle

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Commands in Dialogue Logic.

Roderic A. Girle

Proceedings of the Practical Reasoning, 1996

1992

Possible Worlds Tableaux without Explicit Accessibility.

Roderic A. Girle

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1988

Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987.

Roderic A. Girle, I. C. Hinckfuss

J. Symb. Log., 1988

Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.

Roderic A. Girle, Michael A. McRobbie

Proceedings of the AI '88: 2nd Australian Joint Artificial Intelligence Conference, 1988

1978

Logics for knowledge, possibility, and existence.

Roderic A. Girle

Notre Dame J. Formal Log., 1978

1975

S₁ ≠ S0.9.

Roderic A. Girle

Notre Dame J. Formal Log., 1975

1974

Possibility pre-supposition free logics.

Roderic A. Girle

Notre Dame J. Formal Log., 1974