This book covers theoretical work, applications, and techniques for computational models of information, language, and reasoning. Computational and technological developments that incorporate natural language and reasoning methods are proliferating. Adequate coverage of related works and advanced applications encounter difficult problems related to the phenomena of partiality, underspecification, perspectives of agents, and context dependency. These phenomena are signature features of information in nature, natural languages, and reasoning.

The goal of this collection of works is to promote advanced, intelligent approaches of Mathematical Logic and its applications to systems of proofs and verification, Mathematical and Computational Linguistics, and Natural Language Processing (NLP).

The intended readers of this book are researchers in Mathematical Logic and Computer Science, as well as Mathematical and Computational Linguistics, to advance work on theories and applications to Artificial Intelligence (AI), Natural Language Processing (NLP), and related subjects.