Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics, LACL 2012, held in Nantes, France, in July 2012. The 15 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections on logical foundation of syntactic formalisms, logics for semantics of lexical items, sentences, discourse and dialog, applications of these models to natural language processing, type theoretic, proof theoretic, model theoretic and other logically based formal methods for describing natural language syntax, semantics and pragmatics, as well as the implementation of natural language processing software relying on such methods.

"Phonetic Search Methods for Large Databases" focuses on Keyword Spotting (KWS) within large speech databases. The brief will begin by outlining the challenges associated with Keyword Spotting within large speech databases using dynamic keyword vocabularies. It will then continue by highlighting the various market segments in need of KWS solutions, as well as, the specific requirements of each market segment. The work also includes a detailed description of the complexity of the task and the different methods that are used, including the advantages and disadvantages of each method and an in-depth comparison. The main focus will be on the Phonetic Search method and its efficient implementation. This will include a literature review of the various methods used for the efficient implementation of Phonetic Search Keyword Spotting, with an emphasis on the authors' own research which entails a comparative analysis of the Phonetic Search method which includes algorithmic details. This brief is useful for researchers and developers in academia and industry from the fields of speech processing and speech recognition, specifically Keyword Spotting.

The contributions to this volume are drawn from the interdisciplinary research c- ried out within the Sonderforschungsbereich (SFB 378), a special long-term funding scheme of the German National Science Foundation (DFG). Sonderforschungsbe- ich 378 was situated at Saarland University, with colleagues from arti?cial intel- gence, computational linguistics, computer science, philosophy, psychology - and in its ?nal phases - cognitive neuroscience and psycholinguistics. The funding covered a period of 12 years, which was split into four phases of 3 years each, ending in December of 2007. Every sub-period culminated in an intensive reviewing process, comprising written reports as well as on-site p- sentations and demonstrations to the external reviewers. We are most grateful to these reviewers for their extensive support and critical feedback; they contributed 1 their time and labor freely to the DFG, the independent and self-organized ins- tution of German scientists. The ?nal evaluation of the DFG reviewers judged the overall performance and the actual work with the highest possible mark, i.e. "excellent".

In opposition to the classical set theory of natural language, Novak's highly original monograph offers a theory based on alternative and fuzzy sets. This new approach is firmly grounded in semantics and pragmatics, and accounts for the vagueness inherent in natural language-filling a large gap in our current knowledge. The theory will foster fruitful debate among researchers in linguistics and artificial intellegence.

This two-volume set, consisting of LNCS 7181 and LNCS 7182, constitutes the thoroughly refereed proceedings of the 13th International Conference on Computer Linguistics and Intelligent Processing, held in New Delhi, India, in March 2012. The total of 92 full papers were carefully reviewed and selected for inclusion in the proceedings. The contents have been ordered according to the following topical sections: NLP system architecture; lexical resources; morphology and syntax; word sense disambiguation and named entity recognition; semantics and discourse; sentiment analysis, opinion mining, and emotions; natural language generation; machine translation and multilingualism; text categorization and clustering; information extraction and text mining; information retrieval and question answering; document summarization; and applications.

"Corpora and Language Education" critically examines key concepts and issues in corpus linguistics, with a particular focus on the expanding interdisciplinary nature of the field and the role that written and spoken corpora now play in the fields of professional communication, teacher education, translation studies, lexicography, literature, critical discourse analysis, and forensic linguistics. The book also presents a series of corpus-based case studies illustrating central themes and best practices in the field.

In knowledge-based natural language generation, issues of formal knowledge representation meet with the linguistic problems of choosing the most appropriate verbalization in a particular situation of utterance. Lexical Semantics and Knowledge Representation in Multilingual Text Generation presents a new approach to systematically linking the realms of lexical semantics and knowledge represented in a description logic. For language generation from such abstract representations, lexicalization is taken as the central step: when choosing words that cover the various parts of the content representation, the principal decisions on conveying the intended meaning are made. A preference mechanism is used to construct the utterance that is best tailored to parameters representing the context. Lexical Semantics and Knowledge Representation in Multilingual Text Generation develops the means for systematically deriving a set of paraphrases from the same underlying representation with the emphasis on events and verb meaning. Furthermore, the same mapping mechanism is used to achieve multilingual generation: English and German output are produced in parallel, on the basis of an adequate division between language-neutral and language-specific (lexical and grammatical) knowledge. Lexical Semantics and Knowledge Representation in Multilingual Text Generation provides detailed insights into designing the representations and organizing the generation process. Readers with a background in artificial intelligence, cognitive science, knowledge representation, linguistics, or natural language processing will find a model of language production that can be adapted to a variety of purposes.

Modal Logic is a branch of logic with applications in many related disciplines such as computer science, philosophy, linguistics and artificial intelligence. Over the last twenty years, in all of these neighbouring fields, modal systems have been developed that we call multi-dimensional. (Our definition of multi-dimensionality in modal logic is a technical one: we call a modal formalism multi-dimensional if, in its intended semantics, the universe of a model consists of states that are tuples over some more basic set.) This book treats such multi-dimensional modal logics in a uniform way, linking their mathematical theory to the research tradition in algebraic logic. We will define and discuss a number of systems in detail, focusing on such aspects as expressiveness, definability, axiomatics, decidability and interpolation. Although the book will be mathematical in spirit, we take care to give motivations from the disciplines mentioned earlier on.

O. PRELIMINARY REMARKS Initial drafts of the papers in this collection were presented in a con ference entitled 'Views on Phrase Structure', held at the University of Florida, Gainesville, in March, 1989. Eleven of the twenty-three partici pants in the conference were able to contribute to this volume. The purpose of the conference was to explore theories of phrase structure in their relation to other subsystems of grammar and/or systems of nonlinguistic knowledge. Some of the grammatical subsystems which the authors consider are theta-theory, movement, Case, and binding; a number of papers address how the conceptual system and/or aspects of language use may interact. Unifying the various approaches and perspectives is an attempt to furnish hypotheses concerning prin ciples of phrase structure with some sort of independent justification. 1. PHRASE STRUCTURE THEORY: A BRIEF HISTORY A basic outline for a theory of phrase structure theory is accepted by all of the authors here; it is known as 'X-bar theory'. The concepts of X-bar theory are expressed in some form by a number of pre-generative linguists. For example, Bloomfield (1933) contrasted endocentric struc tures such as noun phrases and verb phrases with those he considered exocentric, e. g. prepositional phrases and clauses. Jespersen (1933), while presenting a functional system of description (in terms of 'ranks', where rank one is 'nominal', for example), clarified the relations among the head of a phrase, its modifier, and a phrase which modifies the modifier."

Speech and Human-Machine Dialog focuses on the dialog management component of a spoken language dialog system. Spoken language dialog systems provide a natural interface between humans and computers. These systems are of special interest for interactive applications, and they integrate several technologies including speech recognition, natural language understanding, dialog management and speech synthesis.

Due to the conjunction of several factors throughout the past few years, humans are significantly changing their behavior vis-a-vis machines. In particular, the use of speech technologies will become normal in the professional domain, and in everyday life. The performance of speech recognition components has also significantly improved. This book includes various examples that illustrate the different functionalities of the dialog model in a representative application for train travel information retrieval (train time tables, prices and ticket reservation).

Speech and Human-Machine Dialog is designed for a professional audience, composed of researchers and practitioners in industry. This book is also suitable as a secondary text for graduate-level students in computer science and engineering. "

If we consider how theoretical operations belonging to the methodological inventory of linguistics are carried out (i. e. the way linguistic theories are set up), three main criteria suggest themselves for classifying them: (1) Both, nature and type of the aims of the scientific knowledge applied which allow to specify the epistemological interests as well as the theoretical impact constituting the purpose of linguistic operations; (2) the nature of the intellectual procedures in connection with which a set of intersubjectively acceptable operations should guarantee that current postulates of the theory of science be maintained; (3) the set of data serving as an empirical basis for the theories to be estab lished on the one hand and as a correlate for the further development, the testing and the evaluation of theories on the other hand. It is to be considered a basic concept (as well as a motive) of current text linguistic research that due to the linguistic analysis of discourses a further development of linguistics has set in or is still to be achieved as regards the three criteria mentioned above. Therefore, if we want to estimate text-linguistic approaches (or concepts), works (methods), or knowledge (results) we should take the view allowing for the general valuation of the linguistic discipline or one of its sub-disciplines. This should be done with respect to the contributions gathered in this volume as well.

Dictation systems, read-aloud software for the blind, speech control of machinery, geographical information systems with speech input and output, and educational software with 'talking head' artificial tutorial agents are already on the market. The field is expanding rapidly, and new methods and applications emerge almost daily. But good sources of systematic information have not kept pace with the body of information needed for development and evaluation of these systems. Much of this information is widely scattered through speech and acoustic engineering, linguistics, phonetics, and experimental psychology. The Handbook of Multimodal and Spoken Dialogue Systems presents current and developing best practice in resource creation for speech input/output software and hardware. This volume brings experts in these fields together to give detailed 'how to' information and recommendations on planning spoken dialogue systems, designing and evaluating audiovisual and multimodal systems, and evaluating consumer off-the-shelf products.In addition to standard terminology in the field, the following topics are covered in depth: * How to collect high quality data for designing, training, and evaluating multimodal and speech dialogue systems; * How to evaluate real-life computer systems with speech input and output; * How to describe and model human-computer dialogue precisely and in depth. Also included: * The first systematic medium-scale compendium of terminology with definitions. This handbook has been especially designed for the needs of development engineers, decision-makers, researchers, and advanced level students in the fields of speech technology, multimodal interfaces, multimedia, computational linguistics, and phonetics.

This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors, such as the complexity of a given language and the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysis focused on the 23 official European languages as well as other important national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailed expert analysis and assessment of the current situation will help maximise the impact of additional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders from commercial businesses, government agencies, industry, research organisations, software companies, technology providers and European universities. Together, they are creating a common technology vision while developing a strategic research agenda that shows how language technology applications can address any research gaps by 2020.

It is well-known that phonemes have different acoustic realizations depending on the context. Thus, for example, the phoneme /t! is typically realized with a heavily aspirated strong burst at the beginning of a syllable as in the word Tom, but without a burst at the end of a syllable in a word like cat. Variation such as this is often considered to be problematic for speech recogni tion: (1) "In most systems for sentence recognition, such modifications must be viewed as a kind of 'noise' that makes it more difficult to hypothesize lexical candidates given an in put phonetic transcription. To see that this must be the case, we note that each phonological rule [in a certain example] results in irreversible ambiguity-the phonological rule does not have a unique inverse that could be used to recover the underlying phonemic representation for a lexical item. For example, . . . schwa vowels could be the first vowel in a word like 'about' or the surface realization of almost any English vowel appearing in a sufficiently destressed word. The tongue flap [(] could have come from a /t! or a /d/. " [65, pp. 548-549] This view of allophonic variation is representative of much of the speech recognition literature, especially during the late 1970's. One can find similar statements by Cole and Jakimik [22] and by Jelinek [50].

This book provides a precise and thorough description of the meaning and use of spatial expressions, using both a linguistics and an artificial intelligence perspective, and also an enlightening discussion of computer models of comprehension and production in the spatial domain. The author proposes a theoretical framework that explains many previously overlooked or misunderstood irregularities. The use of prepositions reveals underlying schematisations and idealisations of the spatial world, which, for the most part, echo representational structures necessary for human action (movement and manipulation). Because spatial cognition seems to provide a key to understanding much of the cognitive system, including language, the book addresses one of the most basic questions confronting cognitive science and artificial intelligence, and brings fresh and original insights to it.

Authors and Participants xi I Pragmatic Aspects 1 1. Some pragmatic decision criteria in generation 3 EduardH. Hovy 2. How to appear to be conforming to the 'maxims' even if you prefer to violate them 19 Antlwny Jameson 43 3. Contextual effects on responses to misconceptions Kathleen F. McCoy 4. Generating understandable explanatory sentences 55 Domenico Parisi & Donatella Ferrante 5. Toward a plan-based theory of referring actions 63 Douglas E. Appelt Generating referring expressions and pointing gestures 71 6. Norben Reithinger II Generation of Connected Discourse 83 7. Rhetorical Structure Theory: description and construction of text structures 85 William C. Mann & Sandra A. Tlwmpson 8. Discourse strategies for describing complex physical objects 97 Cecile L. Paris & Kathleen R. McKeown 9. Strategies for generating coherent descriptions of object movements in street scenes 117 Hans-Joachim Novak 133 10. The automated news agency: SEMTEX - a text generator for German Dietmar ROsner 149 11. A connectionist approach to the generation of abstracts KOiti Hasida, Shun Ishizald & Hitoshi Isahara III Generator Design 157 159 12. Factors contributing to efficiency in natural language generation DavidD. McDonald, Marie M. Vaughan & James D. Pustejovsky 183 13. Reviewing as a component of the text generation process Masoud Yazdani A French and English syntactic component for generation 191 14. Laurence Danlos KING: a knowledge-intensive natural language generator 219 15. Paul S. Jacobs vii 231 IV Grammars and Grammatical Formalisms 233 16. The relevance of Tree Adjoining Grammar to generation Aravind K.

"Emotion Recognition Using Speech Features" provides coverage of emotion-specific features present in speech. The author also discusses suitable models for capturing emotion-specific information for distinguishing different emotions. The content of this book is important for designing and developing natural and sophisticated speech systems. In this Brief, Drs. Rao and Koolagudi lead a discussion of how emotion-specific information is embedded in speech and how to acquire emotion-specific knowledge using appropriate statistical models. Additionally, the authors provide information about exploiting multiple evidences derived from various features and models. The acquired emotion-specific knowledge is useful for synthesizing emotions. Features includes discussion of: * Global and local prosodic features at syllable, word and phrase levels, helpful for capturing emotion-discriminative information; * Exploiting complementary evidences obtained from excitation sources, vocal tract systems and prosodic features in order to enhance the emotion recognition performance; * Proposed multi-stage and hybrid models for improving the emotion recognition performance. This brief is for researchers working in areas related to speech-based products such as mobile phone manufacturing companies, automobile companies, and entertainment products as well as researchers involved in basic and applied speech processing research.

Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English. It argues that differences in the kind of information being computed, whether lexical, structural or syntactic, play a crucial role in the mapping from grammatical theory to parsing algorithms. The direct encoding of homogeneous classes of information has computational and cognitive advantages, which are discussed in detail. Phrase structure is built by using a fast algorithm and compact reference tables. A quantified comparison of different compilation methods shows that lexical and structural information are most compactly represented by separate tables. This finding is reconciled to evidence on the resolution of lexical ambiguity, as an approach to the modularization of information. The same design is applied to the efficient computation of long- distance dependencies. Incremental parsing using bottom-up tabular algorithms is discussed in detail. Finally, locality restrictions are calculated by a parametric algorithm. Students of linguistics, parsing and psycholinguistics will find this book a useful resource on issues related to the implementation of current linguistic theories, using computational and cognitive plausible algorithms.

This book constitutes the proceedings of the First International Conference on Knowledge - Ontology - Theory (KONT 2007) held in Novosibirsk, Russia, in September 2007 and the First International Conference on Knowledge Processing in Practice (KPP 2007) held in Darmstadt, Germany, in September 2007. The 21 revised full papers were carefully reviewed and selected from numerous submissions and cover four main focus areas: applications of conceptual structures; concept based software; ontologies as conceptual structures; and data analysis.

This book presents computational mechanisms for solving common language interpretation problems including many cases of reference resolution, word sense disambiguation, and the interpretation of relationships implicit in modifiers. The proposed memory and context mechanisms provide the means for representing and applying information about the semantic relationships between entities imposed by the cultural context. The effects of different 'context factors', derived from multiple sources, are combined for disambiguation and for limiting memory search; the factors having been created and manipulated gradually during discourse processing.

That philosophical themes could be studied in an exact manner by logical meanS was a delightful discovery to make. Until then, the only outlet for a philosophical interest known to me was the production of poetry or essays. These means of expression remain inconclusive, however, with a tendency towards profuseness. The logical discipline provides so me intellectual backbone, without excluding the literary modes. A master's thesis by Erik Krabbe introduced me to the subject of tense logic. The doctoral dissertation of Paul N eedham awaked me (as so many others) from my dogmatic slumbers concerning the latter's mono poly on the logical study of Time. Finally, a set of lecture notes by Frank Veltman showed me how classical model theory is just as relevant to that study as more exotic intensional techniques. Of the authors whose work inspired me most, I would mention Arthur Prior, for his irresistible blend of logic and philosophy, Krister Segerberg, for his technical opening up of a systematic theory, and Hans Kamp, for his mastery of all these things at once. Many colleagues have made helpful comments on the two previous versions of this text. I would like to thank especially my students Ed Brinksma, Jan van Eyck and Wilfried Meyer-Viol for their logical and cultural criticism. The drawings were contributed by the versatile Bauke Mulder. Finally, Professor H intikka's kind appreciation provided the stimulus to write this book."

For some time already, a discourse within the field of Translation Studies has increasingly focused on the translator, his/her translation properties and mental processes resulting from their application. Recent years and advances in technology have opened up many possibilities of gaining a deeper insight into these processes. This publication presents the theoretical foundations, the results of scientific experiments, and a broad range of questions to be asked and answered by eye-tracking supported translation studies. The texts have been arranged into two thematic parts. The first part consists of texts dedicated to the theoretical foundations of Translation Studies-oriented eye-tracking research. The second part includes texts discussing the results of the experiments that were carried out.

The general markup language XML has played an outstanding role in the mul- ple ways of processing electronic documents, XML being used either in the design of interface structures or as a formal framework for the representation of structure or content-related properties of documents. This book in its 13 chapters discusses aspects of XML-based linguistic information modeling combining: methodological issues, especially with respect to text-related information modeling, applicati- oriented research and issues of formal foundations. The contributions in this book are based on current research in Text Technology, Computational Linguistics and in the international domain of evolving standards for language resources. Rec- rent themes in this book are markup languages, explored from different points of view, and topics of text-related information modeling. These topics have been core areas of the research Unit "Text-technological Information Modeling" (www. te- technology. de) funded from 2002 to 2009 by the German Research Foundation (DFG). Positions developed in this book could also bene t from the presentations and discussion at the conference "Modelling Linguistic Information Resources" at the Center for Interdisciplinary Research (Zentrum fur .. interdisziplinare .. Forschung, ZiF) at Bielefeld, a center for advanced studies known for its international and interdisciplinary meetings and research. The editors would like to thank the DFG and ZiF for their nancial support, the publisher, the series editors, the reviewers and those people that helped to prepare the manuscript, especially Carolin Kram, Nils Diewald, Jens Stegmann and Peter M. Fischer and last but not least, all of the authors.

This white paper is part of a series that promotes knowledge about language technology and its potential. It addresses educators, journalists, politicians, language communities and others. The availability and use of language technology in Europe varies between languages. Consequently, the actions that are required to further support research and development of language technologies also differ for each language. The required actions depend on many factors, such as the complexity of a given language and the size of its community. META-NET, a Network of Excellence funded by the European Commission, has conducted an analysis of current language resources and technologies. This analysis focused on the 23 official European languages as well as other important national and regional languages in Europe. The results of this analysis suggest that there are many significant research gaps for each language. A more detailed expert analysis and assessment of the current situation will help maximise the impact of additional research and minimize any risks. META-NET consists of 54 research centres from 33 countries that are working with stakeholders from commercial businesses, government agencies, industry, research organisations, software companies, technology providers and European universities. Together, they are creating a common technology vision while developing a strategic research agenda that shows how language technology applications can address any research gaps by 2020.