754 search results - page 83 / 151 » An Ordered Logic Program Solver |
87
Voted
RR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
119
click to vote
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...
95
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
121
click to vote
CVPR
2006
IEEE
16 years 2 months ago
2006
IEEE
In this paper we demonstrate how Interval Analysis and Constraint Logic Programming can be used to obtain an accurate geometric model of a scene that rigorously takes into account...
98
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...