1131 search results - page 148 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
118
Voted
CLIMA
2010
15 years 2 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
115
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
124
click to vote
IDT
2010
14 years 11 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
103
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
104
Voted
CATA
2003
15 years 1 months ago
2003
Many current general purpose processors use extensions to the instruction set architecture to enhance the performance of digital image processing and multimedia applications. In t...