✦ LIBER ✦

Epistemic Logic for Rule-Based Agents

✍ Scribed by Mark Jago

Publisher: Springer Netherlands
Year: 2008
Tongue: English
Weight: 573 KB
Volume: 18
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-008-9071-8

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

Preference-based belief revision for rul

Preference-based belief revision for rule-based agents

✍ Natasha Alechina; Mark Jago; Brian Logan 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 223 KB

Computational logic-based agents

✍ Francesca Toni; Jamal Bentahar 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 80 KB

Reputation-based decisions for logic-bas

Reputation-based decisions for logic-based cognitive agents

✍ Isaac Pinyol; Jordi Sabater-Mir; Pilar Dellunde; Mario Paolucci 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 633 KB

An epistemic logic for becoming informed

✍ Giuseppe Primiero 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 259 KB

Logic-Based Agent Verification

✍ Michael Fisher; Munindar Singh; Diana Spears; Mike Wooldridge 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 82 KB

## Logic-Based Agent Verification The multi-agent paradigm has become increasingly prevalent in computer science. Such popularity is due to its ability to capture social, economic, and other relevant interactions within a task. To meet the increasing demand for multi-agent systems, substantial prog