✦ LIBER ✦

Comparing Semantics of Logics for Multi-Agent Systems

✍ Scribed by Valentin Goranko; Wojciech Jamroga

Book ID: 111612616
Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 492 KB
Volume: 139
Category: Article
ISSN: 0039-7857
DOI: 10.1023/b:synt.0000024915.66183.d1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proposition of formal semantics for mult

Proposition of formal semantics for multi-agent systems

✍ Walib Chainbi 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 260 KB

This paper has two purposes. First, it presents an approach to designing an agent that is different from most known in the DAI field. Starting from our study of cooperation in multi-agent systems, we identify the underlying concepts of an agent. These concepts consist of communication concepts and o

Agreement Technologies || Semantics in M

Agreement Technologies || Semantics in Multi-agent Systems

✍ Ossowski, Sascha 📂 Article 📅 2012 🏛 Springer Netherlands ⚖ 746 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

Special issue on logics for intelligent

Special issue on logics for intelligent agents and multi-agent systems

✍ Mehmet A. Orgun; Guido Governatori; Chuchang Liu; Mark Reynolds; Abdul Sattar 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 80 KB

Semantic reliability of multi-agent inte

Semantic reliability of multi-agent intelligent systems

✍ Tippure S. Sundresh 📂 Article 📅 2006 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 179 KB 👁 1 views

Alternating-time stream logic for multi-

Alternating-time stream logic for multi-agent systems

✍ Sascha Klüppelholz; Christel Baier 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 925 KB