Inference flexibility in Horn clause knowledge bases and the simplex method (Q1319393)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Inference flexibility in Horn clause knowledge bases and the simplex method |
scientific article; zbMATH DE number 549835
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inference flexibility in Horn clause knowledge bases and the simplex method |
scientific article; zbMATH DE number 549835 |
Statements
Inference flexibility in Horn clause knowledge bases and the simplex method (English)
0 references
12 April 1994
0 references
inference
0 references
Horn clause
0 references
linear programming
0 references
forward chaining
0 references
