Logics in AI European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
Description
The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.
Keywords
ComputersInformation TechnologyNatural Language ProcessingIntelligence (AI) & SemanticsProgrammingMathematicsLogicSoftware Development & EngineeringSystems Analysis & DesignHistory & Philosophy
1991Book
Author(s)European Workshop JELIA '90 (1990 Amsterdam, Netherlands)
PublisherSpringer Science & Business Media
ISBN9783540536864
LanguageEnglish
