143 search results - page 25 / 29 » Secure Intelligent Agents Based on Formal Description Techni... |
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
KI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
AVI
2008
13 years 10 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
AAAI
2004
13 years 9 months ago
2004
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting ar...