1776 search results - page 192 / 356 » Using a Logic Programming Language with Persistence and Cont... |
136
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
123
Voted
PEPM
2009
ACM
16 years 13 days 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...
125
Voted
CL
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
192
Voted
TLDI
2010
ACM
16 years 13 days ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
129
click to vote
PEPM
2004
ACM
15 years 9 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...