2008 | ||
---|---|---|
10 | EE | Katie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons: Command Dialogues. ArgMAS 2008: 93-106 |
2007 | ||
9 | EE | Roderic A. Girle: The Neighbourhood of S0.9 and S1. TABLEAUX 2007: 119-132 |
2005 | ||
8 | EE | Roderic A. Girle: Melvin Fitting, Types Tableaus and Gödel's God. Studia Logica 81(3): 425-427 (2005) |
1998 | ||
7 | Roderic A. Girle: Delusions of Omniscience. FLAIRS Conference 1998: 147-149 | |
6 | Roderic A. Girle: Logical Fiction: Real vs. Ideal. PRICAI 1998: 542-552 | |
1996 | ||
5 | Roderic A. Girle: Commands in Dialogue Logic. FAPR 1996: 246-260 | |
4 | Roderic A. Girle: Tableaux for Expansion and Contraction. PRICAI 1996: 387-398 | |
1992 | ||
3 | Roderic A. Girle: Possible Worlds Tableaux without Explicit Accessibility. TABLEAUX 1992: 27-28 | |
1988 | ||
2 | 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: 156-176 | |
1 | Roderic A. Girle, I. C. Hinckfuss: Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. J. Symb. Log. 53(4): 1283-1286 (1988) |
1 | Katie Atkinson | [10] |
2 | I. C. Hinckfuss | [1] |
3 | Peter McBurney | [10] |
4 | Michael A. McRobbie | [2] |
5 | Simon Parsons | [10] |