Roderic A. Girle

18 papers B 4Misc 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2021 J jnl
Foundations for Knowledge and Belief Management.
Int. J. Knowl. Manag.
Roderic A. Girle
2012 J jnl
Methodological Issues for the Logic of Questions and Commands.
Int. J. Cogn. Informatics Nat. Intell.
Roderic A. Girle, Jonathan McKeown-Green
2011 — conf
The Question of the Question in Critical Thinking?
TICTTL
Roderic A. Girle
2008 — conf
Command Dialogues.
ArgMAS
Katie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons
2007 B conf
The Neighbourhood of S0.9 and S1.
TABLEAUX
Roderic A. Girle
2005 J jnl
Melvin Fitting, Types Tableaus and Gödel's God.
Stud Logica
Roderic A. Girle
2004 — ch.
Decision Support for Practical Reasoning.
Argumentation Machines
Roderic A. Girle, David Hitchcock, Peter McBurney, Bart Verheij
1998 Misc conf
Delusions of Omniscience.
FLAIRS
Roderic A. Girle
1998 B conf
Logical Fiction: Real vs. Ideal.
PRICAI
Roderic A. Girle
1996 — conf
Commands in Dialogue Logic.
FAPR
Roderic A. Girle
1996 J jnl
Shades of consciousness.
Minds Mach.
Roderic A. Girle
1996 B conf
Tableaux for Expansion and Contraction.
PRICAI
Roderic A. Girle
1992 B conf
Possible Worlds Tableaux without Explicit Accessibility.
TABLEAUX
Roderic A. Girle
1988 J jnl
Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987.
J. Symb. Log.
Roderic A. Girle, I. C. Hinckfuss
1988 — conf
Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.
Australian Joint Conference on Artificial Intelligence
Roderic A. Girle, Michael A. McRobbie
1978 J jnl
Logics for knowledge, possibility, and existence.
Notre Dame J. Formal Log.
Roderic A. Girle
1975 J jnl
S
Notre Dame J. Formal Log.
Roderic A. Girle
1974 J jnl
Possibility pre-supposition free logics.
Notre Dame J. Formal Log.
Roderic A. Girle