Rob Miller

From MaRDI portal
Person:543578

Available identifiers

zbMath Open miller.robMaRDI QIDQ543578

List of research outcomes





PublicationDate of PublicationType
An answer set programming-based implementation of epistemic probabilistic event calculus2024-04-18Paper
Situation calculus specifications for event calculus logic programs2022-08-30Paper
Probabilistic reasoning about epistemic action narratives2020-11-16Paper
Foundations for a probabilistic event calculus2017-09-05Paper
The Scientific Contribution of Marek Sergot2012-07-23Paper
\(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem2011-06-17Paper
Ramifications: An Extension and Correspondence Result for the Event Calculus2007-11-19Paper
Logic Programming and Nonmonotonic Reasoning2006-06-23Paper
Application of high-throughput computing in bioinformatics2005-03-30Paper
https://portal.mardi4nfdi.de/entity/Q48091532004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47077742003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q47980142003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q49553302000-10-26Paper
A simple declarative language for describing narratives with actions1997-10-23Paper
Narratives in the Situation Calculus1995-07-05Paper

Research outcomes over time

This page was built for person: Rob Miller

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:543578&oldid=7472742"
Powered by MediaWiki