15754 search results - page 610 / 3151 » Programs are Knowledge Bases |
199
click to vote
ICLP
1998
Springer
15 years 11 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
192
click to vote
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Stand-alone threading libraries lack sophisticated memory management techniques. In this paper, we present a methodology that allows threading libraries that implement non-preempti...
230
click to vote
JAIR
2012
13 years 9 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
234
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
A common problem in most active contour methods is that the recursive searching scheme can only return a local optimal solution. Furthermore, the internal energy of the snake is n...
167
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...