Model Checking Logics of Social Commitments for Agent Communication

Model Checking Logics of Social Commitments for Agent Communication

This thesis is about specifying and verifying communications among autonomous and possibly heterogeneous agents, which are the key principle for constructing effective open multi-agent systems (MASs). Effective systems are those that successfully achieve applicability, feasibility, error-freeness an...

Full description

Bibliographic Details
Main Author:	Mohamed, Mohamed El Menshawy
Format:	Others
Published:	2012
Online Access:	http://spectrum.library.concordia.ca/974529/7/El_Menshawy_PhD_F2012.pdf Mohamed, Mohamed El Menshawy <http://spectrum.library.concordia.ca/view/creators/Mohamed=3AMohamed_El_Menshawy=3A=3A.html> (2012) Model Checking Logics of Social Commitments for Agent Communication. PhD thesis, Concordia University.

Similar Items

Modelling, analysing and model checking commit protocols
by: Kempster, Tim
Published: (2000)

Applications of Description Logic and Causality in Model Checking
by: Ben-David, Shoham
Published: (2009)

Applications of Description Logic and Causality in Model Checking
by: Ben-David, Shoham
Published: (2009)

Declarative symbolic pure-logic model checking
by: Shlyakhter, Ilya, 1975-
Published: (2006)

Temporal Logic and Model Checking for Operator Precedence Languages
by: Michele Chiari, et al.
Published: (2018-09-01)

Indexed linear logic and higher-order model checking
by: Charles Grellois, et al.
Published: (2015-03-01)

Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
by: Cătălin Dima, et al.
Published: (2010-06-01)

On-line checking of programmable logic arrays
by: Marcynuk, Donald
Published: (2013)

On-line checking of programmable logic arrays
by: Marcynuk, Donald
Published: (2013)

Probabilistic Approach for Logic Equivalence Checking
by: 謝禎安
Published: (2005)

Rich Counter-Examples for Temporal-Epistemic Logic Model Checking
by: Simon Busard, et al.
Published: (2012-02-01)

Model Checking Temporal Logic Formulas Using Sticker Automata
by: Weijun Zhu, et al.
Published: (2017-01-01)

Model checking multi-agent systems
by: Raimondi, Franco
Published: (2006)

Elimination of loop-check for logic of idealized knowledge
by: Aida Pliuškevičienė
Published: (2009-12-01)

Claim Consistency Checking Using Soft Logic
by: Nouf Bindris, et al.
Published: (2020-07-01)

The metaphysical commitments of logic
by: Brouwer, Thomas Nicolaas Pieter Albert
Published: (2013)

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
by: Takashi Tomita, et al.
Published: (2011-11-01)

HyLTL: a temporal logic for model checking hybrid systems
by: Davide Bresolin
Published: (2013-08-01)

Optimising communication structure for model checking
by: Saffrey, Peter
Published: (2003)

Reducing communication in distributed model checking
by: Fourie, Jean Francois
Published: (2009)

Abstraction in model checking multi-agent systems
by: Russo, Francesco
Published: (2012)

Restrictions for loop-check in sequent calculus for temporal logic
by: Adomas Birštunas
Published: (2008-12-01)

Theorem and Algorithm Checking for Courses on Logic and Formal Methods
by: Wolfgang Schreiner
Published: (2019-04-01)

Sequent calculi with an efficient loop-check for BDI logics
by: Birštunas, Adomas
Published: (2010)

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic
by: P.N. Mosaad, et al.
Published: (2017-06-01)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
by: R van der Meyden, et al.
Published: (2016-06-01)

Model Checking the Logic of Allen's Relations Meets and Started-by is P^NP-Complete
by: Laura Bozzelli, et al.
Published: (2016-09-01)

An Approach to Model Checking of Multi-agent Data Analysis
by: Natalia Garanina, et al.
Published: (2014-11-01)

Model checking and compositional reasoning for multi-agent systems
by: Jones, Andrew Vaughan
Published: (2014)

Model checking GSM-based multi-agent systems
by: Gonzalez, Pavel
Published: (2014)

Using Spreadsheets for Teaching Principles of On-line Checking of Logic Circuits
by: Ilya Levin, et al.
Published: (2005-10-01)

Loop-check elimination for non-transitive distributed knowledge logic
by: Aida Pliuškevičienė
Published: (2008-12-01)

Using Spreadsheets for Teaching Principles of On-line Checking of Logic Circuits
by: Ilya Levin, et al.

Hoare logic and VDM : machine-checked soundness and completeness proofs
by: Kleymann, Thomas
Published: (1998)

Equivalence Checking for Null Convention Logic and Latency-Insensitive Circuits
by: Wijayasekara, Vidura
Published: (2016)

Model Checking Social Network Models
by: Raúl Pardo, et al.
Published: (2017-09-01)

Imprinting Perspective on the Sustainability of Commitments to Competing Institutional Logics of Social Enterprises
by: Tae Jun Bae, et al.
Published: (2021-02-01)

Model Checking for Rare-Event in Control Logical Petri Nets Based on Importance Sampling
by: Xu Tian, et al.
Published: (2020-01-01)

Utilizing Students as Behavior Change Agents: An Example Using Check-In/Check-Out
by: Dart, Evan Henry
Published: (2013)

Formalising cooperative multi-vehicle team behaviours using Kripke models, temporal logic and model checking
by: Jeyaraman, Suresh
Published: (2006)