73
Voted
AIIA
1995
Springer
15 years 4 months ago
1995
Springer
AIIA
1995
Springer
15 years 4 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
71
Voted
AIIA
1995
Springer
15 years 4 months ago
1995
Springer
AIIA
1995
Springer
15 years 4 months ago
1995
Springer
In this paper we present a comprehensive approach to conceptual structuring and intelligent navigation of text databases. Given any collection of texts, we first
109
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
73
Voted
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
79
Voted
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
116
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
118
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...
50
Voted
AE
1995
Springer
15 years 4 months ago
1995
Springer