6554 search results - page 153 / 1311 » Constraint Logic Programming |
188
click to vote
APIN
2002
15 years 6 months ago
2002
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
145
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
In reasoning tasks involving logical formulas, high expressiveness is desirable, although it often leads to high computational complexity. We study a simple measure of expressiven...
175
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
177
click to vote
EATCS
2000
15 years 6 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
166
click to vote
ECSQARU
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...