1131 search results - page 136 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
136
Voted
EUSFLAT
2009
15 years 11 days 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...
108
Voted
FOAL
2007
ACM
15 years 6 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...
106
Voted
ICFP
2003
ACM
16 years 2 months 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...
106
Voted
ATAL
2008
Springer
15 years 4 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...
118
Voted
AMAI
2006
Springer
15 years 2 months 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...