The NCL Natural Constraint Language


Book Description

"The NCL Natural Constraint Language" presents the NCL language which is a description language in conventional mathematical logic for modeling and solving constraint satisfaction problems. NCL differs from other declarative languages: It models problems naturally in a simplified form of first-order logic with quantifiers, Boolean logic, numeric constraints, set operations and logical functions; it solves problems by mixed set programming over the mixed domain of real numbers, integers, Booleans, dates/times, references, and in particular sets. The book uses plenty of examples and tutorials to illustrate NCL and its applications. It is intended for researchers and developers in the fields of logic programming, constraint programming, optimization, modeling, operations research and artificial intelligence, who will learn from a new programming language and theoretical foundations for industrial applications. Dr. Jianyang Zhou is the inventor of NCL and has worked for its industrialization for more than 10 years.




Dynamics in Logistics


Book Description

This contributed volume brings together research papers presented at the 4th International Conference on Dynamics in Logistics, held in Bremen, Germany in February 2014. The conference focused on the identification, analysis and description of the dynamics of logistics processes and networks. Topics covered range from the modeling and planning of processes, to innovative methods like autonomous control and knowledge management, to the latest technologies provided by radio frequency identification, mobile communication, and networking. The growing dynamic poses wholly new challenges: logistics processes and networks must be(come) able to rapidly and flexibly adapt to constantly changing conditions. The book primarily addresses the needs of researchers and practitioners from the field of logistics, but will also be beneficial for graduate students.







Principles and Practice of Constraint Programming - CP98


Book Description

Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on applications of constraints, re?ecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Programming (CP’98), held in Pisa, Italy, 26{30 - tober, 1998. It is the fourth in this series of conferences, following conferences in Cassis (France), Cambridge (USA), and Schloss Hagenberg (Austria). We received 115 high quality submissions. In addition, 7 abstracts submissions were not followed by a full paper, hence were not counted as submissions. The program committee selected 29 high quality papers after thorough refereeing by at least 3 experts and further discussion by committee members. We thank the referees and the program committee for the time and e ort spent in reviewing the papers. The program committee invited three speakers: { Joxan Ja ar { Peter Jeavons { Patrick Prosser Their papers are in this volume.




Innovative Internet Community Systems


Book Description

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on Innovative Internet Community Systems, IICS 2004, held in Guadalajara, Mexico, in June 2004. The 25 revised full papers presented together with 2 invited papers have been carefully reviewed. They focus mainly on system-oriented problems, text processing, and theoretical foundations of distributed and Internet systems. They also deal with speed and quality-of-service problems of Internet protocols, aspects of cooperation and collaboration in Internet systems, as well as agent and text-processing-based methods. In addition, 9 papers stem from two mini-workshops, one on computational epidemiology and the other on optimization of urban traffic systems.




The Nature of Syntactic Representation


Book Description

The work collected in this book represents the results of some intensive recent work on the syntax of natural languages. The authors' differing viewpoints have in common the program of revising current conceptions of syntactic representation so that the role of transformational derivations is reduced or eliminated. The fact that the papers cross-refer to each other a good deal, and that authors assuming quite different fram{:works are aware of each other's results and address themselves to shared problems, is partly the result of a conference on the nature of syntactic representation that was held at Brown University in May 1979 with the express purpose of bringing together different lines of research in syntax. The papers in this volume mostly arise out of work that was presented in preliminary form at that conference, though much rewriting and further research has been done in the interim period. Two papers are included because although they were not given even in preliminary form at the conference, it has become clear since then that they interrelate with the work of the conference so much that they cannot reasonably be left out: Gerald Gazdar's statement of his program for phrase structure description of natural language forms the theoretical basis that is assumed by Maling and Zaenen and by Sag, and David Dowty's paper represents a bridge between the relational grammar exemplified here in the papers by Perlmutter and Postal on the one hand and the Montague




Exploring Newspaper Language


Book Description

This book describes new methodological and technological approaches to corpus building and presents recent research based on the Norwegian Newspaper Corpus. This is a large monitor corpus of contemporary Norwegian language, compiled through daily harvesting of web newspapers. The book gives an overview of the corpus and its system architecture, and presents tools used for tasks such as text harvesting, annotation, topic classification and extraction and frequency profiling of new words and phrases. Among the innovative technologies is Corpuscle, a corpus query engine and management system which is flexible enough to handle very large corpora in an efficient way. The individual research contributions based on the corpus explore different aspects of Norwegian, including the occurrence of anglicisms, neologisms and terminology, and the use of metonymy and metaphor in newspaper language. The book also describes an innovative method of applying correspondence analysis and implicational analysis to investigate interdependencies between morphosyntactic variants.




Artificial Intelligence and Natural Language


Book Description

This book constitutes the refereed proceedings of the 8th Conference on Artificial Intelligence and Natural Language, AINL 2019, held in Tartu, Estonia, in November 2019. The 10 revised full papers and 2 short papers were carefully reviewed and selected from 34 submissions. The papers are organized according to the following topics: ​data acquisition and annotation; human-computer interaction; statistical natural language processing; neural language models.




The Oxford Handbook of Computational Linguistics


Book Description

This handbook of computational linguistics, written for academics, graduate students and researchers, provides a state-of-the-art reference to one of the most active and productive fields in linguistics.




Automata, Languages and Programming


Book Description

This book constitutes the refereed proceedings of the 29th International Colloquium on Automata, Languages and Programming, ICALP 2002, held in Malaga, Spain, in July 2002.The 83 revised full papers presented together with 7 invited papers were carefully reviewed and selected from a total of 269 submissions. All current aspects of theoretical computer science are addressed and major new results are presented.