10568 search results - page 404 / 2114 » Computer Intelligence and Formalization |
138
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
134
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
144
click to vote
FAABS
2000
Springer
15 years 8 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
163
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
166
click to vote
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...