Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
DALT
2008
Springer
11 years 6 months ago
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
Jan Broersen
DALT
2008
Springer
11 years 7 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
DALT
2008
Springer
11 years 7 months ago
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
Abstract. We present a novel knowledge-based approach for automated electronic barter trade systems. An e-barter is basically a closed e-marketplace, where agents may exchange (buy...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
DALT
2008
Springer
11 years 7 months ago
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
Mehdi Dastani, Koen V. Hindriks, Peter Nová...
DALT
2008
Springer
11 years 7 months ago
Leveraging New Plans in AgentSpeak(PL)
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
Felipe Rech Meneguzzi, Michael Luck
DALT
2008
Springer
11 years 7 months ago
Inductive Negotiation in Answer Set Programming
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
Chiaki Sakama
DALT
2008
Springer
11 years 7 months ago
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
Emmanuel M. Tadjouddine, Frank Guerin, Wamberto We...
DALT
2008
Springer
11 years 7 months ago
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Abstract. Although various ideas for integrating Semantic Web and Agent Programming techniques have appeared in the literature, as yet no practical programming approach has managed...
Thomas Klapiscak, Rafael H. Bordini
DALT
2008
Springer
11 years 7 months ago
Mental State Abduction of BDI-Based Agents
In this paper we present mental state abduction, a technique for inferring the mental states (beliefs, goals) of BDI-based agents from observations of their actions. Abduced mental...
Michal P. Sindlar, Mehdi Dastani, Frank Dignum, Jo...
DALT
2008
Springer
11 years 7 months ago
Strategic Agent Communication: An Argumentation-Driven Approach
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Mey...
books