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 and Others
    • $39.99
    • $39.99

Publisher Description

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. 

GENRE
Computers & Internet
RELEASED
2018
September 26
LANGUAGE
EN
English
LENGTH
225
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
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