dblp.uni-trier.dewww.uni-trier.de

Roderic A. Girle

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
10EEKatie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons: Command Dialogues. ArgMAS 2008: 93-106
2007
9EERoderic A. Girle: The Neighbourhood of S0.9 and S1. TABLEAUX 2007: 119-132
2005
8EERoderic 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)

Coauthor Index

1Katie Atkinson [10]
2I. C. Hinckfuss [1]
3Peter McBurney [10]
4Michael A. McRobbie [2]
5Simon Parsons [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)