1131 search results - page 136 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
118
click to vote
EUSFLAT
2009
14 years 10 months ago
2009
In this paper, line search based on Sequential Quadratic Programming is implemented in order to find a solution to Fuzzy Relation Equations. Sequential Quadratic Programming is a g...
FOAL
2007
ACM
15 years 4 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
90
Voted
ICFP
2003
ACM
16 years 17 days ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
87
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
100
click to vote
AMAI
2006
Springer
15 years 20 days ago
2006
Springer
In this paper we study multi issue alternating-offers bargaining in a perfect information finite horizon setting, we determine the pertinent subgame perfect equilibrium, and we pro...