ECAI
1994
Springer
13 years 12 months ago
1994
Springer
This paper introduces a simple yete ective method for using causal domain knowledge for learning to control dynamic systems. Elementary qualitative causal dependencies of the domai...
ECAI
1994
Springer
13 years 12 months ago
1994
Springer
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
ECAI
1994
Springer
13 years 12 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...
ECAI
1994
Springer
13 years 12 months ago
1994
Springer
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...
ECAI
1994
Springer
13 years 12 months ago
1994
Springer
EPIA
1993
Springer
13 years 12 months ago
1993
Springer
EPIA
1993
Springer
13 years 12 months ago
1993
Springer
We present some recent results from our research on methods for finding the minimal solutions to linear Diophantine equations over the naturals. We give an overview of a family of...
EPIA
1993
Springer
13 years 12 months ago
1993
Springer
A uniform framework is presented to describe the most typical strategies that are used to compute answers to Deductive Databases. The framework is based on the definition of a ge...
EPIA
1993
Springer
13 years 12 months ago
1993
Springer
Abstract. This work presents a constraint solver for the domain of rational trees. Since the problem is NP-hard the strategy used by the solver is to reduce as much as possible, in...
APN
1993
Springer
13 years 12 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...