Sciweavers

CLIMA
2006
13 years 6 months ago
Belief Updating by Communication Channel
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
CLIMA
2006
13 years 6 months ago
Using Jason to Implement a Team of Gold Miners
This paper describes a team of agents that took part in the second CLIMA Contest. The team was implemented in a logic-based language for BDI agents and was run in a Java-based inte...
Rafael H. Bordini, Jomi Fred Hübner, Daniel M...
CLIMA
2006
13 years 6 months ago
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heyman...
CLIMA
2006
13 years 6 months ago
An Argumentation-Based Negotiation for Distributed Extended Logic Programs
Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules...
Iara Carnevale de Almeida, José Júli...
CLIMA
2006
13 years 6 months ago
A New Logical Semantics for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...
CLIMA
2006
13 years 6 months ago
Adding Evolving Abilities to a Multi-Agent System
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
João Leite, Luís Soares
CLIMA
2006
13 years 6 months ago
Acts of Commanding and Changing Obligations
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
Tomoyuki Yamada
CLIMA
2006
13 years 6 months ago
Answer Set Programming for Representing and Reasoning About Virtual Institutions
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
Owen Cliffe, Marina De Vos, Julian A. Padget
CLIMA
2006
13 years 6 months ago
Multi-Agent FLUX for the Gold Mining Domain (System Description)
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
Stephan Schiffel, Michael Thielscher