Sciweavers

1583 search results - page 144 / 317
» Using Multi-context Systems to Engineer Executable Agents
Sort
View
AAAI
1998
13 years 10 months ago
Control Strategies in HTN Planning: Theory Versus Practice
AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditiona...
Dana S. Nau, Stephen J. J. Smith, Kutluhan Erol
FMCAD
1998
Springer
14 years 1 months ago
Symbolic Simulation: An ACL2 Approach
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
J. Strother Moore
AAAI
2004
13 years 10 months ago
Ergonomics Analysis for Vehicle Assembly Using Artificial Intelligence
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
Nestor Rychtyckyj
AGENTS
1999
Springer
14 years 1 months ago
Personal Navigating Agents
The World Wide Web provides a huge distributed web database. However, information in the web database is free formatted and unorganized. Traditional keyword-based retrieval approa...
H. L. Wang, W. K. Shih, C. N. Hsu, Y. S. Chen, Y. ...
OTM
2005
Springer
14 years 2 months ago
An Hybrid Intermediation Architectural Approach for Integrating Cross-Organizational Services
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
Giannis Verginadis, Panagiotis Gouvas, Gregoris Me...