Proving self-utterances (Q1099965)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving self-utterances |
scientific article |
Statements
Proving self-utterances (English)
0 references
1987
0 references
knowledge representation
0 references
situated logic
0 references
natural language processing
0 references
first-order logic
0 references
indexicals
0 references
self-utterances
0 references
automatic theorem-proving
0 references