Pages that link to "Item:Q1606305"

The following pages link to Reasoning about noisy sensors and effectors in the situation calculus (Q1606305):

Displaying 37 items.

• Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
• A logical theory of localization (Q310092) (← links)
• Revising beliefs on the basis of evidence (Q432970) (← links)
• The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
• A description logic based situation calculus (Q604908) (← links)
• The situation calculus: a case for modal logic (Q616039) (← links)
• Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
• From knowledge-based programs to graded belief-based programs. I: On-line reasoning (Q813424) (← links)
• Knowledge, action, and the frame problem (Q814427) (← links)
• Practical solution techniques for first-order MDPs (Q835833) (← links)
• Robot location estimation in the situation calculus (Q901076) (← links)
• Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
• Belief revision and projection in the epistemic situation calculus (Q1680698) (← links)
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
• Ability and knowing how in the situation calculus (Q1840653) (← links)
• An epistemic approach to nondeterminism: believing in the simplest course of events (Q2009766) (← links)
• A probabilistic interval-based event calculus for activity recognition (Q2029705) (← links)
• Analyzing generalized planning under nondeterminism (Q2124464) (← links)
• Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
• Probabilistic sentence satisfiability: an approach to PSAT (Q2287193) (← links)
• Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)
• Regression and progression in stochastic domains (Q2303514) (← links)
• Probabilistic situation calculus (Q2349808) (← links)
• SLAP: specification logic of actions with probability (Q2447174) (← links)
• Probabilistic Event Calculus for Event Recognition (Q2946767) (← links)
• NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS (Q3427872) (← links)
• Interpreting an action from what we perceive and what we expect (Q3647262) (← links)
• Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
• Dynamic Epistemic Logics (Q5249670) (← links)
• Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
• Reasoning about actions with sensing under qualitative and probabilistic uncertainty (Q5277823) (← links)
• (Q5376659) (← links)
• KI 2003: Advances in Artificial Intelligence (Q5897301) (← links)
• Epistemic planning: perspectives on the special issue (Q6098843) (← links)
• On the progression of belief (Q6136086) (← links)
• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)
• Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond (Q6545516) (← links)