Rob Miller

发表

E-RES: Reasoning about Actions, Events and Observations

Antonis C. Kakas, Francesca Toni, Rob Miller, 2001, LPNMR.

A Simple Declarative Language for Describing Narratives With Actions

Antonis C. Kakas, Rob Miller, A. Kakas, 1997, J. Log. Program..

An Abductive Approach for Analysing Event-Based Requirements Specifications

Bashar Nuseibeh, Alessandra Russo, Jeff Kramer, 2002, ICLP.

An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future

Leora Morgenstern, Jiefei Ma, Rob Miller, 2013, LPAR.

Cognitive Programming

Antonis C. Kakas, Loizos Michael, György Turán, 2015, AIC.

Reasoning about Actions, Narratives and Ramification

Antonis C. Kakas, Rob Miller, 1997, Electron. Trans. Artif. Intell..

Some Alternative Formulations of the Event Calculus

Murray Shanahan, Rob Miller, M. Shanahan, 2002, Computational Logic: Logic Programming and Beyond.

Fred meets Tweety

Antonis C. Kakas, Loizos Michael, Rob Miller, 2008, ECAI.

Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems

Antonis C. Kakas, Loizos Michael, Rob Miller, 2005, LPNMR.

The Event Calculus in Classical Logic - Alternative Axiomatisations

Murray Shanahan, Rob Miller, M. Shanahan, 1999, Electron. Trans. Artif. Intell..

Modular-έ and the role of elaboration tolerance in solving the qualification problem

Antonis C. Kakas, Loizos Michael, Rob Miller, 2011, Artif. Intell..

An Argumentation Framework of Reasoning about Actions and Change

Antonis C. Kakas, Francesca Toni, Rob Miller, 1999, LPNMR.

STAR: A System of Argumentation for Story Comprehension and Beyond

Antonis C. Kakas, Loizos Michael, Rob Miller, 2015, AAAI Spring Symposia.

A Psychology-Inspired Approach to Automated Narrative Text Comprehension

Antonis C. Kakas, Loizos Michael, Rob Miller, 2014, KR.

Planning with Incomplete Information

Antonis C. Kakas, Francesca Toni, Rob Miller, 2000, ArXiv.

Narratives in the Situation Calculus

Murray Shanahan, Rob Miller, M. Shanahan, 1994, J. Log. Comput..

Cognitive-Based Visualization of Semantically Structured Cultural Heritage Data

Antonis Bikakis, Rob Miller, Kalliopi Kontiza, 2015, VOILA@ISWC.

Situation Calculus Specifications for Event Calculus Logic Programs

Rob Miller, Rob Miller, 1995, LPNMR.

Educational tools for computational modelling

Harvey Mellar, Jonathan Briggs, Richard Boohan, 1993 .

Reasoning about Triggered Scenarios in Logic Programming

Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel, 2013, Theory Pract. Log. Program..

Story Comprehension through Argumentation

Antonis C. Kakas, Loizos Michael, Rob Miller, 2014, COMMA.

Deductive and Abductive Planning in the Event Calculus

Rob Miller, Rob Miller, 1996 .

Ramifications: An Extension and Correspondence Result for the Event Calculus

Rob Miller, Jeremy Forth, J. Forth, 2007, J. Log. Comput..

Non-Monotonic Reasoning and Story Comprehension pdf

Antonis C. Kakas, Loizos Michael, Rob Miller, 2014, ArXiv.

Fundamentals of Radar Signal Processing (Richards, M.A.; 2005) [Book review]

Rob Miller, 2009, IEEE Signal Processing Magazine.

Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots

Alessandra Russo, Holger Voos, Patrice Caire, 2016, ICAART.

The Scientific Contribution of Marek Sergot

Stephen Muggleton, Alessio Lomuscio, Antonis C. Kakas, 2012, Logic Programs, Norms and Action.

SAGE: A Logical Agent-Based Environment Monitoring and Control System

Krysia Broda, Alessandra Russo, Rob Miller, 2009, AmI.

Reasoning about Discontinuities in the Event Calculus

Murray Shanahan, Rob Miller, M. Shanahan, 1996, KR.

Probabilistic reasoning about epistemic action narratives

Luke Dickens, Antonis Bikakis, Rob Miller, 2020, Artif. Intell..

Reasoning supported by computational tools

Harvey Mellar, Jonathan Briggs, Richard Boohan, 1992 .

E-RES: A System for Reasoning about Actions, Events and Observations

Antonis C. Kakas, Francesca Toni, Rob Miller, 2000, ArXiv.