Complexity in mechanized hypothesis formation (Q1256867)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Complexity in mechanized hypothesis formation |
scientific article |
Statements
Complexity in mechanized hypothesis formation (English)
0 references
1979
0 references
Artifical Intelligence
0 references
Mechanized Hypotheses Formation
0 references
Non-Classical Logic
0 references
Many-Valued Logic
0 references
Computational Complexity
0 references
Predicate Calculus
0 references
Generalized Quantifiers
0 references
Quantifiers with Statistical Interpretation
0 references
Np- Complete
0 references
Guha
0 references