Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by ROB MILLER
Narratives in the Situation Calculus
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
Combining Situation Calculus and Event Calculus
Foundations of the Situation Calculus
Non-Markovian Control in the Situation Calculus
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Causality and Counterfactuals in the Situation Calculus
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Component Properties of Forgetting and Progression in the Situation Calculus
Bulletin of the Novosibirsk Computing Center. Series:Computer Science
A Generative Dialogue System for Arguing About Plans in Situation Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Logic Research in Mobile Service Recommendation Model Based on Situation Calculus
DEStech Transactions on Computer Science and Engineering
Stochastics Calculus: Malliavin Calculus in a Simplest Way
IOSR Journal of Mathematics
Gödelisation in the Lambda-Calculus
BRICS Report Series