8766 search results - page 59 / 1754 » Functional logic programming |
AAAI
2006
13 years 10 months ago
2006
Several forms of reasoning in AI
ENTCS
2002
13 years 8 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
EUSFLAT
2009
13 years 6 months ago
2009
VRST
1999
ACM
14 years 1 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
ENTCS
2007
13 years 9 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...