✦ LIBER ✦

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

✍ Scribed by Joeri Engelfriet; Catholijn M. Jonker; Jan Treur

Book ID: 110365147
Publisher: Springer Netherlands
Year: 2002
Tongue: English
Weight: 202 KB
Volume: 11
Category: Article
ISSN: 0925-8531
DOI: 10.1023/a:1017588004618

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Formal Specification and Verification of

Formal Specification and Verification of Multi-Agent Systems

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Belief, information acquisition, and tru

Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation

✍ Churn-Jung Liau 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 261 KB

Preface to the special issue on computat

Preface to the special issue on computational logics in multi-agent systems

✍ Jürgen Dix; João Leite 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 131 KB

Formal specification of beliefs in multi

Formal specification of beliefs in multi-agent systems

✍ Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 254 KB 👁 2 views

The goal of this paper is to present a logical framework for the formalization of agents' mutual beliefs in a Multi Agent system. The approach is based on a combination of Ž . extensional specifications of beliefs and context-based finite presentation of the specifications by employing a particular

A concurrent dynamic logic of knowledge,

A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems

✍ Lijun Wu; Jinshu Su; Kaile Su; Xiangyu Luo; Zhihua Yang 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 257 KB