Sciweavers

2014 search results - page 175 / 403
» Intelligent Transportation System (ITS)
Sort
View
AIIA
2003
Springer
15 years 11 months ago
A Complete Subsumption Algorithm
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...
Stefano Ferilli, Nicola Di Mauro, Teresa Maria Alt...
AAAI
1994
15 years 7 months ago
A Plan-Based Model for Response Generation in Collaborative Task-Oriented Dialogues
This paper presents a plan-based architecture for response generation in collaborative consultation dialogues, with emphasis on cases in which the system (consultant) and user (ex...
Jennifer Chu-Carroll, Sandra Carberry
IEEEVAST
2010
15 years 1 months ago
A continuous analysis process between desktop and collaborative visual analytics environments
Since its inception, the field of visual analytics has undergone tremendous growth in understanding how to create interactive visual tools to solve analytical problems. However, w...
Dong Hyun Jeong, Evan A. Suma, Thomas Butkiewicz, ...
AUSAI
2004
Springer
15 years 12 months ago
A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
Lavindra de Silva, Lin Padgham
ATAL
2001
Springer
15 years 11 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra