• 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
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

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
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    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
      • Populära bokserier
      • 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 @ 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

      25-Year Perspective on Logic Programming

      Achievements of the Italian Association for Logic Programming, GULP

      AvAgostino Dovier,Enrico Pontelli

      Häftad, Engelska, 2010

      Del i serien Lecture Notes in Computer Science

      566 kr

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

      Beskrivning

      This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its 25-year existence, GULP has organised a wide range of national and international activities, including both conferences and summer schools. It has been especially active in supporting and encouraging young researchers, by providing scholarships for GULP events and awarding distinguished disser- tions. WeintheinternationallogicprogrammingcommunitylookuponGULPwith a combination of envy, admiration and gratitude. We are pleased to attend its conferences and summer schools, where we can learn about scienti?c advances, catch up with old friends and meet young students. It is an honour for me to acknowledge our appreciation to GULP for its outstanding contributions to our ?eld and to express our best wishes for its continuing prosperity in the future. March 2010 Robert Kowalski Imperial College London Preface On June 18, 1985, a group of pioneering researchers, including representatives from industry, national research labs, and academia, attended the constituent assembly of the Group of researchers and Users of Logic Programming (GULP) association. That was the starting point of a long adventure in science, that 1 we are still experiencing 25 years later. This volume celebrates this important event.

      Produktinformation

      • Utgivningsdatum:2010-06-30
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:329
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783642143083

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Programmeringsböcker inom Data och IT

      Recensioner i media

      From the reviews: "Chapters reviews a logic programming (LP) topic of current interest, and the progress made during the last 25 years, with special attention given to the accomplishments of Italian researchers. ... Each chapter offers directions for future research in the given area. The chapters are well written, and the uniform style is unusual for a book of this kind. This book should be of interest to seasoned researchers as well as novices. ... list of references at the end of each chapter should be especially helpful." (D. Bollman, ACM Computing Reviews, April, 2011)

      Innehållsförteckning

      • Twenty-Five Years of Logic Programming in Italy.- Logic Programming in Italy: A Historical Perspective.- Theoretical Foundations and Semantics of Logic Programming.- Theory-Specific Automated Reasoning.- Constraint Logic Programming.- Knowledge Representation and Non-monotonic Reasoning.- The Transformational Approach to Program Development.- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.- Answer Set Programming.- Logic Programming Languages for Databases and the Web.- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?.- Concurrent and Reactive Constraint Programming.- Proof-Theoretic and Higher-Order Extensions of Logic Programming.- Transformation and Debugging of Functional Logic Programs.- 25 Years of Applications of Logic Programming in Italy.
      Hoppa över listan

      Du kanske också är intresserad av

      Enrico Pontelli, Agostino Dovier - 25-Year Perspective on Logic Programming, E-bok

      25-Year Perspective on Logic Programming

      Enrico Pontelli, Agostino Dovier

      E-bok
      2010

      732 kr

      Agostino Dovier, Angelo Montanari - AIxIA 2022 - Advances in Artificial Intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022,, Övrigt

      AIxIA 2022 - Advances in Artificial Intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022,

      Agostino Dovier, Angelo Montanari

      667 kr

      Andrea Orlandini, Angelo Montanari, Agostino Dovier - AIxIA 2022 - Advances in Artificial Intelligence, E-bok

      AIxIA 2022 - Advances in Artificial Intelligence

      Andrea Orlandini, Angelo Montanari, Agostino Dovier

      E-bok
      2023

      894 kr

      Agostino Dovier, Angelo Montanari, Andrea Orlandini - AIxIA 2022 – Advances in Artificial Intelligence, Häftad
      Del 13796

      AIxIA 2022 – Advances in Artificial Intelligence

      Agostino Dovier, Angelo Montanari, Andrea Orlandini

      Häftad, 2023

      735 kr

      Tran Cao Son, Enrico Pontelli - Practical Aspects of Declarative Languages, E-bok

      Practical Aspects of Declarative Languages

      Tran Cao Son, Enrico Pontelli

      E-bok
      2015

      569 kr

      Enrico Pontelli, Tran Cao Son - Practical Aspects of Declarative Languages, Häftad
      Del 9131

      Practical Aspects of Declarative Languages

      Enrico Pontelli, Tran Cao Son

      Häftad, 2015

      454 kr

      Enrico Pontelli, Maria Garcia Banda - Logic Programming, E-bok

      Logic Programming

      Enrico Pontelli, Maria Garcia Banda

      E-bok
      2008

      1 455 kr

      Enrico Pontelli, Santos C. Vitor - Practical Aspects of Declarative Languages, Häftad

      Practical Aspects of Declarative Languages

      Enrico Pontelli, Santos C. Vitor

      Häftad, 2000

      566 kr

      Maria Garcia Banda, Enrico Pontelli - Logic Programming, Häftad

      Logic Programming

      Maria Garcia Banda, Enrico Pontelli

      Häftad, 2008

      1 124 kr

      Santos C. Vitor, Enrico Pontelli - Practical Aspects of Declarative Languages, E-bok

      Practical Aspects of Declarative Languages

      Santos C. Vitor, Enrico Pontelli

      E-bok
      2003

      732 kr