10568 search results - page 456 / 2114 » Computer Intelligence and Formalization |
140
click to vote
WSC
1997
15 years 6 months ago
1997
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...
136
Voted
AAAI
1994
15 years 6 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
111
click to vote
AIPS
1994
15 years 6 months ago
1994
One big obstacle to understanding the nature of hierarchical task network (htn) planning has been the lack of a clear theoretical framework. In particular, no one has yet presente...
129
click to vote
AAAI
1990
15 years 6 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
151
click to vote
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...