Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10997)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
- INAP: International Conference on Applications of Declarative Programming and Knowledge Management
- WFLP: International Workshop on Functional and Constraint Logic Programming
- WLP: Workshop on Logic Programming
Conference proceedings info: INAP 2017, WFLP 2017, WLP 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
- artificial intelligence
- computer architecture
- computer programming
- constraint programming
- constraint solving
- constraint theory
- constraints
- data science
- declarative programming
- functional languages
- linguistics
- logic and databases
- logic programming
- ontologies
- problem solving
- programming languages
- semantic web
- semantics
- software engineering
- specifications
Table of contents (13 papers)
-
Front Matter
-
Constraints
-
Front Matter
-
-
Declarative Systems
-
Front Matter
-
-
Functional and Logic Programming
-
Front Matter
-
-
Back Matter
Other volumes
-
Declarative Programming and Knowledge Management
Editors and Affiliations
Bibliographic Information
Book Title: Declarative Programming and Knowledge Management
Book Subtitle: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers
Editors: Dietmar Seipel, Michael Hanus, Salvador Abreu
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-00801-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-030-00800-0Published: 27 September 2018
eBook ISBN: 978-3-030-00801-7Published: 26 September 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 215
Number of Illustrations: 32 b/w illustrations
Topics: Artificial Intelligence, Programming Techniques, Software Engineering, Numeric Computing, Logics and Meanings of Programs