1598 search results - page 72 / 320 » A Unified Computation Model for Functional and Logic Program... |
146
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
156
click to vote
ECP
1997
Springer
15 years 8 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
156
Voted
JUCS
2010
14 years 11 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
149
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
131
Voted
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...