scientific article; zbMATH DE number 1794699
From MaRDI portal
Publication:4552504
zbMath1004.03026MaRDI QIDQ4552504
Rodger Kibble, Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay
Publication date: 25 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
labelled deduction systemsnoun phrase representationepsilon-calculusmodal tree logicon-line parsingutterance representation model
Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Natural language processing (68T50)
This page was built for publication: