1729 search results - page 149 / 346 » Simplifying the Development of Intelligent Agents |
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
ATAL
1995
Springer
14 years 2 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
HCI
2007
14 years 6 days ago
2007
To reduce the workload of the driver due to the increasing amount of information and functions, intelligent agents represent a promising possibility to filter the immense data sets...
AAAI
2004
14 years 5 days ago
2004
Abstract. Personal assistant agents have long promised to automate routine everyday tasks in order to reduce the cognitive load on humans. One such routine task is the management o...
AAAI
1994
14 years 3 days ago
1994
We propose a novel approach to auditory stream segregation which extracts individual sounds (auditory stream) from a mixture of sounds in auditory scene analysis. The HBSS (Harmon...