Reasoning about knowledge on computation trees

DOI10.1007/BFB0021980MaRDI QIDQ4537445zbMATH OpenFDO

Authors Konstantinos Georgatos

Publication date 30 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0021980

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Knowledge on treelike spaces
• Temporal aspects of the modal logic of subset spaces
• scientific article; zbMATH DE number 35415
• scientific article; zbMATH DE number 125988
• Kripke semantics for knowledge representation logics

Cited in

(5)

• Knowledge on treelike spaces
• Topological reasoning and the logic of knowledge
• Temporal aspects of the modal logic of subset spaces
• Reasoning with Preference Trees over Combinatorial Domains
• Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm

This page was built for publication: Reasoning about knowledge on computation trees

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