Constraints and Preferences


Book Description

The central theme of this collection is the epistemological status of constraints and preferences in linguistics. The contributions focus mainly on phonology; one article deals explicitly with morphology. The approaches to phonology represented in the volume are those of Natural Phonology, Government Phonology, Optimality Theory, autosegemental phonology, and computational phonology. Constraints are juxtaposed either to rules or to preferences in the discussion of constraint-based vs. preference-based theories.




A Short Introduction to Preferences


Book Description

Computational social choice is an expanding field that merges classical topics like economics and voting theory with more modern topics like artificial intelligence, multiagent systems, and computational complexity. This book provides a concise introduction to the main research lines in this field, covering aspects such as preference modelling, uncertainty reasoning, social choice, stable matching, and computational aspects of preference aggregation and manipulation. The book is centered around the notion of preference reasoning, both in the single-agent and the multi-agent setting. It presents the main approaches to modeling and reasoning with preferences, with particular attention to two popular and powerful formalisms, soft constraints and CP-nets. The authors consider preference elicitation and various forms of uncertainty in soft constraints. They review the most relevant results in voting, with special attention to computational social choice. Finally, the book considers preferences in matching problems. The book is intended for students and researchers who may be interested in an introduction to preference reasoning and multi-agent preference aggregation, and who want to know the basic notions and results in computational social choice. Table of Contents: Introduction / Preference Modeling and Reasoning / Uncertainty in Preference Reasoning / Aggregating Preferences / Stable Marriage Problems




Belief Functions: Theory and Applications


Book Description

This book constitutes the refereed proceedings of the 5th International Conference on Belief Functions, BELIEF 2018, held in Compiègne, France, in September 2018.The 33 revised regular papers presented in this book were carefully selected and reviewed from 73 submissions. The papers were solicited on theoretical aspects (including for example statistical inference, mathematical foundations, continuous belief functions) as well as on applications in various areas including classification, statistics, data fusion, network analysis and intelligent vehicles.







Constraint Processing


Book Description

Constraint reasoning has matured over the last three decades with contributions from a diverse community of researchers in artificial intelligence, databases and programming languages, operations research, management science, and applied mathematics. In Constraint Processing, Rina Dechter synthesizes these contributions, as well as her own significant work, to provide the first comprehensive examination of the theory that underlies constraint processing algorithms.




Robotics


Book Description

Robotics: Science and Systems VIII spans a wide spectrum of robotics, bringing together contributions from researchers working on the mathematical foundations of robotics, robotics applications, and analysis of robotics systems.




Recent Advances in Constraints


Book Description

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002. The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.




Economics and the Mind


Book Description




Recent Advances in Constraints


Book Description

This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.




Constraints in Computational Logics


Book Description

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 accepted research papers selected from a total of 52 submissions. The volume assembles high quality original papers covering major theoretical and practical issues of combining and extending programming paradigms, preferably by using constraints. The topics covered include symbolic constraints, set constraints, numerical constraints, multi-paradigm programming, combined calculi, constraints in rewriting, deduction, symbolic computations, and working systems.