Sciweavers

1729 search results - page 149 / 346
» Simplifying the Development of Intelligent Agents
Sort
View
121
Voted
ATAL
2004
Springer
15 years 4 months ago
State-Space Reduction Techniques in Agent Verification
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 ...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
103
Voted
ATAL
1995
Springer
15 years 4 months ago
Foundations of a Logical Approach to Agent Programming
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...
Yves Lespérance, Hector J. Levesque, Fangzh...
94
Voted
HCI
2007
15 years 2 months ago
Context-Aware Information Agents for the Automotive Domain Using Bayesian Networks
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...
Markus Ablaßmeier, Tony Poitschke, Stefan Re...
106
Voted
AAAI
2004
15 years 2 months ago
CMRadar: A Personal Assistant Agent for Calendar Management
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...
Pragnesh Jay Modi, Manuela M. Veloso, Stephen F. S...
118
Voted
AAAI
1994
15 years 1 months ago
Auditory Stream Segregation in Auditory Scene Analysis with a Multi-Agent System
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...
Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawab...