✦ LIBER ✦

Reasoning about concurrent actions in multi-agent systems

✍ Scribed by Xiaocong Fan; Dianxiang Xu; Jianmin Hou; Guoliang Zheng

Publisher: Springer
Year: 1999
Tongue: English
Weight: 555 KB
Volume: 14
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02948746

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Process algebra approach to reasoning ab

Process algebra approach to reasoning about concurrent actions

✍ Yuan Feng; Ming-Sheng Ying 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 879 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

Reasoning about Sensing Actions in Domai

Reasoning about Sensing Actions in Domains with Multi-Valued Fluents

✍ Tran Cao Son; Phan Huy Tu; Xin Zhang 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 413 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

Reasoning about action in polynomial tim

Reasoning about action in polynomial time

✍ Thomas Drakengren; Marcus Bjäreland 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Although many formalisms for reasoning about action exist, surprisingly few approaches have taken computational complexity into consideration. The contributions of this article are the following: a temporal logic with a restriction for which deciding satisfiability is tractable, a tractable extensio

Representation and Reasoning about Evolu

Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions

✍ Chitta Baral; Nam Tran 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 291 KB