this book constitutes the thoroughly refereed post-conference proceedings of the 18thinternational Conference on Principles and Practice of constraintprogramming (CP 2012), held in Québec, Canada, in October 20...
详细信息
ISBN:
(数字)9783642335587
ISBN:
(纸本)9783642335570
this book constitutes the thoroughly refereed post-conference proceedings of the 18thinternational Conference on Principles and Practice of constraintprogramming (CP 2012), held in Québec, Canada, in October 2012.
the 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. the former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) the second track, featured for the first time in 2012, concentrated on multidisciplinary papers: cross-cutting methodology and challenging applications collecting papers that link CP technology with other techniques like machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory, and robotics. In addition, the track focused on challenging application fields with a high social impact such as CP for life sciences, sustainability, energy efficiency, web, social sciences, finance, and verification.
this book constitutes the refereed proceedings of the 5thinternationalworkshop on Extensions of logicprogramming, ELP '96, held in Leipzig, Germany in March 1996.;the 18 full papers included were carefully sele...
详细信息
ISBN:
(数字)9783540497516
ISBN:
(纸本)9783540609834
this book constitutes the refereed proceedings of the 5thinternationalworkshop on Extensions of logicprogramming, ELP '96, held in Leipzig, Germany in March 1996.;the 18 full papers included were carefully selected by the program committee and are presented together withthree invited papers. Among the topics addressed in this book are categorical logicprogramming, correctness of logic programs, functional-logic languages, implementation issues, linear logicprogramming, nonmonotonic reasoning, and proof search.
this book contains a selection of revised papers presented at the 19thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPL...
详细信息
ISBN:
(数字)9783642207754
ISBN:
(纸本)9783642207747
this book contains a selection of revised papers presented at the 19thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of programming Languages event, POPL 2010.
From the 15 papers submitted, 12 were accepted for presentation at the workshop. the 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. they are complemented by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraintlogicprogramming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.
this book constitutes the refereed proceedings of the 6thinternational Conference on Algebraic and logicprogramming, ALP '97 and the 3rd internationalworkshop on Higher-Order Algebra, logic and Term Rewriting, ...
详细信息
ISBN:
(数字)9783540695554
ISBN:
(纸本)9783540634591
this book constitutes the refereed proceedings of the 6thinternational Conference on Algebraic and logicprogramming, ALP '97 and the 3rd internationalworkshop on Higher-Order Algebra, logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.;the 18 revised full papers presented in the book were selected from 31 submissions. the volume is divided in sections on functional and logicprogramming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
this book constitutes the proceedings of the Kiel Declarative programming Days, KDPD 2013, unifying the following conferences: the 20thinternational Conference on Applications of Declarative programming and Knowledge...
详细信息
ISBN:
(数字)9783319089096
ISBN:
(纸本)9783319089089
this book constitutes the proceedings of the Kiel Declarative programming Days, KDPD 2013, unifying the following conferences: the 20thinternational Conference on Applications of Declarative programming and Knowledge Management (INAP 2013), the 22nd internationalworkshop on functional and (constraint) logicprogramming (WFLP 2013) and the 27thworkshop on logicprogramming (WLP 2013), held in Kiel, Germany, in September 2013. the 15 papers presented were carefully and reviewed and selected for inclusion in this book. they cover the following topics: logicprogramming, constraint problem solving, programmable logic solvers, functionalprogramming and constraintprogramming.
this book constitutes the refereed post-conference proceedings of the 28thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2020, held in Bologna, Italy, in September 2020.
ISBN:
(数字)9783030753337
ISBN:
(纸本)9783030753320
this book constitutes the refereed post-conference proceedings of the 28thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2020, held in Bologna, Italy, in September 2020.
this book constitutes the refereed conference proceedings of the 20thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th Interna...
详细信息
ISBN:
(数字)9783642225314
ISBN:
(纸本)9783642225307
this book constitutes the refereed conference proceedings of the 20thinternationalworkshop on functional and constraintlogicprogramming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13thinternational Symposium on Principles and Practice of Declarative programming (PPDP 2011), the 22st international Symposium on logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the 4thinternationalworkshop on Approaches and Applications of Inductive programming (AAIP 2011).
From the 10 papers submitted, 9 were accepted for presentation the proceeding. the papers cover current research in all areas of functional and logicprogramming as well as the integration of constraintlogic and object-oriented programming, and term rewriting.
暂无评论