1144 search results - page 109 / 229 » Logic programming for combinatorial problems |
122
Voted
ICFP
2005
ACM
15 years 8 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
125
Voted
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
113
Voted
PLILP
1998
Springer
15 years 6 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
255
Voted
COSIT
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
109
Voted
ACIIDS
2010
IEEE
15 years 7 months ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...