8766 search results - page 439 / 1754 » Functional logic programming |
113
Voted
JAPLL
2007
15 years 3 months ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
288
click to vote
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
226
click to vote
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
130
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
133
click to vote
ECAI
1992
Springer
15 years 8 months ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...