2004, ISBN: 9783540277750
*Logic Programming* - 20th International Conference ICLP 2004 Saint-Malo France September 6-10 2004 Proceedings / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaf… Plus…
Hugendubel.de Frais d'envoiIn stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., plus verzendkosten. (EUR 7.50) Details... |
2004, ISBN: 9783540277750
Logic Programming - 20th International Conference ICLP 2004 Saint-Malo France September 6-10 2004 Proceedings: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer Berlin H… Plus…
eBook.de Frais d'envoiin stock, , , plus verzendkosten., Livraison non-comprise Details... |
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - nouveau livre
2004, ISBN: 9783540277750
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783540277750. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - nouveau livre
2004, ISBN: 9783540277750
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783540277750. Frais d'envoiInstock, Despatched same working day before 3pm, plus verzendkosten., Livraison non-comprise Details... |
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - nouveau livre
2004, ISBN: 9783540277750
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
hive.co.uk No. 9783540277750. Frais d'envoiInstock, Despatched same working day before 3pm, zzgl. Versandkosten., Livraison non-comprise Details... |
2004, ISBN: 9783540277750
*Logic Programming* - 20th International Conference ICLP 2004 Saint-Malo France September 6-10 2004 Proceedings / pdf eBook für 53.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaf… Plus…
2004, ISBN: 9783540277750
Logic Programming - 20th International Conference ICLP 2004 Saint-Malo France September 6-10 2004 Proceedings: ab 53.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer Berlin H… Plus…
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - nouveau livre
2004
ISBN: 9783540277750
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - nouveau livre
2004, ISBN: 9783540277750
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - nouveau livre
2004, ISBN: 9783540277750
; PDF; Computing > Computer programming / software development, Springer Berlin Heidelberg
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Logic Programming
EAN (ISBN-13): 9783540277750
Date de parution: 2004
Editeur: Springer Berlin Heidelberg
Livre dans la base de données depuis 2017-03-24T23:05:17+01:00 (Paris)
Page de détail modifiée en dernier sur 2023-06-04T22:28:57+02:00 (Paris)
ISBN/EAN: 9783540277750
ISBN - Autres types d'écriture:
978-3-540-27775-0
Autres types d'écriture et termes associés:
Auteur du livre: lifschitz
Titre du livre: logic programming
Données de l'éditeur
Auteur: Bart Demoen; Vladimir Lifschitz
Titre: Lecture Notes in Computer Science; Logic Programming - 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Editeur: Springer; Springer Berlin
484 Pages
Date de parution: 2004-11-18
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 484 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Resolution; computational logics; constraint programming; logic; logic inference; logic programming; mathematical logic; program logics; programming language; programming theory; prolog programming; proving; semantics; verification; C; Software Engineering; Programming Techniques; Artificial Intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; Compiler und Übersetzer; Theoretische Informatik; BC
Invited Talks.- Termination by Abstraction.- Answer Set Programming and the Design of Deliberative Agents.- Regular Talks.- Abstract Domains Based on Regular Types.- Termination of Logic Programs Using Various Dynamic Selection Rules.- Improving Prolog Programs: Refactoring for Prolog.- Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.- The Refined Operational Semantics of Constraint Handling Rules.- Compiling Ask Constraints.- Constraint Handling Rules and Tabled Execution.- Possible Worlds Semantics for Probabilistic Logic Programs.- Limiting Resolution: From Foundations to Implementation.- Generalised Kernel Sets for Inverse Entailment.- On Programs with Linearly Ordered Multiple Preferences.- Splitting an Operator.- Simplifying Logic Programs Under Answer Set Semantics.- On Acyclic and Head-Cycle Free Nested Logic Programs.- Fast Query Evaluation with (Lazy) Control Flow Compilation.- Speculative Computations in Or-Parallel Tabled Logic Programs.- ?Prolog: A Logic Programming Language with Names, Binding and ?-Equivalence.- Implementation Results in Classical Constructive Negation.- On Hybridization of Local Search and Constraint Propagation.- Arc-Consistency + Unit Propagation = Lookahead.- The period Constraint.- Non-viability Deductions in Arc-Consistency Computation.- Compiling Prioritized Circumscription into Answer Set Programming.- Enhancing the Magic-Set Method for Disjunctive Datalog Programs.- Rectilinear Steiner Tree Construction Using Answer Set Programming.- Adding Domain Dependent Knowledge into Answer Set Programs for Planning.- Multi-agent Coordination as Distributed Logic Programming.- Logic Programs with Annotated Disjunctions.- Poster Presentations.- Abstract Interpretation-Based Mobile CodeCertification.- Labeled Logic Programs.- Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web.- Protein Folding Simulation in CCP.- Applying CLP to Predict Extra-Functional Properties of Component-Based Models.- Main Results of the OADymPPaC Project.- FDBG, the CLP Debugger Library of SICStus Prolog.- Development of Semantic Debuggers Based on Refinement Calculus.- A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer.- Grid Service Selection with PPDL.- Concurrent Constraint Programming and Tree–Based Acoustic Modelling.- MProlog: An Extension of Prolog for Modal Logic Programming.- Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.- Constraint-Based Synchronization and Verification of Distributed Java Programs.- JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR.- Agent Oriented Logic Programming Constructs in Jinni 2004.Includes supplementary material: sn.pub/extras
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783540454182 Smart Card Programming and Security (Isabelle Attali; Thomas Jensen)
- 9783540454182 Smart Card Programming and Security (Isabelle Attali; Thomas Jensen)
- 9783540226710 Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Bart Demoen Editor (Demoen, Bart Lifschitz, Vladimir)
- 9783540426103 Smart Card Programming and Security (E-smart 2001 (Conference), Isabelle Attali, Thomas Jensen)
< pour archiver...