Muutke küpsiste eelistusi

Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers 2014 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 251 pages, kõrgus x laius: 235x155 mm, kaal: 4044 g, 51 Illustrations, black and white; X, 251 p. 51 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Artificial Intelligence 8439
  • Ilmumisaeg: 24-Jul-2014
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319089080
  • ISBN-13: 9783319089089
Teised raamatud teemal:
  • Pehme köide
  • Hind: 46,85 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 55,12 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers 2014 ed.Suurem pilt
  • Formaat: Paperback / softback, 251 pages, kõrgus x laius: 235x155 mm, kaal: 4044 g, 51 Illustrations, black and white; X, 251 p. 51 illus., 1 Paperback / softback
  • Sari: Lecture Notes in Artificial Intelligence 8439
  • Ilmumisaeg: 24-Jul-2014
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319089080
  • ISBN-13: 9783319089089
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319089089.html
Märksõnad:
This book constitutes the proceedings of the Kiel Declarative Programming Days, KDPD 2013, unifying the following conferences: the 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), the 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) and the 27th Workshop on Logic Programming (WLP 2013), held in Kiel, Germany, in September 2013. The 15 papers presented were carefully and reviewed and selected for inclusion in this book. They cover the following topics: logic programming, constraint problem solving, programmable logic solvers, functional programming and constraint programming.
Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs
1(16)
Ella Albrecht
Patrick Krumpelmann
Gabriele Kern-Isberner
Sharing and Exchanging Data
17(16)
Rana Awada
Pablo Barcelo
Iluju Kiringa
Propositional Encoding of Constraints over Tree-Shaped Data
33(15)
Alexander Bau
Johannes Waldmann
On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry
48(17)
Christoph Beierle
Udo Lelitko
On Axiomatic Rejection for the Description Logic ALC
65(18)
Gerald Berger
Hans Tompits
And... Action! -- Monoid Actions and (Pre)orders
83(16)
Nikita Danilenko
HEX-Programs with Existential Quantification
99(19)
Thomas Eiter
Michael Fink
Thomas Krennwallner
Christoph Redl
Introducing Real Variables and Integer Objective Functions to Answer Set Programming
118(18)
Guohua Liu
Tomi Janhunen
Ilkka Niemela
Coverage Driven Test Generation and Consistency Algorithm
136(16)
Jomu George Mani Paret
Otmane Ait Mohamed
A Datalog Engine for GPUs
152(17)
Carlos Alberto Martinez-Angeles
Ins Dutra
Vitor Santos Costa
Jorge Buenabad-Chavez
Towards Parallel Constraint-Based Local Search with the X10 Language
169(16)
Danny Munera
Daniel Diaz
Salvador Abreu
Debate Games in Logic Programming
185(17)
Chiaki Sakama
A Descriptive Handling of Directly Conflicting Rules in Preferred Answer Sets
202(16)
Alexander Simko
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley
218(16)
Baltasar Trancon Y Widemann
Markus Lepper
Heuristic Search over Program Transformations
234(17)
Claus Zinn
Author Index 251