• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Pocketfynda! Hundratals böcker för 49 kr/st →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Declarative Programming and Knowledge Management

    Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

    AvMichael Hanus,Ricardo Rocha

    Häftad, Engelska, 2014

    Del 8439 i serien Lecture Notes in Computer Science

    537 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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.

    Produktinformation

    • Utgivningsdatum:2014-07-24
    • Mått:155 x 235 x 15 mm
    • Vikt:406 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:251
    • Förlag:Springer International Publishing AG
    • ISBN:9783319089089

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Artificiell intelligens inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.- Sharing and Exchanging Data.- Propositional Encoding of Constraints over Tree-Shaped Data.- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.- On Axiomatic Rejection for the Description Logic ALC.- And Action! - Monoid Actions and (Pre)orders.- HEX-Programs with Existential Quantification.- Introducing Real Variables and Integer Objective Functions to Answer Set Programming.- Coverage Driven Test Generation and Consistency Algorithm.- A Datalog Engine for GPUs.- Towards Parallel Constraint-Based Local Search with the X10 Language.- Debate Games in Logic Programming.- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets.- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.- Heuristic Search Over Program Transformations.