Formalizing sensing actions -- a transition function based approach
From MaRDI portal
Recommendations
- Publication:4940940
- A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty
- Practical reasoning about knowledge states for open world planning with sensing
- scientific article; zbMATH DE number 2048605
Cites work
- A syntactic theory of belief and action
- ADL and the State-Transition Model of Action
- Computational complexity of planning and approximate planning in the presence of incompleteness
- Formalizing narratives using nested circumscription
- Formalizing sensing actions -- a transition function based approach
- scientific article; zbMATH DE number 89002 (Why is no real title available?)
- scientific article; zbMATH DE number 592368 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 1453059 (Why is no real title available?)
- Narratives in the Situation Calculus
- Nested abnormality theories
- Reasoning about effects of concurrent actions
- Representing action and change by logic programs
- Representing action: indeterminacy and ramifications
- Representing actions in logic programs and default theories a situation calculus approach
- Representing actions: Laws, observations and hypotheses
- State Constraints Revisited
- Two components of an action language
Cited in
(38)- Computational complexity of planning and approximate planning in the presence of incompleteness
- Reasoning about actions with loops via Hoare logic
- Ability and knowing how in the situation calculus
- Revising event calculus theories to recover from unexpected observations
- Knowledge-based programs as succinct policies for partially observable domains
- An action language for multi-agent domains
- A lightweight epistemic logic and its application to planning
- Knowledge updates: Semantics and complexity issues
- Common-sense reasoning as proto-scientific agent activity
- Representation and reasoning about evolutions of the world in the context of reasoning about actions
- Reasoning about sensing actions in domains with multi-valued fluents
- Reactive policies with planning for action languages
- Considerations on belief revision in an action theory
- Applications of action languages in cognitive robotics
- Every action-based sensor
- Probabilistic Reasoning by SAT Solvers
- Practical reasoning about knowledge states for open world planning with sensing
- scientific article; zbMATH DE number 2048605 (Why is no real title available?)
- scientific article; zbMATH DE number 2080342 (Why is no real title available?)
- Hybrid conditional planning using answer set programming
- scientific article; zbMATH DE number 1390352 (Why is no real title available?)
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty
- LTL verification of online executions with sensing in bounded situation calculus
- A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
- Approximation of action theories and its application to conformant planning
- On knowledge-based programming with sensing in the situation calculus
- What observations really tell us
- Formalizing sensing actions -- a transition function based approach
- Database semantics for natural language
- Epistemic planning: perspectives on the special issue
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
- Answer set planning: a survey
- Knowledge, action, and the frame problem
- Approximate postdictive reasoning with answer set programming
- A history based approximate epistemic action theory for efficient postdictive reasoning
- Proof systems for planning under 0-approximation semantics
- A generic approach to planning in the presence of incomplete information: theory and implementation
- Undoing the effects of action sequences
This page was built for publication: Formalizing sensing actions -- a transition function based approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5940779)
