3725 search results - page 23 / 745 » DLP System Description |
CLIMA
2006
13 years 11 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
CADE
2002
Springer
14 years 10 months ago
2002
Springer
FLOPS
2010
Springer
14 years 4 months ago
2010
Springer
