Search Sciweavers | Sciweavers

10568 search results - page 86 / 2114

» Computer Intelligence and Formalization

137

click to vote

ATAL
2005
Springer

125views Intelligent Agents» more ATAL 2005»

Towards a formal framework for the search of a consensus between autonomous agents

15 years 11 months ago

Download www.cs.huji.ac.il

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

claim paper

Read More »

145

click to vote

ATAL
2007
Springer

113views Intelligent Agents» more ATAL 2007»

Planning and defeasible reasoning

15 years 10 months ago

Download cs.uns.edu.ar

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...

claim paper

Read More »

click to vote

WIA
2007
Springer

83views Artificial Intelligence» more WIA 2007»

Efficient Computation of Throughput Values of Context-Free Languages

16 years 8 days ago