4513 search results - page 175 / 903 » Logic programming with satisfiability |
116
Voted
ERSHOV
2001
Springer
15 years 8 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
123
Voted
EPIA
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
110
click to vote
APIN
2002
15 years 3 months ago
2002
Abstract. In this paper, we describe how to realise alarm-correlation in cellular phone networks using extended logic programming which provides integrity constraints, implicit and...
80
Voted
IJFCS
2000
15 years 3 months ago
2000
This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can ...
145
click to vote
AAAI
2006
15 years 5 months ago
2006
Reasoning with both probabilistic and deterministic dependencies is important for many real-world problems, and in particular for the emerging field of statistical relational lear...