No label defined (Q4296747)
From MaRDI portal
scientific article; zbMATH DE number 592368
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 592368 |
Statements
21 June 1994
0 references
Logic
0 references
Artificial intelligence
0 references
Logic programming
0 references
Deduction methodologies
0 references
automated reasoning
0 references
mathematical induction
0 references
higher-order logic
0 references
clause language paradigm
0 references
unification
0 references
admissible specifications
0 references
termination of algorithms
0 references
self-reference
0 references
nonmonotonicity
0 references
reification
0 references
intentionality
0 references
meta-language
0 references
reflection principle
0 references
knowledge
0 references
meta-logic programming
0 references
universality of classical logic
0 references
logical system
0 references
temporal logic
0 references
priority logic
0 references
labelled deduction system
0 references
