Reasoning about resource-bounded multi-agent systems

QR Code

Reasoning about resource-bounded multi-agent systems

The thesis presents logic-based formalisms for modelling and reasoning about resource-bounded multi-agent systems. In the field of multi-agent system, it is well-known that temporal logics such as CTL and ATL are powerful tools for reasoning about multi-agent systems. However, there is no natural wa...

Full description

Bibliographic Details
Main Author:	Nguyen, Nguyen
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2011
Subjects:	multi-agent systems intelligent agents ctl atl logics
Online Access:	https://eprints.nottingham.ac.uk/11851/

Similar Items

Models of multi-agent decision making
by: Zappala, Julian
Published: (2014)

Onto-ontology methodology for design of ontology-based multi-agent systems
by: Hadzic, Maja, et al.
Published: (2008)

Use and modeling of multi-agent systems in medicine
by: Hadzic, Maja, et al.
Published: (2009)

Designing a multi-agent approach system for distributed course timetabling
by: Obit, Joe Henry, et al.
Published: (2011)

Building a fuzzy trust network in unsupervised multi-agent environments
by: Chang, Elizabeth, et al.
Published: (2005)

Review and Perspectives on Intelligent Multi-Agent Systems’ Support for Group Learning
by: Soliman, M., et al.
Published: (2010)

Rule-based and Resource-bounded: A New Look at Epistemic Logic
by: Jago, Mark
Published: (2006)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

Using coalgebra and coinduction to define ontology-based multi-agent systems
by: Hadzic, Maja, et al.
Published: (2008)

TICSA approach: five important aspects of multi-agent systems
by: Hadzic, Maja, et al.
Published: (2008)

Holonic multi-agent system complemented by human disease ontology supporting bio-medical community
by: Hadzic, Maja, et al.
Published: (2005)

A survey of pedagogical functions of intelligent agents in virtual learning environments
by: Soliman, Mohamed, et al.
Published: (2011)

Completing the total wellbeing puzzle using a multi-agent system
by: Hadzic, Maja, et al.
Published: (2009)

Implementing intelligent pedagogical agents in virtual worlds: Tutoring natural science experiments in OpenWonderland
by: Soliman, M., et al.
Published: (2013)

Ontology-based multi-agent systems support human disease study and control
by: Hadzic, Maja, et al.
Published: (2005)

Evaluation of intelligent agent frameworks for human learning
by: Soliman, M., et al.
Published: (2011)

Flexible autonomy and context in human-agent collectives
by: Dybalova, Daniela
Published: (2017)

DYNASTAT: A Methodology for Dynamic and Static Modeling of Multi-agent Systems
by: Dillon, Darshan, et al.
Published: (2010)

Simulating Interactive Learning Scenarios with Intelligent Pedagogical Agents in a Virtual World through BDI-Based Agents
by: Soliman, M., et al.
Published: (2013)

Robust execution of belief-desire-intention-based agent programs
by: Yao, Yuan
Published: (2017)

State of the art in negotiation ontologies for multi-agent systems
by: Dong, Hai, et al.
Published: (2008)

Multi-agent stochastic simulation of occupants in buildings
by: Chapman, Jacob
Published: (2017)

An agent-based data mining system for ontology evolution
by: Hadzic, Maja, et al.
Published: (2009)

Evaluation of intelligent agent frameworks for human learning in virtual worlds
by: Soliman, M., et al.
Published: (2011)

Breaking into BIM: Performing static and dynamic security analysis with the aid of BIM
by: Porter, Stuart, et al.
Published: (2014)

A multi-agent framework for capability-based reconfiguration of industrial assembly systems
by: Antzoulatos, Nikolas, et al.
Published: (2016)

Development of Intelligent Distributed Temperature Monitoring System
by: Ahmed Ali, Abduasslam
Published: (2001)

Developing an agent-based framework for intelligent geocoding
by: Hutchinson, Matthew John
Published: (2010)

Talking with conversational agents in collaborative action
by: Porcheron, Martin, et al.
Published: (2017)

State of the art of a multi-agent based recommender system for active software engineering ontology
by: Pakdeetrakulwong, Udsanee, et al.
Published: (2013)

Web semantics for intelligent and dynamic information retrieval illustrated within the mental health domain
by: Hadzic, Maja, et al.
Published: (2008)

Role of Multi-Agents System in Creation of Collaborative Environments within Mental Health Domain
by: Hadzic, Maja, et al.
Published: (2010)

Real-time guarantees in high-level agent programming languages
by: Vikhorev, Konstantin
Published: (2011)

Use of ontology-based multi-agent systems in the biomedical domain
by: Hadzic, Maja, et al.
Published: (2005)

Applying agent technology to facilitate knowledge sharing among bioinformatics communities of practice
by: Abdullah, Rusli, et al.
Published: (2008)

Towards self-adaptable intelligent assembly systems
by: Antzoulatos, Nikolas
Published: (2017)

A software engineering approach for agent-based modelling and simulation of public goods games
by: Vu, Tuong Manh
Published: (2017)

Multi-agent stochastic simulation of occupants for building simulation
by: Chapman, Jacob, et al.
Published: (2017)

Akhlak-Based Intelligent Multi-Agent Architecture
by: Ahmad Nazri, Azree Shahrel
Published: (2006)