Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

DOI10.1007/B103476MaRDI QIDQ5463920zbMATH OpenOpenAlexFDO

Authors Chuchang Liu, Maris Ozols, Mehmet A. Orgun

Publication date 17 August 2005

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• AI 2005: Advances in Artificial Intelligence
• An analytic tableau calculus for a temporalised belief logic
• scientific article; zbMATH DE number 1536563
• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation

Cited in

(4)

• An analytic tableau calculus for a temporalised belief logic
• AI 2005: Advances in Artificial Intelligence
• PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
• scientific article; zbMATH DE number 1954189 (Why is no real title available?)

This page was built for publication: Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making

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