Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction (Q4286534)
From MaRDI portal
scientific article; zbMATH DE number 541156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction |
scientific article; zbMATH DE number 541156 |
Statements
Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction (English)
0 references
27 March 1994
0 references
automated reasoning
0 references
cost-based abduction
0 references
constraint satisfaction
0 references
abductive reasoning
0 references
explanation
0 references
