The following pages link to Rob Miller (Q543578):
Displayed 15 items.
- \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem (Q543579) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Foundations for a probabilistic event calculus (Q2401924) (← links)
- The Scientific Contribution of Marek Sergot (Q2900467) (← links)
- Narratives in the Situation Calculus (Q4316293) (← links)
- A simple declarative language for describing narratives with actions (Q4352533) (← links)
- Application of high-throughput computing in bioinformatics (Q4661620) (← links)
- (Q4707774) (← links)
- (Q4798014) (← links)
- (Q4809153) (← links)
- (Q4955330) (← links)
- Situation calculus specifications for event calculus logic programs (Q5101452) (← links)
- Ramifications: An Extension and Correspondence Result for the Event Calculus (Q5427252) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473972) (← links)
- An answer set programming-based implementation of epistemic probabilistic event calculus (Q6131920) (← links)