Applications of Declarative Programming and Knowledge Management

19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, General Computing, Programming
Cover of the book Applications of Declarative Programming and Knowledge Management by , Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783642415241
Publisher: Springer Berlin Heidelberg Publication: November 18, 2013
Imprint: Springer Language: English
Author:
ISBN: 9783642415241
Publisher: Springer Berlin Heidelberg
Publication: November 18, 2013
Imprint: Springer
Language: English

This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.

More books from Springer Berlin Heidelberg

Cover of the book Minerals of the mercury ore deposit Idria by
Cover of the book Complex and Adaptive Dynamical Systems by
Cover of the book Gasotransmitters: Physiology and Pathophysiology by
Cover of the book Geometry of Minkowski Space-Time by
Cover of the book Radiological Imaging of Endocrine Diseases by
Cover of the book Computational Invariant Theory by
Cover of the book Ligaments and Ligamentoplasties by
Cover of the book From Newton to Mandelbrot by
Cover of the book An Introduction to Kinetic Monte Carlo Simulations of Surface Reactions by
Cover of the book Leitfaden für Existenzgründer by
Cover of the book Eye Pathology by
Cover of the book Systolic Time Intervals by
Cover of the book VII Hotine-Marussi Symposium on Mathematical Geodesy by
Cover of the book Supplementary Cementing Materials by
Cover of the book Diagnostic Molecular Pathology in Practice by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy