• 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 & pussel

Upp till 25% på utvalda 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
    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. Programmeringsböcker

    Logic Programming

    22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

    AvSandro Etalle,Miroslav Truszczynski

    Häftad, Engelska, 2006

    Del i serien Lecture Notes in Computer Science

    561 kr

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

    Beskrivning

    This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held in Seattle, WA, USA, in August 2006. This volume presents 20 revised full papers and 6 application papers together with 2 invited talks, 2 tutorials and special interest papers, as well as 17 poster presentations and the abstracts of 7 doctoral consortium articles. Coverage includes all issues of current research in logic programming.

    Produktinformation

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

    Utforska kategorier

    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Invited Talks.- Why Use Datalog to Analyze Programs?.- Semantic Web: The Story of the RIFt so Far.- Invited Tutorial.- Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.- Regular Talks Theory.- Tableau Calculi for Answer Set Programming.- Declarative Semantics of Production Rules for Integrity Maintenance.- Modules for Prolog Revisited.- A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.- Functional and Constraint Logic Programming.- Memory Reuse for CHR.- Overlapping Rules and Logic Variables in Functional Logic Programs.- Towards “Propagation = Logic + Control”.- ACD Term Rewriting.- Program Analysis.- Detecting Determinacy in Prolog Programs.- Collapsing Closures.- Reduced Certificates for Abstraction-Carrying Code.- Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.- Answer-Set Programming.- Justifications for Logic Programs Under Answer Set Semantics.- Generality Relations in Answer Set Programming.- Cooperating Answer Set Programming.- Predicate Introduction Under Stable and Well-Founded Semantics.- Special Interest Paper.- Improving the ISO Prolog Standard by Analyzing Compliance Test Results.- Applications I.- TOAST: Applying Answer Set Programming to Superoptimisation.- Modelling Biological Networks by Action Languages Via Answer Set Programming.- Using Answer Set Programming for the Automatic Compilation of Assessment Tests.- Semantics.- Compositional Semantics for the Procedural Interpretation of Logic.- Coinductive Logic Programming.- Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.- The Semantics of Nominal Logic Programs.- Applications II.- Macros, Macro Calls and Use of Ensembles in Modular Answer SetProgramming.- Deductive Spreadsheets Using Tabled Logic Programming.- Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language.- Poster Presentations.- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.- Solving First-Order Constraints in the Theory of the Evaluated Trees.- Relaxation on Optimization Predicates.- Handling Incomplete and Complete Tables in Tabled Logic Programs.- An External Module for Implementing Linear Tabling in Prolog.- Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.- Towards Region-Based Memory Management for Mercury Programs.- Towards Structured Contexts and Modules.- Towards Temporal Contextual Logic Programming.- Semantic Property Grammars for Knowledge Extraction from Biomedical Text.- Natural Language Processing Using Lexical and Logical Combinators.- Learning Semantic Parsers: A Constraint Handling Rule Approach.- A Declarative Framework for Security: Secure Concurrent Constraint Programming.- Logic Programming in Knowledge Domains.- Logtalk Processing of STEP Part 21 Files.- Integrating Datalog with OWL: Exploring the AL-log Approach.- LMNtal as a Unifying Declarative Language: Live Demonstration.- Doctoral Consortium Presentations.- Declarative Problem Solving Using Answer Set Semantics.- The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.- Description Logic Reasoning in Prolog.- Static Memory Management for Logic Programming Languages.- Deductive Databases: Implementation, Parallelism and Applications.- Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning.- Deducing Logic Programs.