|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465583903316 |
|
|
Titolo |
Natural Language and Logic [[electronic resource] ] : International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings / / edited by Rudi Studer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1990.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 255 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 459 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Natural language processing (Computer science) |
Mathematical logic |
Artificial intelligence |
Natural Language Processing (NLP) |
Mathematical Logic and Foundations |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Treatment 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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This 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 |
|
|
|
|