• 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. Programmeringsböcker

      Logic Programming

      21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

      AvMaurizio Gabbrielli,Gopal Gupta

      Häftad, Engelska, 2005

      Del i serien Lecture Notes in Computer Science

      577 kr

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

      Beskrivning

      This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The conference was colocated with the International Conf- ence on ConstraintProgramming(CP 2005)and the following 6 post-conference workshops: - CICLOPS 2005: Colloquium on Implementation of Constraint and Logic Programming Systems - CSLP 2005: Constraint Solving and Language Processing - WCB 2005: Constraint Based Methods for Bioinformatics - WLPE 2005: Logic-Based Methods in Programming Environments - MoVeLog 2005: Mobile Code Safety and Program Veri?cation Using C- putational Logic Tools - CHR 2005: Constraint Handling Rules The conferencecoincided with a solareclipse, whichoccurredon October 3rd and was visible in Sitges. No conference activities were scheduled at the time of the eclipse to allow delegates to view this extraordinary astronomical event. Since the ?rst conference that was held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic progr- ming.In this edition of the conference, extra attention was given to novel - plications of logic programming and to work providing novel integrations of di?erent areas. Colocation with CP 2005 further reinforced these themes, as it provided an opportunity for the exchange of ideas and cross-fertilization among two areaswhich havecommon roots. ICLP 2005and CP 2005sharedthe invited speakers to underscore this e?ort. ICLP 2005 broke new ground by holding a doctoral consortium for the ?rst time in the ICLP series of conference.

      Produktinformation

      • Utgivningsdatum:2005-09-19
      • Mått:155 x 235 x undefined mm
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:458
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540292081

      Utforska kategorier

      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • OWL: A Description Logic Based Ontology Language.- Preference Reasoning.- The G12 Project: Mapping Solver Independent Models to Efficient Solutions.- Use of Logic Programming for Complex Business Rules.- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels).- Towards an Integration of Answer Set and Constraint Solving.- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.- Guard and Continuation Optimization for Occurrence Representations of CHR.- Coordination of Many Agents.- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.- An Optimised Semantic Web Query Language Implementation in Prolog.- A Distributed and Probabilistic Concurrent Constraint Programming Language.- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.- Abduction of Linear Arithmetic Constraints.- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.- Hybrid Probabilistic Logic Programs with Non-monotonic Negation.- Reducing Inductive Definitions to Propositional Satisfiability.- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.- Nondeterminism Analysis of Functional Logic Programs.- Techniques for Scaling Up Analyses Based on Pre-interpretations.- Deductive Multi-valued Model Checking.- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.- Testing for Termination with Monotonicity Constraints.- A Well-Founded Semantics with Disjunction.- Semantics of Framed Temporal Logic Programs.- Practical Higher-Order Pattern Unification with On-the-Fly Raising.- Small Proof Witnesses for LF.- A Type System for CHR.- Decision Support for Personalization on Mobile Devices.- A Generic Framework for the Analysis and Specialization of Logic Programs.- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic.- Modeling Systems in CLP.- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics.- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process.- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP.- The MYDDAS Project: Using a Deductive Database for Traffic Characterization.- Open World Reasoning in Datalog.- Optimizing Queries for Heterogeneous Information Sources.- Denotational Semantics Using Horn Concurrent Transaction Logic.- Gentra4cp: A Generic Trace Format for Constraint Programming.- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.- Formalization and Verification of Interaction Protocols.- -LTL for Constraint-Based Security Protocol Analysis.- Concurrent Methodologies for Global Optimization.- A Temporal Programming Language for Heterogeneous Information Systems.- Nonmonotonic Logic Programs for the Semantic Web.- ICLP 2005 Doctoral Consortium.- Analysis and Optimization of CHR Programs.
      Hoppa över listan

      Du kanske också är intresserad av

      Gopal Gupta, Maurizio Gabbrielli - Logic Programming, E-bok

      Logic Programming

      Gopal Gupta, Maurizio Gabbrielli

      E-bok
      2005

      739 kr

      Maurizio Gabbrielli - Logic-Based Program Synthesis and Transformation, Häftad
      Del 12042

      Logic-Based Program Synthesis and Transformation

      Maurizio Gabbrielli

      Häftad, 2020

      577 kr

      Simone Martini, Maurizio Gabbrielli - Programming Languages: Principles and Paradigms, E-bok

      Programming Languages: Principles and Paradigms

      Simone Martini, Maurizio Gabbrielli

      E-bok
      2010

      394 kr

      Maurizio Gabbrielli, Simone Martini - Programming Languages: Principles and Paradigms, Häftad

      Programming Languages: Principles and Paradigms

      Maurizio Gabbrielli, Simone Martini

      Häftad, 2010

      421 kr

      Gopal Gupta - Multiprocessor Execution of Logic Programs, Häftad

      Multiprocessor Execution of Logic Programs

      Gopal Gupta

      Häftad, 2012

      1 716 kr

      Maurizio Gabbrielli, Simone Martini - Programming Languages: Principles and Paradigms, Häftad

      Programming Languages: Principles and Paradigms

      Maurizio Gabbrielli, Simone Martini

      Häftad, 2023

      622 kr

      Maurizio Gabbrielli - Logic-Based Program Synthesis and Transformation, E-bok

      Logic-Based Program Synthesis and Transformation

      Maurizio Gabbrielli

      E-bok
      2020

      732 kr

      Gopal Gupta - Practical Aspects of Declarative Languages, E-bok

      Practical Aspects of Declarative Languages

      Gopal Gupta

      E-bok
      2003

      734 kr

      Gopal Gupta, Ricardo Peña - Logic-Based Program Synthesis and Transformation, Häftad
      Del 8901

      Logic-Based Program Synthesis and Transformation

      Gopal Gupta, Ricardo Peña

      Häftad, 2014

      538 kr

      Simone Martini, Maurizio Gabbrielli - Programming Languages: Principles and Paradigms, E-bok

      Programming Languages: Principles and Paradigms

      Simone Martini, Maurizio Gabbrielli

      E-bok
      2023

      815 kr