193 search results - page 22 / 39 » On the Epistemological foundations of Logic Programming and ... |
182
click to vote
ICAI
2010
14 years 12 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
AGP
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
154
click to vote
JCST
2010
14 years 8 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
162
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
111
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...