Rob Miller - RankMe

46 papers A* 2A 2B 6C 1Journal 25Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A commonsense reasoning framework for substitution in cooking. Data Knowl. Eng. Antonis Bikakis, Aïssatou Diallo, Luke Dickens, Anthony Hunter, Rob Miller
2025	J	`jnl`	IAO Prompting: Making Knowledge Flow Explicit in LLMs through Structured Reasoning Templates. CoRR Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2025	A	`conf`	RESPONSE: Benchmarking the Ability of Language Models to Undertake Commonsense Reasoning in Crisis Situation. ECAI Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2025	J	`jnl`	RESPONSE: Benchmarking the Ability of Language Models to Undertake Commonsense Reasoning in Crisis Situation. CoRR Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2025	J	`jnl`	Rule-Guided Feedback: Enhancing Reasoning by Enforcing Rule Adherence in Large Language Models. CoRR Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2024	J	`jnl`	An answer set programming-based implementation of epistemic probabilistic event calculus. Int. J. Approx. Reason. Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
2024	—	`conf`	PizzaCommonSense: A Dataset for Commonsense Reasoning about Intermediate Steps in Cooking Recipes. EMNLP (Findings) Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2024	J	`jnl`	PizzaCommonSense: Learning to Model Commonsense Reasoning about Intermediate Steps in Cooking Recipes. CoRR Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2024	J	`jnl`	Unsupervised Learning of Graph from Recipes. CoRR Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2023	J	`jnl`	A Graphical Formalism for Commonsense Reasoning with Recipes. CoRR Antonis Bikakis, Aïssatou Diallo, Luke Dickens, Anthony Hunter, Rob Miller
2021	J	`jnl`	Preface. Ann. Math. Artif. Intell. Andrew S. Gordon, Rob Miller, Leora Morgenstern, György Turán
2021	J	`jnl`	Repurposing of Resources: from Everyday Problem Solving through to Crisis Management. CoRR Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller
2020	J	`jnl`	On the Effects of Knowledge-Augmented Data in Word Embeddings. CoRR Diego Ramirez-Echavarria, Antonis Bikakis, Luke Dickens, Rob Miller, Andreas Vlachidis
2020	J	`jnl`	Probabilistic reasoning about epistemic action narratives. Artif. Intell. Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
2018	—	`ed.`	Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017. COMMONSENSE Andrew S. Gordon, Rob Miller, György Turán
2017	B	`conf`	Foundations for a Probabilistic Event Calculus. LPNMR Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
2017	J	`jnl`	Foundations for a Probabilistic Event Calculus. CoRR Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller
2016	—	`conf`	Collaborative Explanation and Response in Assisted Living Environments Enhanced with Humanoid Robots. ICAART (2) Antonis Bikakis, Patrice Caire, Keith Clark, Gary Cornelius, Jiefei Ma, Rob Miller, Alessandra Russo, Holger Voos
2015	—	`conf`	Cognitive Programming. AIC Loizos Michael, Antonis C. Kakas, Rob Miller, György Turán
2015	—	`conf`	Cognitive-Based Visualization of Semantically Structured Cultural Heritage Data. VOILA@ISWC Kalliopi Kontiza, Antonis Bikakis, Rob Miller
2015	—	`conf`	STAR: A System of Argumentation for Story Comprehension and Beyond. AAAI Spring Symposia Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2014	A*	`conf`	A Psychology-Inspired Approach to Automated Narrative Text Comprehension. KR Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2014	J	`jnl`	Non-Monotonic Reasoning and Story Comprehension. CoRR Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2014	C	`conf`	Story Comprehension through Argumentation. COMMA Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller
2013	—	`conf`	An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future. LPAR (short papers) Jiefei Ma, Rob Miller, Leora Morgenstern, Theodore Patkos
2013	J	`jnl`	Reasoning about Triggered Scenarios in Logic Programming. Theory Pract. Log. Program. Dalal Alrajeh, Rob Miller, Alessandra Russo, Sebastián Uchitel
2012	—	`conf`	The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor
2011	J	`jnl`	Modular-έ and the role of elaboration tolerance in solving the qualification problem. Artif. Intell. Antonis C. Kakas, Loizos Michael, Rob Miller
2009	—	`conf`	SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo
2008	A	`conf`	Fred meets Tweety. ECAI Antonis C. Kakas, Loizos Michael, Rob Miller
2007	J	`jnl`	AAAI 2007 Spring Symposium Series Reports. AI Mag. 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
2007	J	`jnl`	Ramifications: An Extension and Correspondence Result for the Event Calculus. J. Log. Comput. Jeremy Forth, Rob Miller
2006	J	`jnl`	Three problems in logic-based knowledge representation. Aslib Proc. Rob Miller
2005	B	`conf`	Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR Antonis C. Kakas, Loizos Michael, Rob Miller
2002	B	`conf`	An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer
2002	—	`conf`	Some Alternative Formulations of the Event Calculus. Computational Logic: Logic Programming and Beyond Rob Miller, Murray Shanahan
2001	B	`conf`	E-RES: Reasoning about Actions, Events and Observations. LPNMR Antonis C. Kakas, Rob Miller, Francesca Toni
2000	J	`jnl`	E-RES: A System for Reasoning about Actions, Events and Observations CoRR Antonis C. Kakas, Rob Miller, Francesca Toni
2000	J	`jnl`	Planning with Incomplete Information CoRR Antonis C. Kakas, Rob Miller, Francesca Toni
1999	B	`conf`	An Argumentation Framework of Reasoning about Actions and Change. LPNMR Antonis C. Kakas, Rob Miller, Francesca Toni
1999	J	`jnl`	The Event Calculus in Classical Logic - Alternative Axiomatisations. Electron. Trans. Artif. Intell. Rob Miller, Murray Shanahan
1997	J	`jnl`	A Simple Declarative Language for Describing Narratives With Actions. J. Log. Program. Antonis C. Kakas, Rob Miller
1997	J	`jnl`	Reasoning about Actions, Narratives and Ramification. Electron. Trans. Artif. Intell. Antonis C. Kakas, Rob Miller
1996	A*	`conf`	Reasoning about Discontinuities in the Event Calculus. KR Rob Miller, Murray Shanahan
1995	B	`conf`	Situation Calculus Specifications for Event Calculus Logic Programs. LPNMR Rob Miller
1994	J	`jnl`	Narratives in the Situation Calculus. J. Log. Comput. Rob Miller, Murray Shanahan