4211 search results - page 38 / 843 » A formal approach to MASQ |
ECBS
2004
IEEE
14 years 2 months ago
2004
IEEE
FASE
2000
Springer
14 years 2 months ago
2000
Springer
AIIA
1995
Springer
14 years 2 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 ...
WFLP
2000
Springer
14 years 2 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
AMAST
1991
Springer
14 years 2 months ago
1991
Springer
