1097 search results - page 112 / 220 » Revision Programming = Logic Programming Integrity Constra... |
119
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
The flip-chip package provides a high chip-density solution to the demand for more I/O pads of VLSI designs. In this paper, we present the first routing algorithm in the literatur...
131
Voted
AAAI
1994
15 years 4 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
132
click to vote
TCS
1998
15 years 3 months ago
1998
We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...
154
Voted
IDT
2010
15 years 1 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
147
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...