Rob Miller

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An answer set programming-based implementation of epistemic probabilistic event calculus International Journal of Approximate Reasoning	2024-04-18	Paper
Situation calculus specifications for event calculus logic programs Logic Programming and Nonmonotonic Reasoning	2022-08-30	Paper
Probabilistic reasoning about epistemic action narratives Artificial Intelligence	2020-11-16	Paper
Foundations for a probabilistic event calculus (available as arXiv preprint)	2017-09-05	Paper
The Scientific Contribution of Marek Sergot Logic Programs, Norms and Action	2012-07-23	Paper
\(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem Artificial Intelligence	2011-06-17	Paper
Ramifications: An Extension and Correspondence Result for the Event Calculus Journal Of Logic And Computation	2007-11-19	Paper
Logic Programming and Nonmonotonic Reasoning Lecture Notes in Computer Science	2006-06-23	Paper
Application of high-throughput computing in bioinformatics Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences	2005-03-30	Paper
scientific article; zbMATH DE number 2090517 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1926646 (Why is no real title available?)	2003-06-11	Paper
scientific article; zbMATH DE number 1884394 (Why is no real title available?)	2003-03-18	Paper
scientific article; zbMATH DE number 1453057 (Why is no real title available?)	2000-10-26	Paper
A simple declarative language for describing narratives with actions The Journal of Logic Programming	1997-10-23	Paper
Narratives in the Situation Calculus Journal Of Logic And Computation	1995-07-05	Paper

Research outcomes over time

This page was built for person: Rob Miller