Author: Christian Schulte
Publisher: Springer
ISBN: 3642406270
Category : Mathematics
Languages : en
Pages : 916
Book Description
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
Principles and Practice of Constraint Programing-CP 2013
Author: Christian Schulte
Publisher: Springer
ISBN: 3642406270
Category : Mathematics
Languages : en
Pages : 916
Book Description
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
Publisher: Springer
ISBN: 3642406270
Category : Mathematics
Languages : en
Pages : 916
Book Description
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
Principles and Practice of Constraint Programming
Author: Gilles Pesant
Publisher: Springer
ISBN: 3319232193
Category : Mathematics
Languages : en
Pages : 765
Book Description
This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015. This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015). The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.
Publisher: Springer
ISBN: 3319232193
Category : Mathematics
Languages : en
Pages : 765
Book Description
This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September 2015. This edition of the conference was part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. It was also co-located with the 31st International Conference on Logic Programming (ICLP 2015). The 48 revised papers presented together with 3 invited talks and 16 abstract papers were carefully selected from numerous submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, schedulling, configuration, and planning.
Principles and Practice of Constraint Programming
Author: Barry O'Sullivan
Publisher: Springer
ISBN: 3319104284
Category : Mathematics
Languages : en
Pages : 965
Book Description
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.
Publisher: Springer
ISBN: 3319104284
Category : Mathematics
Languages : en
Pages : 965
Book Description
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and Practice of Constraint Programming, CP 2014, held in Lyon, France, in September 2014. The 65 revised papers presented together with 4 invited talks were carefully selected from 108 submissions. The scope of CP 2014 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.
Principles and Practice of Constraint Programming
Author: Helmut Simonis
Publisher: Springer Nature
ISBN: 3030584755
Category : Mathematics
Languages : en
Pages : 984
Book Description
This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 55 full papers presented in this volume were carefully reviewed and selected from 122 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: technical track; application track; and CP and data science and machine learning.
Publisher: Springer Nature
ISBN: 3030584755
Category : Mathematics
Languages : en
Pages : 984
Book Description
This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 55 full papers presented in this volume were carefully reviewed and selected from 122 submissions. They deal with all aspects of computing with constraints including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers were organized according to the following topics/tracks: technical track; application track; and CP and data science and machine learning.
Principles and Practice of Constraint Programming
Author: Vijay Saraswat
Publisher: MIT Press
ISBN: 9780262193610
Category : Computers
Languages : en
Pages : 504
Book Description
Constraint programming aims at supporting a wide range of complex applications, which are often modeled naturally in terms of constraints. Early work, in the 1960s and 1970s, made use of constraints in computer graphics, user interfaces, and artificial intelligence. Such work introduced a declarative component in otherwise-procedural systems to reduce the development effort.
Publisher: MIT Press
ISBN: 9780262193610
Category : Computers
Languages : en
Pages : 504
Book Description
Constraint programming aims at supporting a wide range of complex applications, which are often modeled naturally in terms of constraints. Early work, in the 1960s and 1970s, made use of constraints in computer graphics, user interfaces, and artificial intelligence. Such work introduced a declarative component in otherwise-procedural systems to reduce the development effort.
Principles and Practice of Constraint Programing-CP 2013
Author: Christian Schulte
Publisher: Springer
ISBN: 9783642406263
Category : Mathematics
Languages : en
Pages : 898
Book Description
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
Publisher: Springer
ISBN: 9783642406263
Category : Mathematics
Languages : en
Pages : 898
Book Description
This book constitutes the refereed conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2013), held in Uppsala, Sweden, in September 2013. The 61 revised papers presented together with 3 invited talks were carefully selected from 138 submissions. The scope of the conference is on all aspects of computing with constraints, including: theory, algorithms, environments, languages, models and systems, applications such as decision making, resource allocation, and agreement technologies.
Ant Colony Optimization and Constraint Programming
Author: Christine Solnon
Publisher: John Wiley & Sons
ISBN: 1118618890
Category : Computers
Languages : en
Pages : 226
Book Description
Ant colony optimization is a metaheuristic which has been successfully applied to a wide range of combinatorial optimization problems. The author describes this metaheuristic and studies its efficiency for solving some hard combinatorial problems, with a specific focus on constraint programming. The text is organized into three parts. The first part introduces constraint programming, which provides high level features to declaratively model problems by means of constraints. It describes the main existing approaches for solving constraint satisfaction problems, including complete tree search approaches and metaheuristics, and shows how they can be integrated within constraint programming languages. The second part describes the ant colony optimization metaheuristic and illustrates its capabilities on different constraint satisfaction problems. The third part shows how the ant colony may be integrated within a constraint programming language, thus combining the expressive power of constraint programming languages, to describe problems in a declarative way, and the solving power of ant colony optimization to efficiently solve these problems.
Publisher: John Wiley & Sons
ISBN: 1118618890
Category : Computers
Languages : en
Pages : 226
Book Description
Ant colony optimization is a metaheuristic which has been successfully applied to a wide range of combinatorial optimization problems. The author describes this metaheuristic and studies its efficiency for solving some hard combinatorial problems, with a specific focus on constraint programming. The text is organized into three parts. The first part introduces constraint programming, which provides high level features to declaratively model problems by means of constraints. It describes the main existing approaches for solving constraint satisfaction problems, including complete tree search approaches and metaheuristics, and shows how they can be integrated within constraint programming languages. The second part describes the ant colony optimization metaheuristic and illustrates its capabilities on different constraint satisfaction problems. The third part shows how the ant colony may be integrated within a constraint programming language, thus combining the expressive power of constraint programming languages, to describe problems in a declarative way, and the solving power of ant colony optimization to efficiently solve these problems.
Handbook of Parallel Constraint Reasoning
Author: Youssef Hamadi
Publisher: Springer
ISBN: 3319635166
Category : Computers
Languages : en
Pages : 687
Book Description
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units. The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD). The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Publisher: Springer
ISBN: 3319635166
Category : Computers
Languages : en
Pages : 687
Book Description
This is the first book presenting a broad overview of parallelism in constraint-based reasoning formalisms. In recent years, an increasing number of contributions have been made on scaling constraint reasoning thanks to parallel architectures. The goal in this book is to overview these achievements in a concise way, assuming the reader is familiar with the classical, sequential background. It presents work demonstrating the use of multiple resources from single machine multi-core and GPU-based computations to very large scale distributed execution platforms up to 80,000 processing units. The contributions in the book cover the most important and recent contributions in parallel propositional satisfiability (SAT), maximum satisfiability (MaxSAT), quantified Boolean formulas (QBF), satisfiability modulo theory (SMT), theorem proving (TP), answer set programming (ASP), mixed integer linear programming (MILP), constraint programming (CP), stochastic local search (SLS), optimal path finding with A*, model checking for linear-time temporal logic (MC/LTL), binary decision diagrams (BDD), and model-based diagnosis (MBD). The book is suitable for researchers, graduate students, advanced undergraduates, and practitioners who wish to learn about the state of the art in parallel constraint reasoning.
Artificial Intelligence Research and Development
Author: A. Nebot
Publisher: IOS Press
ISBN: 1614996962
Category : Computers
Languages : en
Pages : 328
Book Description
The Catalan Association for Artificial Intelligence (ACIA) was formed in 1994 with the aim of promoting cooperation between researchers in artificial intelligence within the Catalan speaking community. This objective has been achieved and widened since the association held their first conference in 1998, and the annual conference of the association has become an international event presenting and discussing the latest research in AI, which attracts AI researchers from around the world. This book presents the proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2016), held in Barcelona, Spain, on 19-21 October. From a total of 50 original contributions, 16 long papers and 22 short papers were accepted for presentation at the conference on the basis of their relevance, originality and technical validity. The book is divided into 7 sections: Invited Talks (synopsis only); Vision and Robotics; Logic, Constraint Satisfaction and Qualitative Theory; Classification and Clustering; Modelling; Planning and Recommender Systems; Lexical Knowledge Representation and Natural Language Processing. Providing an overview of the latest developments in the field, this book will be of interest to all those whose work involves research into, and the application of, artificial intelligence.
Publisher: IOS Press
ISBN: 1614996962
Category : Computers
Languages : en
Pages : 328
Book Description
The Catalan Association for Artificial Intelligence (ACIA) was formed in 1994 with the aim of promoting cooperation between researchers in artificial intelligence within the Catalan speaking community. This objective has been achieved and widened since the association held their first conference in 1998, and the annual conference of the association has become an international event presenting and discussing the latest research in AI, which attracts AI researchers from around the world. This book presents the proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2016), held in Barcelona, Spain, on 19-21 October. From a total of 50 original contributions, 16 long papers and 22 short papers were accepted for presentation at the conference on the basis of their relevance, originality and technical validity. The book is divided into 7 sections: Invited Talks (synopsis only); Vision and Robotics; Logic, Constraint Satisfaction and Qualitative Theory; Classification and Clustering; Modelling; Planning and Recommender Systems; Lexical Knowledge Representation and Natural Language Processing. Providing an overview of the latest developments in the field, this book will be of interest to all those whose work involves research into, and the application of, artificial intelligence.
Artificial Intelligence Research and Development
Author: J. Sabater-Mir
Publisher: IOS Press
ISBN: 1643680153
Category : Computers
Languages : en
Pages : 446
Book Description
Artificial intelligence has now become an indispensible tool at the centre of problem-solving in a huge range of digital technologies, and remains one of the most vibrant topics for discussion and research. This book presents a compilation of the articles presented at the 22nd (2019) edition of the International Conference of the Catalan Association for Artificial Intelligence (CCIA), held in Mallorca, Spain, from 23 – 25 October 2019. This annual conference is an international event that serves as a meeting point for researchers into artificial intelligence based in the area of the Catalan speaking territories and for researchers from around the world. The book is divided into 8 sections. The first contains summaries of the 3 invited talks presented at the conference: ‘New methods for fusing information and the computational brain’, by Javier Fernandez; ‘From correlation to imagination: Deep generative models for artificial intelligence’ by Joan Serrà; and ‘Explainable AI’ by Anna Monreale. The remaining 7 sections contain 47 papers covering ethics and E-governance; machine learning; constraints and SAT, optimization and fuzzy; data science, recommender systems and decision support systems; agent-based and multi-agent systems; computer vision; and sentiment analysis and text analysis. The book provides an overview of the latest developments in the field, and as such will be of interest to all those whose work involves the study and application of artificial intelligence.
Publisher: IOS Press
ISBN: 1643680153
Category : Computers
Languages : en
Pages : 446
Book Description
Artificial intelligence has now become an indispensible tool at the centre of problem-solving in a huge range of digital technologies, and remains one of the most vibrant topics for discussion and research. This book presents a compilation of the articles presented at the 22nd (2019) edition of the International Conference of the Catalan Association for Artificial Intelligence (CCIA), held in Mallorca, Spain, from 23 – 25 October 2019. This annual conference is an international event that serves as a meeting point for researchers into artificial intelligence based in the area of the Catalan speaking territories and for researchers from around the world. The book is divided into 8 sections. The first contains summaries of the 3 invited talks presented at the conference: ‘New methods for fusing information and the computational brain’, by Javier Fernandez; ‘From correlation to imagination: Deep generative models for artificial intelligence’ by Joan Serrà; and ‘Explainable AI’ by Anna Monreale. The remaining 7 sections contain 47 papers covering ethics and E-governance; machine learning; constraints and SAT, optimization and fuzzy; data science, recommender systems and decision support systems; agent-based and multi-agent systems; computer vision; and sentiment analysis and text analysis. The book provides an overview of the latest developments in the field, and as such will be of interest to all those whose work involves the study and application of artificial intelligence.