540 search results - page 34 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
100
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
Recognition of complex activities from surveillance video requires detection and temporal ordering of its constituent "atomic" events. It also requires the capacity to ro...
100
Voted
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
96
Voted
ICLP
1993
Springer
15 years 4 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
79
Voted
IEAAIE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
119
click to vote
CLOUDCOM
2010
Springer
14 years 9 months ago
2010
Springer
Cloud computing has become one of the key considerations both in academia and industry. Cheap, seemingly unlimited computing resources that can be allocated almost instantaneously...