Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management

Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Dietmar Seipel والمزيد
    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming. 

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٨
٢٦ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
٢٢٥
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٦٫٨
‫م.ب.‬
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
٢٠٢٠
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
٢٠٢٣
Rules and Reasoning Rules and Reasoning
٢٠١٧
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
٢٠١٨
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
٢٠٢٠
Integrated Formal Methods Integrated Formal Methods
٢٠٢٠
KI und Bots im Alltag KI und Bots im Alltag
٢٠٢٥
KI 2023: Advances in Artificial Intelligence KI 2023: Advances in Artificial Intelligence
٢٠٢٣
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
٢٠٢٠
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
٢٠١٣
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
٢٠٠٩