Pages that link to "Item:Q5738914"
From MaRDI portal
The following pages link to On knowledge-based programming with sensing in the situation calculus (Q5738914):
Displaying 11 items.
- A unifying action calculus (Q543584) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- From knowledge-based programs to graded belief-based programs. I: On-line reasoning (Q813424) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Robot location estimation in the situation calculus (Q901076) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)