Review: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers - Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévi, and Enric Vallduví (Eds.), Studies in Logic, Language and Information series of CSLI Publications and FoLLI, Stanford, 1998, xxxi + 376 pages, ISBN 1-57586-098-8.
Jan van EijckPublished in: Sci. Comput. Program. (2000)
Keyphrases
- selected papers
- language learning
- invited talk
- natural language
- proof theory
- predicate calculus
- annual conference
- formal language
- computer science
- website
- international workshop
- classical logic
- conditional logic
- programming language
- information extraction
- intuitionistic logic
- modal logic
- operational semantics
- predicate logic