A Syntax-based Approach to Reasoning about Action and Belief Update

DOI10.1093/LOGCOM/EXI081MaRDI QIDQ3430947zbMATH OpenOpenAlexFDO

Authors Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo

Publication date 5 April 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exi081

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 140406
• A syntax-based approach to reasoning about actions and events
• A syntactic theory of belief and action
• Default reasoning and belief revision: A syntax-independent approach
• Reasoning about Knowledge and Belief: A Syntactical Treatment
• scientific article; zbMATH DE number 1292301
• scientific article; zbMATH DE number 6747990
• scientific article; zbMATH DE number 35419
• Filtered belief revision: syntax and semantics
• Intelligent Agents and Multi-Agent Systems

Cited in

(4)

• Reasoning about action. I: A possible worlds approach
• Updating action domain descriptions
• A syntax-based approach to reasoning about actions and events
• A syntactic theory of belief and action

This page was built for publication: A Syntax-based Approach to Reasoning about Action and Belief Update

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3430947)