✦ LIBER ✦

Reasoning about Time, Action and Knowledge in Multi-Agent Systems

✍ Scribed by Ji Ruan

Book ID: 107690095
Publisher: Springer-Verlag
Year: 2010
Tongue: English
Weight: 139 KB
Volume: 25
Category: Article
ISSN: 0933-1875
DOI: 10.1007/s13218-010-0075-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reasoning about concurrent actions in mu

Reasoning about concurrent actions in multi-agent systems

✍ Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 555 KB

Quantified epistemic logics for reasonin

Quantified epistemic logics for reasoning about knowledge in multi-agent systems

✍ F. Belardinelli; A. Lomuscio 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 468 KB

Communication and propagation of action

Communication and propagation of action knowledge in multi-agent systems

✍ Holger Friedrich; Oliver Rogalla; Rüdiger Dillmann 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 368 KB

Towards a refinement theory that support

Towards a refinement theory that supports reasoning about knowledge and time for multiple agents

✍ Kai Engelhardt 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 30 KB

We report on some progress made in a project that has as its main goal to devise a distributed system refinement calculus with an assertion language that can express epistemic as well as temporal notions.

Speculative Computation and Action Execu

Speculative Computation and Action Execution in Multi-Agent Systems

✍ Hisashi Hayashi; Kenta Cho; Akihiko Ohsuga 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 164 KB

Actions and social interactions in multi

Actions and social interactions in multi-agent systems

✍ Ngoc Thanh Nguyen; Radosław P. Katarzyniak 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 136 KB