Sciweavers

10568 search results - page 86 / 2114
» Computer Intelligence and Formalization
Sort
View
ATAL
2005
Springer
15 years 3 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
ATAL
2007
Springer
15 years 1 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...
WIA
2007
Springer
15 years 3 months ago
Efficient Computation of Throughput Values of Context-Free Languages
Didier Caucal, Jurek Czyzowicz, Wojciech Fraczak, ...