✦ LIBER ✦

Alternating-time stream logic for multi-agent systems

✍ Scribed by Sascha Klüppelholz; Christel Baier

Book ID: 108261904
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 925 KB
Volume: 75
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2009.07.007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

From logic programming towards multi‐age

From logic programming towards multi‐agent systems

✍ Robert Kowalski; Fariba Sadri 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 153 KB

Comparing Semantics of Logics for Multi-

Comparing Semantics of Logics for Multi-Agent Systems

✍ Valentin Goranko; Wojciech Jamroga 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 492 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

Compositional Verification of Multi-Agen

Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

✍ Joeri Engelfriet; Catholijn M. Jonker; Jan Treur 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 202 KB

A Logic Based Asynchronous Multi-Agent S

A Logic Based Asynchronous Multi-Agent System

✍ Pierangelo Dell'Acqua; Ulf Nilsson; Luís Moniz Pereira 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 200 KB

We present a logic programming based asynchronous multi-agent system in which agents can communicate with one another; update themselves and each other; abduce hypotheses to explain observations, and use them to generate actions. The knowledge base of the agents is comprised of generalized logic pro

A framework for simulating real-time mul

A framework for simulating real-time multi-agent systems

✍ Chris Micacchi; Robin Cohen 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 433 KB