6554 search results - page 373 / 1311 » Constraint Logic Programming |
161
click to vote
JIIS
2006
15 years 6 months ago
2006
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the...
169
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
162
click to vote
DLOG
1996
15 years 8 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
163
click to vote
CP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We study the global cardinality constraint (gcc) and pro
206
click to vote
JAPLL
2007
15 years 6 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...