1588 search results - page 55 / 318 » The Intelligence Within |
AUSAI
1998
Springer
14 years 3 months ago
1998
Springer
We present the rst implementation of a theorem prover which runs on a smart card. The prover is written in Java and implements a dual tableau calculus.1 Due to the limited resource...
SEAAI
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. This paper introduces conceptual designing within an F-B-S framework. It then goes on to describe a number of models of designing before introducing the notions of situat...
CIA
1997
Springer
14 years 3 months ago
1997
Springer
This paper critically analyse the use of active databases as an enabling technology for result sharing as defined in the DAI literature. In particular, we demostrate how ECA (Even...
ICTAI
1994
IEEE
14 years 3 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
ICTAI
1994
IEEE
14 years 3 months ago
1994
IEEE
In order to perform adequately in real-world situations, a planning system must be able to nd the \best" solution while still supporting anytime behavior. We have developed ...