Pages that link to "Item:Q814427"
From MaRDI portal
The following pages link to Knowledge, action, and the frame problem (Q814427):
Displaying 39 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Progression and verification of situation calculus agents with bounded beliefs (Q310089) (← links)
- A logical theory of localization (Q310092) (← links)
- John McCarthy's legacy (Q543573) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Iterated belief change in the situation calculus (Q543588) (← links)
- Belief extrapolation (or how to reason about observations and unpredicted change) (Q543623) (← 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)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Approximate postdictive reasoning with answer set programming (Q893596) (← links)
- A history based approximate epistemic action theory for efficient postdictive reasoning (Q893597) (← links)
- Proof systems for planning under 0-approximation semantics (Q893736) (← links)
- Robot location estimation in the situation calculus (Q901076) (← links)
- A logic of intention and attempt (Q934779) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- Resolving distributed knowledge (Q1677430) (← 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)
- An epistemic approach to nondeterminism: believing in the simplest course of events (Q2009766) (← links)
- Revising event calculus theories to recover from unexpected observations (Q2029718) (← links)
- A computational model of Ostrom's institutional analysis and development framework (Q2082506) (← links)
- Analyzing generalized planning under nondeterminism (Q2124464) (← links)
- Probabilistic reasoning about epistemic action narratives (Q2211870) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Knowledge and communication: A first-order theory (Q2457657) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Knowledge-based programs as building blocks for planning (Q2667817) (← links)
- Considerations on Belief Revision in an Action Theory (Q2900517) (← links)
- On the Role of Possibility in Action Execution and Knowledge in the Situation Calculus (Q3305122) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- Belief Change: from Situation Calculus to Modal Logic (Q3647208) (← links)
- Practical reasoning about knowledge states for open world planning with sensing (Q3647290) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)