Rob Miller

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 11

Top Topics

Unsupervised Learning

Commonsense Reasoning

Top Venues

Ann. Math. Artif. Intell.

Int. J. Approx. Reason.

Publications

Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
An answer set programming-based implementation of epistemic probabilistic event calculus. Int. J. Approx. Reason. 165 (2024)
Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
Unsupervised Learning of Graph from Recipes. CoRR (2024)
Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
PizzaCommonSense: Learning to Model Commonsense Reasoning about Intermediate Steps in Cooking Recipes. CoRR (2024)
Antonis Bikakis, Aïssatou Diallo, Luke Dickens, Anthony Hunter, Rob Miller
A Graphical Formalism for Commonsense Reasoning with Recipes. CoRR (2023)
Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
Repurposing of Resources: from Everyday Problem Solving through to Crisis Management. CoRR (2021)
Andrew S. Gordon, Rob Miller, Leora Morgenstern, György Turán
Preface. Ann. Math. Artif. Intell. 89 (1-2) (2021)
Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
Probabilistic reasoning about epistemic action narratives. Artif. Intell. 287 (2020)
Diego Ramirez-Echavarria, Antonis Bikakis, Luke Dickens, Rob Miller, Andreas Vlachidis
On the Effects of Knowledge-Augmented Data in Word Embeddings. CoRR (2020)
Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
Foundations for a Probabilistic Event Calculus. LPNMR (2017)
Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
Foundations for a Probabilistic Event Calculus. CoRR (2017)
Antonis Bikakis, Patrice Caire, Keith Clark, Gary Cornelius, Jiefei Ma, Rob Miller, Alessandra Russo, Holger Voos
Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. ICAART (2) (2016)
Loizos Michael, Antonis C. Kakas, Rob Miller, György Turán
Cognitive Programming. AIC (2015)
Kalliopi Kontiza, Antonis Bikakis, Rob Miller
Cognitive-Based Visualization of Semantically Structured Cultural Heritage Data. VOILA@ISWC (2015)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
STAR: A System of Argumentation for Story Comprehension and Beyond. AAAI Spring Symposia (2015)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
Non-Monotonic Reasoning and Story Comprehension. CoRR (2014)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
A Psychology-Inspired Approach to Automated Narrative Text Comprehension. KR (2014)
Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
Story Comprehension through Argumentation. COMMA (2014)
Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. LPAR (short papers) (2013)
Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel
Reasoning about Triggered Scenarios in Logic Programming. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen Muggleton, Giovanni Sartor
The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action (2012)
Antonis C. Kakas, Loizos Michael, Rob Miller
Modular-έ and the role of elaboration tolerance in solving the qualification problem. Artif. Intell. 175 (1) (2011)
Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo
SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI (2009)
Antonis C. Kakas, Loizos Michael, Rob Miller
Fred meets Tweety. ECAI (2008)
Jeremy Forth, Rob Miller
Ramifications: An Extension and Correspondence Result for the Event Calculus. J. Log. Comput. 17 (4) (2007)
Thomas Barkowsky, Peter Bruza, Zachary Dodds, Oren Etzioni, George Ferguson, Piotr J. Gmytrasiewicz, Bernhard Hommel, Benjamin Kuipers, Rob Miller, Leora Morgenstern, Simon Parsons, Holger Schultheis, Adriana Tapus, Neil Yorke-Smith
AAAI 2007 Spring Symposium Series Reports. AI Mag. 28 (3) (2007)
Rob Miller
Three problems in logic-based knowledge representation. Aslib Proc. 58 (1/2) (2006)
Antonis C. Kakas, Loizos Michael, Rob Miller
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR (2005)
Rob Miller, Murray Shanahan
Some Alternative Formulations of the Event Calculus. Computational Logic: Logic Programming and Beyond (2002)
Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP (2002)
Antonis C. Kakas, Rob Miller, Francesca Toni
E-RES: Reasoning about Actions, Events and Observations. LPNMR (2001)
Antonis C. Kakas, Rob Miller, Francesca Toni
E-RES: A System for Reasoning about Actions, Events and Observations CoRR (2000)
Antonis C. Kakas, Rob Miller, Francesca Toni
Planning with Incomplete Information CoRR (2000)
Rob Miller, Murray Shanahan
The Event Calculus in Classical Logic - Alternative Axiomatisations. Electron. Trans. Artif. Intell. 3 (A) (1999)
Antonis C. Kakas, Rob Miller, Francesca Toni
An Argumentation Framework of Reasoning about Actions and Change. LPNMR (1999)
Antonis C. Kakas, Rob Miller
A Simple Declarative Language for Describing Narratives With Actions. J. Log. Program. 31 (1-3) (1997)
Antonis C. Kakas, Rob Miller
Reasoning about Actions, Narratives and Ramification. Electron. Trans. Artif. Intell. 1 (1997)
Rob Miller, Murray Shanahan
Reasoning about Discontinuities in the Event Calculus. KR (1996)
Rob Miller
Situation Calculus Specifications for Event Calculus Logic Programs. LPNMR (1995)
Rob Miller, Murray Shanahan
Narratives in the Situation Calculus. J. Log. Comput. 4 (5) (1994)