Sciweavers

590 search results - page 11 / 118
» Knowledge And The Action Description Language A
Sort
View
DLOG
2008
14 years 10 months ago
Actions over a Constructive Semantics for ALC
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
Loris Bozzato, Mauro Ferrari, Paola Villa
CORR
2010
Springer
158views Education» more  CORR 2010»
14 years 9 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
E4MAS
2004
Springer
15 years 3 months ago
ELMS: An Environment Description Language for Multi-agent Simulation
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
83
Voted
ATAL
2005
Springer
15 years 3 months ago
Discovering strategic multi-agent behavior in a robotic soccer domain
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
Andraz Bezek
AAAI
2010
14 years 11 months ago
A General Game Description Language for Incomplete Information Games
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
Michael Thielscher