Roderic A. Girle Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatie Atkinson, Roderic A. Girle, Peter McBurney, Simon Parsons: Command Dialogues. ArgMAS 2008: 93-106
2007
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic A. Girle: The Neighbourhood of S0.9 and S1. TABLEAUX 2007: 119-132
2005
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic A. Girle: Melvin Fitting, Types Tableaus and Gödel's God. Studia Logica 81(3): 425-427 (2005)
1998
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic A. Girle: Delusions of Omniscience. FLAIRS Conference 1998: 147-149
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic A. Girle: Logical Fiction: Real vs. Ideal. PRICAI 1998: 542-552
1996
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic A. Girle: Commands in Dialogue Logic. FAPR 1996: 246-260
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic A. Girle: Tableaux for Expansion and Contraction. PRICAI 1996: 387-398
1992
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic A. Girle: Possible Worlds Tableaux without Explicit Accessibility. TABLEAUX 1992: 27-28
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoderic 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 © Mon Nov 30 15:58:31 2009 by Michael Ley (ley@uni-trier.de)