Narratives in the Situation Calculus. - Rob Miller 002; Murray Shanahan (J. Log. Comput., 1994)

Situation Calculus Specifications for Event Calculus Logic Programs. - Rob Miller 002 (LPNMR, 1995)

Reasoning about Discontinuities in the Event Calculus. - Rob Miller 002; Murray Shanahan (KR, 1996)

Reasoning about Actions, Narratives and Ramification. - Antonis C. Kakas; Rob Miller 002 (Electron. Trans. Artif. Intell., 1997)

A Simple Declarative Language for Describing Narratives With Actions. - Antonis C. Kakas; Rob Miller 002 (J. Log. Program., 1997)

An Argumentation Framework of Reasoning about Actions and Change. - Antonis C. Kakas; Rob Miller 002; Francesca Toni (LPNMR, 1999)

The Event Calculus in Classical Logic - Alternative Axiomatisations. - Rob Miller 002; Murray Shanahan (Electron. Trans. Artif. Intell., 1999)

E-RES: A System for Reasoning about Actions, Events and Observations - Antonis C. Kakas; Rob Miller 002; Francesca Toni (CoRR, 2000)

Planning with Incomplete Information - Antonis C. Kakas; Rob Miller 002; Francesca Toni (CoRR, 2000)

E-RES: Reasoning about Actions, Events and Observations. - Antonis C. Kakas; Rob Miller 002; Francesca Toni (LPNMR, 2001)

Some Alternative Formulations of the Event Calculus. - Rob Miller 002; Murray Shanahan (Computational Logic: Logic Programming and Beyond, 2002)

An Abductive Approach for Analysing Event-Based Requirements Specifications. - Alessandra Russo; Rob Miller 002; Bashar Nuseibeh; Jeff Kramer (ICLP, 2002)

Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. - Antonis C. Kakas; Loizos Michael; Rob Miller 002 (LPNMR, 2005)

Three problems in logic-based knowledge representation. - Rob Miller 002 (Aslib Proc., 2006)

AAAI 2007 Spring Symposium Series Reports. - Thomas Barkowsky; Peter Bruza; Zachary Dodds; Oren Etzioni; George Ferguson; Piotr J. Gmytrasiewicz; Bernhard Hommel; Benjamin Kuipers; Rob Miller 002; Leora Morgenstern; Simon Parsons; Holger Schultheis; et al. (AI Mag., 2007)

Ramifications: An Extension and Correspondence Result for the Event Calculus. - Jeremy Forth; Rob Miller 002 (J. Log. Comput., 2007)

Fred meets Tweety. - Antonis C. Kakas; Loizos Michael; Rob Miller 002 (ECAI, 2008)

SAGE: A Logical Agent-Based Environment Monitoring and Control System. - Krysia Broda; Keith Clark; Rob Miller 002; Alessandra Russo (AmI, 2009)

Modular-έ and the role of elaboration tolerance in solving the qualification problem. - Antonis C. Kakas; Loizos Michael; Rob Miller 002 (Artif. Intell., 2011)

The Scientific Contribution of Marek Sergot. - Steve Barker; Andrew J. I. Jones; Antonis C. Kakas; Robert A. Kowalski; Alessio Lomuscio; Rob Miller 002; Stephen H. Muggleton; Giovanni Sartor (Logic Programs, Norms and Action, 2012)

An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. - Jiefei Ma; Rob Miller 002; Leora Morgenstern; Theodore Patkos (LPAR (short papers), 2013)

Reasoning about Triggered Scenarios in Logic Programming. - Dalal Alrajeh; Rob Miller 002; Alessandra Russo; Sebastián Uchitel (Theory Pract. Log. Program., 2013)

Story Comprehension through Argumentation. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (COMMA, 2014)

A Psychology-Inspired Approach to Automated Narrative Text Comprehension. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (KR, 2014)

Non-Monotonic Reasoning and Story Comprehension. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (CoRR, 2014)

STAR: A System of Argumentation for Story Comprehension and Beyond. - Irene-Anna Diakidoy; Antonis C. Kakas; Loizos Michael; Rob Miller 002 (AAAI Spring Symposia, 2015)

Cognitive Programming. - Loizos Michael; Antonis C. Kakas; Rob Miller 002; György Turán (AIC, 2015)

Cognitive-Based Visualization of Semantically Structured Cultural Heritage Data. - Kalliopi Kontiza; Antonis Bikakis; Rob Miller 002 (VOILA@ISWC, 2015)

Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. - Antonis Bikakis; Patrice Caire; Keith Clark; Gary Cornelius; Jiefei Ma; Rob Miller 002; Alessandra Russo; Holger Voos (ICAART (2), 2016)

Foundations for a Probabilistic Event Calculus. - Fabio Aurelio D'Asaro; Antonis Bikakis; Luke Dickens; Rob Miller 002 (LPNMR, 2017)

Probabilistic reasoning about epistemic action narratives. - Fabio Aurelio D'Asaro; Antonis Bikakis; Luke Dickens; Rob Miller 002 (Artif. Intell., 2020)

On the Effects of Knowledge-Augmented Data in Word Embeddings. - Diego Ramirez-Echavarria; Antonis Bikakis; Luke Dickens; Rob Miller 002; Andreas Vlachidis (CoRR, 2020)

Preface. - Andrew S. Gordon; Rob Miller 002; Leora Morgenstern; György Turán (Ann. Math. Artif. Intell., 2021)

Repurposing of Resources: from Everyday Problem Solving through to Crisis Management. - Antonis Bikakis; Luke Dickens; Anthony Hunter; Rob Miller 002 (CoRR, 2021)

A Graphical Formalism for Commonsense Reasoning with Recipes. - Antonis Bikakis; Aïssatou Diallo; Luke Dickens; Anthony Hunter; Rob Miller 002 (CoRR, 2023)

PizzaCommonSense: A Dataset for Commonsense Reasoning about Intermediate Steps in Cooking Recipes. - Aïssatou Diallo; Antonis Bikakis; Luke Dickens; Anthony Hunter; Rob Miller 002 (EMNLP (Findings), 2024)

PizzaCommonSense: Learning to Model Commonsense Reasoning about Intermediate Steps in Cooking Recipes. - Aïssatou Diallo; Antonis Bikakis; Luke Dickens; Anthony Hunter; Rob Miller 002 (CoRR, 2024)

Unsupervised Learning of Graph from Recipes. - Aïssatou Diallo; Antonis Bikakis; Luke Dickens; Anthony Hunter; Rob Miller 002 (CoRR, 2024)

An answer set programming-based implementation of epistemic probabilistic event calculus. - Fabio Aurelio D'Asaro; Antonis Bikakis; Luke Dickens; Rob Miller 002 (Int. J. Approx. Reason., 2024)

IAO Prompting: Making Knowledge Flow Explicit in LLMs through Structured Reasoning Templates. - Aïssatou Diallo; Antonis Bikakis; Luke Dickens; Anthony Hunter; Rob Miller 002 (CoRR, 2025)

Rule-Guided Feedback: Enhancing Reasoning by Enforcing Rule Adherence in Large Language Models. - Aïssatou Diallo; Antonis Bikakis; Luke Dickens; Anthony Hunter; Rob Miller 002 (CoRR, 2025)

RESPONSE: Benchmarking the Ability of Language Models to Undertake Commonsense Reasoning in Crisis Situation. - Aïssatou Diallo; Antonis Bikakis; Luke Dickens; Anthony Hunter; Rob Miller 002 (CoRR, 2025)