Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRob Miller 0002
Person information
- affiliation: University College London
Other persons with the same name
- Rob Miller — disambiguation page
- Rob Miller 0001 (aka: Robert C. Miller) — MIT, CSAIL, Cambridge, MA, USA (and 1 more)
- Rob Miller 0003 — Hewlett Packard
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j12]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: 109101 (2024)- 2021
- [j11]Andrew S. Gordon, Rob Miller, Leora Morgenstern, György Turán:
Preface. Ann. Math. Artif. Intell. 89(1-2): 1-5 (2021) - 2020
- [j10]Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller:
Probabilistic reasoning about epistemic action narratives. Artif. Intell. 287: 103352 (2020) - 2013
- [j9]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) - 2011
- [j8]Antonis C. Kakas, Loizos Michael, Rob Miller:
Modular-έ and the role of elaboration tolerance in solving the qualification problem. Artif. Intell. 175(1): 49-78 (2011) - 2007
- [j7]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): 94-101 (2007) - [j6]Jeremy Forth, Rob Miller:
Ramifications: An Extension and Correspondence Result for the Event Calculus. J. Log. Comput. 17(4): 639-685 (2007) - 2006
- [j5]Rob Miller:
Three problems in logic-based knowledge representation. Aslib Proc. 58(1/2): 140-151 (2006) - 1999
- [j4]Rob Miller, Murray Shanahan:
The Event Calculus in Classical Logic - Alternative Axiomatisations. Electron. Trans. Artif. Intell. 3(A): 77-105 (1999) - 1997
- [j3]Antonis C. Kakas, Rob Miller:
Reasoning about Actions, Narratives and Ramification. Electron. Trans. Artif. Intell. 1: 39-72 (1997) - [j2]Antonis C. Kakas, Rob Miller:
A Simple Declarative Language for Describing Narratives With Actions. J. Log. Program. 31(1-3): 157-200 (1997) - 1994
- [j1]Rob Miller, Murray Shanahan:
Narratives in the Situation Calculus. J. Log. Comput. 4(5): 513-530 (1994)
Conference and Workshop Papers
- 2017
- [c18]Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller:
Foundations for a Probabilistic Event Calculus. LPNMR 2017: 57-63 - 2016
- [c17]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: 506-511 - 2015
- [c16]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
STAR: A System of Argumentation for Story Comprehension and Beyond. AAAI Spring Symposia 2015 - [c15]Loizos Michael, Antonis C. Kakas, Rob Miller, György Turán:
Cognitive Programming. AIC 2015: 3-18 - [c14]Kalliopi Kontiza, Antonis Bikakis, Rob Miller:
Cognitive-Based Visualization of Semantically Structured Cultural Heritage Data. VOILA@ISWC 2015: 61 - 2014
- [c13]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
Story Comprehension through Argumentation. COMMA 2014: 31-42 - [c12]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
A Psychology-Inspired Approach to Automated Narrative Text Comprehension. KR 2014 - 2013
- [c11]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: 75-87 - 2012
- [c10]Steve Barker, Andrew J. I. Jones, Antonis C. Kakas, Robert A. Kowalski, Alessio Lomuscio, Rob Miller, Stephen H. Muggleton, Giovanni Sartor:
The Scientific Contribution of Marek Sergot. Logic Programs, Norms and Action 2012: 4-11 - 2009
- [c9]Krysia Broda, Keith Clark, Rob Miller, Alessandra Russo:
SAGE: A Logical Agent-Based Environment Monitoring and Control System. AmI 2009: 112-117 - 2008
- [c8]Antonis C. Kakas, Loizos Michael, Rob Miller:
Fred meets Tweety. ECAI 2008: 747-748 - 2005
- [c7]Antonis C. Kakas, Loizos Michael, Rob Miller:
Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. LPNMR 2005: 211-226 - 2002
- [c6]Rob Miller, Murray Shanahan:
Some Alternative Formulations of the Event Calculus. Computational Logic: Logic Programming and Beyond 2002: 452-490 - [c5]Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer:
An Abductive Approach for Analysing Event-Based Requirements Specifications. ICLP 2002: 22-37 - 2001
- [c4]Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: Reasoning about Actions, Events and Observations. LPNMR 2001: 254-266 - 1999
- [c3]Antonis C. Kakas, Rob Miller, Francesca Toni:
An Argumentation Framework of Reasoning about Actions and Change. LPNMR 1999: 78-91 - 1996
- [c2]Rob Miller, Murray Shanahan:
Reasoning about Discontinuities in the Event Calculus. KR 1996: 63-74 - 1995
- [c1]Rob Miller:
Situation Calculus Specifications for Event Calculus Logic Programs. LPNMR 1995: 217-230
Editorship
- 2018
- [e1]Andrew S. Gordon, Rob Miller, György Turán:
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, London, UK, November 6-8, 2017. CEUR Workshop Proceedings 2052, CEUR-WS.org 2018 [contents]
Informal and Other Publications
- 2024
- [i9]Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller:
PizzaCommonSense: Learning to Model Commonsense Reasoning about Intermediate Steps in Cooking Recipes. CoRR abs/2401.06930 (2024) - [i8]Aïssatou Diallo, Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller:
Unsupervised Learning of Graph from Recipes. CoRR abs/2401.12088 (2024) - 2023
- [i7]Antonis Bikakis, Aïssatou Diallo, Luke Dickens, Anthony Hunter, Rob Miller:
A Graphical Formalism for Commonsense Reasoning with Recipes. CoRR abs/2306.09042 (2023) - 2021
- [i6]Antonis Bikakis, Luke Dickens, Anthony Hunter, Rob Miller:
Repurposing of Resources: from Everyday Problem Solving through to Crisis Management. CoRR abs/2109.08425 (2021) - 2020
- [i5]Diego Ramirez-Echavarria, Antonis Bikakis, Luke Dickens, Rob Miller, Andreas Vlachidis:
On the Effects of Knowledge-Augmented Data in Word Embeddings. CoRR abs/2010.01745 (2020) - 2017
- [i4]Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens, Rob Miller:
Foundations for a Probabilistic Event Calculus. CoRR abs/1703.06815 (2017) - 2014
- [i3]Irene-Anna Diakidoy, Antonis C. Kakas, Loizos Michael, Rob Miller:
Non-Monotonic Reasoning and Story Comprehension. CoRR abs/1407.3832 (2014) - 2000
- [i2]Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: A System for Reasoning about Actions, Events and Observations. CoRR cs.AI/0003034 (2000) - [i1]Antonis C. Kakas, Rob Miller, Francesca Toni:
Planning with Incomplete Information. CoRR cs.AI/0003049 (2000)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-09 05:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
