Incorporating action models into the situation calculus
From MaRDI portal
Publication:5249683
DOI10.1007/978-3-319-06025-5_21zbMATH Open1344.03018OpenAlexW209568097MaRDI QIDQ5249683FDOQ5249683
Authors: Yong-Mei Liu, Hector J. Levesque 
Publication date: 11 May 2015
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06025-5_21
Recommendations
- From Situation Calculus to Dynamic Epistemic Logic
- The situation calculus: a case for modal logic
- On representing actions in multi-agent domains
- Reasoning about the beliefs of agents in multi-agent domains in the presence of state constraints: the action language mAL
- scientific article; zbMATH DE number 2085243
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- GOLOG: A logic programming language for dynamic domains
- The logic of public announcements, common knowledge, and private suspicions
- Logics of communication and change
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logics for epistemic programs
- Dynamic Epistemic Logic and Knowledge Puzzles
- A qualitative theory of dynamic interactive belief revision
- Title not available (Why is that?)
- Knowledge, action, and the frame problem
- Reasoning about noisy sensors and effectors in the situation calculus
- A semantic characterization of a useful fragment of the situation calculus with knowledge
- Logics of public communications
- McCarthy variations in a modal key
- From Situation Calculus to Dynamic Epistemic Logic
Cited In (4)
This page was built for publication: Incorporating action models into the situation calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249683)
