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 및 다른 저자
    • US$39.99
    • US$39.99

출판사 설명

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. 

장르
컴퓨터 및 인터넷
출시일
2018년
9월 26일
언어
EN
영어
길이
225
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
6.8
MB
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
2020년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
2023년
Rules and Reasoning Rules and Reasoning
2017년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2018년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2020년
Integrated Formal Methods Integrated Formal Methods
2020년
KI und Bots im Alltag KI und Bots im Alltag
2025년
KI 2023: Advances in Artificial Intelligence KI 2023: Advances in Artificial Intelligence
2023년
Declarative Programming and Knowledge Management Declarative Programming and Knowledge Management
2020년
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
2013년
Applications of Declarative Programming and Knowledge Management Applications of Declarative Programming and Knowledge Management
2009년