1097 search results - page 47 / 220 » Revision Programming = Logic Programming Integrity Constra... |
128
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
117
Voted
APLAS
2000
ACM
15 years 7 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
102
Voted
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
112
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
140
Voted
DLOG
2008
15 years 5 months ago
2008
Answering queries posed over knowledge bases is a central problem in knowledge representation and database theory. In databases, query containment is one of the important query op...