58 search results - page 10 / 12 » Intensional Sets in CLP |
108
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
120
Voted
DEXA
2000
Springer
15 years 6 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
120
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
ER
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
129
Voted
EPIA
1993
Springer
15 years 5 months ago
1993
Springer
A uniform framework is presented to describe the most typical strategies that are used to compute answers to Deductive Databases. The framework is based on the definition of a ge...