Verifying Context-Dependent Reduction Relations for Knowledge Specifications (Q4932615)
From MaRDI portal
scientific article; zbMATH DE number 5796582
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying Context-Dependent Reduction Relations for Knowledge Specifications |
scientific article; zbMATH DE number 5796582 |
Statements
Verifying Context-Dependent Reduction Relations for Knowledge Specifications (English)
0 references
6 October 2010
0 references
reduction relations
0 references
automated mapping of specifications
0 references
cognitive science
0 references
