Sciweavers

Share
55 search results - page 1 / 11
» Model Checking for Multiagent Systems: the Mable Language an...
Sort
View
IJAIT
2006
136views more  IJAIT 2006»
9 years 7 months ago
Model Checking for Multiagent Systems: the Mable Language and its Applications
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
Michael Wooldridge, Marc-Philippe Huget, Michael F...
ICAT
2003
IEEE
10 years 13 days ago
Agent-based Model for Intelligent Shopping Assistant and its Application
With the rapid expansion of the Internet, the implementation of agent technology in electronic commerce (e-commerce) becomes very popular, which provides a promising field for the...
Xu-Bing Pan, Zhi Geng, Yang-Hong Wei
ATAL
2000
Springer
9 years 11 months ago
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
Abstract. In this paper, we describe the Cognitive Agents Speciļ¬cation Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
Steven Shapiro, Yves Lespérance
ATAL
2010
Springer
9 years 8 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
ATAL
2008
Springer
9 years 9 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
books