193 search results - page 20 / 39 » On the Epistemological foundations of Logic Programming and ... |
124
click to vote
LANMR
2007
15 years 3 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
126
click to vote
CBSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
168
click to vote
FCA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in our understanding of mathem...
107
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
PLILP
1994
Springer
15 years 6 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...