1143 search results - page 190 / 229 » Prospective Logic Agents |
156
click to vote
JOLLI
2008
15 years 6 months ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
159
click to vote
KER
2006
15 years 6 months ago
2006
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
190
click to vote
WETICE
2008
IEEE
16 years 19 days ago
2008
IEEE
This paper describes WOLF, a development environment for WADE-based applications. WADE is a software platform, based on JADE, a popular Open Source framework, for the development ...
142
click to vote
FOSSACS
2007
Springer
16 years 13 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
155
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...