162
Voted
CL
2000
Springer
16 years 3 days ago
2000
Springer
217
Voted
CL
2000
Springer
16 years 3 days ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
187
click to vote
CL
2000
Springer
16 years 3 days ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
165
Voted
CL
2000
Springer
16 years 3 days ago
2000
Springer
The control in multi-strategy proof planning goes beyond the control in other automated theorem proving approaches: not only the selection of the inference and the facts for the n...
209
click to vote
CL
2000
Springer
16 years 3 days ago
2000
Springer
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem s...
215
Voted
CL
2000
Springer
16 years 3 days ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
200
Voted
CL
2000
Springer
16 years 3 days ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...