Roderic A. Girle

Publication Activity (10 Years)

Years Active: 1974-2021
Publications (10 Years): 1

Top Topics

Knowledge Extraction

Asynchronous Circuits

Methodological Issues

Top Venues

Int. J. Cogn. Informatics Nat. Intell.

Int. J. Knowl. Manag.

Publications

Roderic A. Girle
Foundations for Knowledge and Belief Management. Int. J. Knowl. Manag. 17 (3) (2021)
Roderic A. Girle, Jonathan McKeown-Green
Methodological Issues for the Logic of Questions and Commands. Int. J. Cogn. Informatics Nat. Intell. 6 (3) (2012)
Roderic A. Girle
The Question of the Question in Critical Thinking? TICTTL (2011)
Katie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons
Command Dialogues. ArgMAS (2008)
Roderic A. Girle
The Neighbourhood of S0.9 and S1. TABLEAUX (2007)
Roderic A. Girle
Melvin Fitting, Types Tableaus and Gödel's God. Stud Logica 81 (3) (2005)
Roderic A. Girle
Logical Fiction: Real vs. Ideal. PRICAI (1998)
Roderic A. Girle
Delusions of Omniscience. FLAIRS Conference (1998)
Roderic A. Girle
Shades of consciousness. Minds Mach. 6 (2) (1996)
Roderic A. Girle
Tableaux for Expansion and Contraction. PRICAI (1996)
Roderic A. Girle
Commands in Dialogue Logic. FAPR (1996)
Roderic A. Girle
Possible Worlds Tableaux without Explicit Accessibility. TABLEAUX (1992)
Roderic A. Girle, I. C. Hinckfuss
Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. J. Symb. Log. 53 (4) (1988)
Roderic A. Girle, Michael A. McRobbie
Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation. Australian Joint Conference on Artificial Intelligence (1988)
Roderic A. Girle
Logics for knowledge, possibility, and existence. Notre Dame J. Formal Log. 19 (2) (1978)
Roderic A. Girle
≠ S0.9. Notre Dame J. Formal Log. 16 (3) (1975)
Roderic A. Girle
Possibility pre-supposition free logics. Notre Dame J. Formal Log. 15 (1) (1974)