Proving self-utterances
From MaRDI portal
Publication:1099965
DOI10.1007/BF00243796zbMath0639.68095MaRDI QIDQ1099965
Publication date: 1987
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
first-order logic; knowledge representation; natural language processing; indexicals; automatic theorem-proving; self-utterances; situated logic
DB lookup for MSC labels failed