Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008

Abstract

LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop focusing on dynamic aspects of the formal treatment of natural languages. This workshop is organized as a satellite of the Japanese Society for Artificial Intelligence Conference. The fifth LENLS was held at Asahikawa Tokiwa Citizens Hall, Asahikawa, Japan, June 9-10 in 2008. The special topic of the 2008 conference was the interactive turn in formal pragmatics, which takes a formal approach to the interactive quality of pragmatic meanings via various formal approaches. However, the focus of this workshop also included more general topics such as the following: - Formal Semantics of Natural Language (especially dynamic approaches) - Dynamic Syntax and Labeled Deductive Systems of Natural Language - Dynamic (Epistemic) Logics and Natural Language Semantics/Pragmatics - Coalgebraic Logics and Natural Language Semantics/Pragmatics - Category-Theoretic Semantics of Natural Language - Type-Theoretic Semantics of Natural Language - Substructural Logics of Natural Language - Extensions of Lambek Calculi including Combinatory Category Grammars and Type-Logical Grammars - Other Mathematical Theories of Information Structures of Natural Language Discourse - Natural Language Processing based on Dynamic Semantics, Dynamic Syntax, or Formal Pragmatics.