1989 search results - page 120 / 398 » Set functions for functional logic programming |
137
click to vote
AAAI
2004
15 years 4 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
142
Voted
PADL
2001
Springer
15 years 7 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
273
Voted
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
125
click to vote
TLCA
2005
Springer
15 years 8 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
112
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...