Sciweavers

10568 search results - page 86 / 2114
» Computer Intelligence and Formalization
Sort
View
102
Voted
ATAL
2005
Springer
15 years 8 months ago
Towards a formal framework for the search of a consensus between autonomous agents
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
Leila Amgoud, Sihem Belabbes, Henri Prade
101
Voted
ATAL
2007
Springer
15 years 6 months ago
Planning and defeasible reasoning
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
Diego R. García, Alejandro Javier Garc&iacu...
63
Voted
WIA
2007
Springer
15 years 8 months ago
Efficient Computation of Throughput Values of Context-Free Languages
Didier Caucal, Jurek Czyzowicz, Wojciech Fraczak, ...
98
Voted
IMTCI
2004
Springer
15 years 8 months ago
Toward Enhancing User Involvement via Empathy Channel in Human-Computer Interface Design
Masashi Okamoto, Yukiko I. Nakano, Toyoaki Nishida
64
Voted
ATAL
2009
Springer
15 years 6 months ago
Existence and computation of equilibria of first-price auctions with integral valuations and bids
Guillaume Escamocher, Peter Bro Miltersen, Rocio S...