LEADER 03823nam 22006015 450 001 996465583903316 005 20200705072317.0 010 $a3-540-46653-3 024 7 $a10.1007/3-540-53082-7 035 $a(CKB)1000000000233567 035 $a(SSID)ssj0000325063 035 $a(PQKBManifestationID)11262563 035 $a(PQKBTitleCode)TC0000325063 035 $a(PQKBWorkID)10319722 035 $a(PQKB)11554586 035 $a(DE-He213)978-3-540-46653-6 035 $a(PPN)155236393 035 $a(EXLCZ)991000000000233567 100 $a20121227d1990 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aNatural Language and Logic$b[electronic resource] $eInternational Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings /$fedited by Rudi Studer 205 $a1st ed. 1990. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1990. 215 $a1 online resource (IX, 255 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v459 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-53082-7 327 $aTreatment of anaphoric problems in referentially opaque contexts -- Knowledge processing in the LILOG project from the first to the second prototype -- Indexicality and representation -- Contextualization and de-contextualization -- Computational semantics: Steps towards ?intelligent? text processing -- Propositional and depictorial representations of spatial knowledge: The case of path-concepts -- Slot Grammar -- On the logical structure of comparatives -- Aspects of consistency of sophisticated knowledge representation languages -- Unification based machine translation -- Perspectives in multiple-valued logic -- Properties and actions -- Rationale and methods for abductive reasoning in natural-language interpretation. 330 $aThis volume contains the papers presented at the International Scientific Symposium "Natural Language and Logic" held in Hamburg in May 1989. The aim of the papers is to present and discuss latest developments in the application of logic-based meth- ods for natural language understanding. Logic-based methods have gained in importance in the field of computational linguistics as well as for representing various types of knowledge in natural language understanding systems. The volume gives an overview of recent results achieved within the LILOG project (LInguistic and LOgic methods for understanding German texts) - one of the largest research projects in the field of text understanding - as well as within related natural language understanding systems. 410 0$aLecture Notes in Artificial Intelligence ;$v459 606 $aNatural language processing (Computer science) 606 $aMathematical logic 606 $aArtificial intelligence 606 $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aNatural language processing (Computer science). 615 0$aMathematical logic. 615 0$aArtificial intelligence. 615 14$aNatural Language Processing (NLP). 615 24$aMathematical Logic and Foundations. 615 24$aArtificial Intelligence. 676 $a006.3/5 702 $aStuder$b Rudi$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Scientific Symposium 906 $aBOOK 912 $a996465583903316 996 $aNatural language and logic$9966452 997 $aUNISA