Rob Miller

Robert Simon Miller

University College London

other persons with the same name:

• Rob Miller - MIT

	2009
16		Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo: SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI 2009: 112-117
	2008
15		Antonis C. Kakas, Loizos Michael, Rob Miller: Fred meets Tweety. ECAI 2008: 747-748
	2007
14		Jeremy Forth, Rob Miller: Ramifications: An Extension and Correspondence Result for the Event Calculus. J. Log. Comput. 17(4): 639-685 (2007)
	2005
13		Antonis C. Kakas, Loizos Michael, Rob Miller: Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR 2005: 211-226
	2002
12		Rob Miller, Murray Shanahan: Some Alternative Formulations of the Event Calculus. Computational Logic: Logic Programming and Beyond 2002: 452-490
11		Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
	2001
10		Antonis C. Kakas, Rob Miller, Francesca Toni: E-RES: Reasoning about Actions, Events and Observations. LPNMR 2001: 254-266
	2000
9		Antonis C. Kakas, Rob Miller, Francesca Toni: E-RES: A System for Reasoning about Actions, Events and Observations CoRR cs.AI/0003034: (2000)
8		Antonis C. Kakas, Rob Miller, Francesca Toni: Planning with Incomplete Information CoRR cs.AI/0003049: (2000)
	1999
7		Antonis C. Kakas, Rob Miller, Francesca Toni: An Argumentation Framework of Reasoning about Actions and Change. LPNMR 1999: 78-91
6		Rob Miller, Murray Shanahan: The Event Calculus in Classical Logic - Alternative Axiomatisations. Electron. Trans. Artif. Intell. 3(A): 77-105 (1999)
	1997
5		Antonis C. Kakas, Rob Miller: Reasoning about Actions, Narratives and Ramification. Electron. Trans. Artif. Intell. 1: 39-72 (1997)
4		Antonis C. Kakas, Rob Miller: A Simple Declarative Language for Describing Narratives With Actions. J. Log. Program. 31(1-3): 157-200 (1997)
	1996
3		Rob Miller, Murray Shanahan: Reasoning about Discontinuities in the Event Calculus. KR 1996: 63-74
	1995
2		Rob Miller: Situation Calculus Specifications for Event Calculus Logic Programs. LPNMR 1995: 217-230
	1994
1		Rob Miller, Murray Shanahan: Narratives in the Situation Calculus. J. Log. Comput. 4(5): 513-530 (1994)

Coauthor Index

1	Krysia Broda	[16]
2	Keith Clark	[16]
3	Jeremy Forth	[14]
4	Antonis C. Kakas	[4] [5] [7] [8] [9] [10] [13] [15]
5	Jeff Kramer	[11]
6	Loizos Michael	[13] [15]
7	Bashar Nuseibeh	[11]
8	Alessandra Russo	[11] [16]
9	Murray Shanahan	[1] [3] [6] [12]
10	Francesca Toni	[7] [8] [9] [10]