Rob Miller

Robert Simon Miller

University College London

other persons with the same name:

• Rob Miller - MIT

2008
15	EE	Antonis C. Kakas, Loizos Michael, Rob Miller: Fred meets Tweety. ECAI 2008: 747-748
2007
14	EE	Jeremy Forth, Rob Miller: Ramifications: An Extension and Correspondence Result for the Event Calculus. J. Log. Comput. 17(4): 639-685 (2007)
2005
13	EE	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	EE	Rob Miller, Murray Shanahan: Some Alternative Formulations of the Event Calculus. Computational Logic: Logic Programming and Beyond 2002: 452-490
11	EE	Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer: An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37
2001
10	EE	Antonis C. Kakas, Rob Miller, Francesca Toni: E-RES: Reasoning about Actions, Events and Observations. LPNMR 2001: 254-266
2000
9	EE	Antonis C. Kakas, Rob Miller, Francesca Toni: E-RES: A System for Reasoning about Actions, Events and Observations CoRR cs.AI/0003034: (2000)
8	EE	Antonis C. Kakas, Rob Miller, Francesca Toni: Planning with Incomplete Information CoRR cs.AI/0003049: (2000)
1999
7	EE	Antonis C. Kakas, Rob Miller, Francesca Toni: An Argumentation Framework of Reasoning about Actions and Change. LPNMR 1999: 78-91
6	EE	Rob Miller, Murray Shanahan: The Event Calculus in Classical Logic - Alternative Axiomatisations. Electron. Trans. Artif. Intell. 3(A): 77-105 (1999)
1997
5	EE	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	Jeremy Forth	[14]
2	Antonis C. Kakas	[4] [5] [7] [8] [9] [10] [13] [15]
3	Jeff Kramer	[11]
4	Loizos Michael	[13] [15]
5	Bashar Nuseibeh	[11]
6	Alessandra Russo	[11]
7	Murray Shanahan	[1] [3] [6] [12]
8	Francesca Toni	[7] [8] [9] [10]