- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Model Checking of Persuasion in Multi-Agent Systems
Studies in Logic, Grammar and Rhetoric 23 (36) (2011)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams.Franco Raimondi & Alessio Lomuscio - 2007 - Journal of Applied Logic 5 (2):235-251.
Bounded model checking real-time multi-agent systems with clock differences: theory and implementation.Alessio Lomuscio, Bożena Woźna & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 95--112.
Formal Modelling and Verification of Probabilistic Resource Bounded Agents.Hoang Nga Nguyen & Abdur Rakib - 2023 - Journal of Logic, Language and Information 32 (5):829-859.
On the Quality of Persuasion Dialogs.Leila Amgoud & Florence Dupin de Saint-Cyr - 2011 - Studies in Logic, Grammar and Rhetoric 23 (36).
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.
Multi-agent Conformant Planning with Distributed Knowledge.Yanjun Li - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 128-140.
Complexity of multi-agent conformant planning with group knowledge.Yanjun Li - 2023 - Synthese 201 (4):1-30.
Toulmin's Model of Argument and the 'Logic' of Scientific Discovery.Tomasz Zarębski - 2009 - Studies in Logic, Grammar and Rhetoric 16 (29).
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
Temporal Logic Model Checkers as Applied in Computer Science.Kazimierz Trzęsicki - 2009 - Studies in Logic, Grammar and Rhetoric 17 (30).
Analytics
Added to PP
2018-03-10
Downloads
8 (#1,335,493)
6 months
8 (#507,683)
2018-03-10
Downloads
8 (#1,335,493)
6 months
8 (#507,683)
Historical graph of downloads
Author's Profile
Citations of this work
Processing Topics from the Beneficial Cognitive Model in Partially and Over-Successful Persuasion Dialogues.Kamila Debowska-Kozlowska - 2014 - Argumentation 28 (3):325-339.
The Development of Argument and Computation and Its Roots in the Lvov-Warsaw School.Chris Reed & Marcin Koszowy - 2011 - Studies in Logic, Grammar and Rhetoric 23 (36).
References found in this work
Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning.Douglas Neil Walton & Erik C. W. Krabbe - 1995 - Albany, NY, USA: State University of New York Press.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-7g5mb uwo