Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings

zbMath0744.68028MaRDI QIDQ1188904

No author found.

Publication date: 17 September 1992

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ProceedingsSymposiumLogiclogiccomputational linguisticsformal reasoningmodel-theoretic semanticssemantic interpretationnatural language understandingNatural languageHamburg (FRG)LILOGtheoretical linguistics

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic of natural languages (03B65) Knowledge representation (68T30) Natural language processing (68T50) Linguistics (91F20)

Related Items (1)

Linear resolution for consequence finding

This page was built for publication: Natural language and logic. International scientific symposium, Hamburg, FRG, 9-11 May 1989. Proceedings