Search the dblp DataBase

Publications of Author

1. Roderic A. Girle, Michael A. McRobbie
   Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation. [Citation Graph (0, 0)][DBLP]
   Australian Joint Conference on Artificial Intelligence, 1988, pp:156-176 [Conf]
   
2. Roderic A. Girle
   Commands in Dialogue Logic. [Citation Graph (0, 0)][DBLP]
   FAPR, 1996, pp:246-260 [Conf]
   
3. Roderic A. Girle
   Delusions of Omniscience. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 1998, pp:147-149 [Conf]
   
4. Roderic A. Girle
   Tableaux for Expansion and Contraction. [Citation Graph (0, 0)][DBLP]
   PRICAI, 1996, pp:387-398 [Conf]
   
5. Roderic A. Girle
   Logical Fiction: Real vs. Ideal. [Citation Graph (0, 0)][DBLP]
   PRICAI, 1998, pp:542-552 [Conf]
   
6. Roderic A. Girle
   Possible Worlds Tableaux without Explicit Accessibility. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1992, pp:27-28 [Conf]
   
7. Roderic A. Girle, I. C. Hinckfuss
   Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1988, v:53, n:4, pp:1283-1286 [Journal]
   
8. Roderic A. Girle
   Melvin Fitting, Types Tableaus and Gödel's God. [Citation Graph (0, 0)][DBLP]
   Studia Logica, 2005, v:81, n:3, pp:425-427 [Journal]
   
9. Roderic A. Girle
   The Neighbourhood of S0.9 and S1. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2007, pp:119-132 [Conf]
   
10. 
    Command Dialogues. [Citation Graph (, )][DBLP]