8766 search results - page 2 / 1754 » Functional logic programming |
RR
2009
Springer
13 years 10 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
ICLP
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
PPDP
2000
Springer
13 years 9 months ago
2000
Springer
PADL
1999
Springer
13 years 9 months ago
1999
Springer
LISP
2008
13 years 5 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...