- 5 Ergebnisse
Kleinster Preis: € 13,19, größter Preis: € 132,43, Mittelwert: € 85,90
1
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings Patricia M. Hill Taschenbuch Lecture Notes in Computer Science Book Englisch - Hill, Patricia M.
Bestellen
bei booklooker.de
€ 69,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Hill, Patricia M.:

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings Patricia M. Hill Taschenbuch Lecture Notes in Computer Science Book Englisch - Taschenbuch

2009, ISBN: 9783642028458

[ED: Taschenbuch], [PU: Springer Berlin], This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
2
Bestellen
bei Indigo.ca
C$ 182,50
(ca. € 132,43)
Bestellen
Details und Versand
gesponserter Link
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings - neues Buch

2009, ISBN: 9783642028458

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The … Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Bestellen
bei Biblio.co.uk
$ 14,09
(ca. € 13,19)
Versand: € 19,661
Bestellen
Details beim Anbieter
gesponserter Link
Patricia M. Hill (Editor), David S. Warren (Editor):
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) - Taschenbuch

2009

ISBN: 9783642028458

Springer, 2009-08-11. 2009. Paperback. Used:Good., Springer, 2009-08-11, 0

Versandkosten: EUR 19.66 Ergodebooks
zuklappen (X)
4
Logic Programming
Bestellen
bei eBook.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic Programming - neues Buch

2009, ISBN: 3642028454

Logic Programming - 25th International Conference ICLP 2009 Pasadena CA USA July 14-17 2009 Proceedings. Auflage 2009: ab 106.99 € Medien > Bücher, [PU: Springer, Berlin/Heidelberg/New Yo… Mehr…

Nr. 8666266. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Patricia M. Hill; David S. Warren:
Logic Programming - Taschenbuch

2009, ISBN: 9783642028458

25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2009

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Autor:
Titel:
ISBN-Nummer:

9783642028458

Detailangaben zum Buch - Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings


EAN (ISBN-13): 9783642028458
ISBN (ISBN-10): 3642028454
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin
564 Seiten
Gewicht: 0,871 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-03-26T15:52:46+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-11-12T13:06:22+01:00 (Zurich)
ISBN/EAN: 9783642028458

ISBN - alternative Schreibweisen:
3-642-02845-4, 978-3-642-02845-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hills, warren hill, david warren, patricia hill, pat warren
Titel des Buches: usa, international conference software, logic computer science, international conference proceedings, logic programming, engineering

Daten vom Verlag:

Autor/in: Patricia M. Hill; David S. Warren
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Logic Programming - 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Verlag: Springer; Springer Berlin
564 Seiten
Erscheinungsjahr: 2009-06-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 564 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Constraint; Debugging; Natural; agents; artificial intelligence; bioinformatics; databases; inference engine; knowledge; knowledge representation; logic; nonmonotonic reasoning; program transformation; software engineering; verification; Theory of Computation; Compilers and Interpreters; Programming Techniques; Mathematics of Computing; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Mathematik für Informatiker; Künstliche Intelligenz; EA

Invited Talks.- Experiences Using Logic Programming in Bioinformatics.- A Knowledge Base System Project for FO(.).- From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.- Generative Modeling by PRISM.- Tutorials.- Enabling Serendipitous Search on the Web of Data Using Prolog.- Untangling Reverse Engineering with Logic and Abstraction.- (C)LP Tracing and Debugging.- Probabilistic Logic Learning - A Tutorial Abstract.- Best Papers.- Using Histograms to Better Answer Queries to Probabilistic Logic Programs.- Non-discriminating Arguments and Their Uses.- Applications I.- Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.- Stabilization of Information Sharing for Queries Answering in Multiagent Systems.- Logic Programming for Multiagent Planning with Negotiation.- Implementation I.- Answer Set Programming with Constraints Using Lazy Grounding.- Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.- Theory.- Modular Nonmonotonic Logic Programming Revisited.- Merging Logic Programs under Answer Set Semantics.- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.- Implementation II.- A Tabling Implementation Based on Variables with Multiple Bindings.- A Term-Based Global Trie for Tabled Logic Programs.- Analysis.- A New Approach to Non-termination Analysis of Logic Programs.- Constraints I.- Constraint Answer Set Solving.- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.- System and Tool Descriptions.- A Language for Large Ensembles of Independently Executing Nodes.- Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.- Debugging for Model Expansion.- Applications II.- Metabolic Network Expansion with Answer Set Programming.- Answer Set Programming for Single-Player Games in General Game Playing.- Finding Similar or Diverse Solutions in Answer Set Programming.- Implementation III.- Attributed Data for CHR Indexing.- User Defined Indexing.- Constraints II.- Integration of Abductive Reasoning and Constraint Optimization in SCIFF.- Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.- Probability, Uncertainty.- Logic Programming with Defaults and Argumentation Theories.- Qualified Computations in Functional Logic Programming.- Logic Programs under Three-Valued ?ukasiewicz Semantics.- Short Papers.- Execution Control for CHR.- Demand-Driven Normalisation for ACD Term Rewriting.- One More Decidable Class of Finitely Ground Programs.- Optimizing Compilation and Computational Complexity of Constraint Handling Rules.- Proving Termination by Invariance Relations.- Automating Termination Proofs for CHR.- An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.- An Engine for Computing Well-Founded Models.- Incremental Answer Completion in the SLG-WAM.- Doctoral Consortium.- Research Summary: Tabled Evaluation for Transaction Logic Programs.- Research Summary: Logic Programming for Massively Distributed Systems.- Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality.- Research Summary.- Research Summary: Termination of CHR.- Research Summary: Intelligent Natural Language Processing Techniques and Tools.- Stochastic Reasoning with Models of Agent Behavior.- Research Summary.- Modular Action Language .- Answering Questionsfrom Natural Language Using A-Prolog.- Belief Logic Programming.- Logic-Statistic Models with Constraints for Biological Sequence Analysis.- Fusion of Logic Programming and Description Logics.- Research Summary: Non-termination Analysis of Logic Programs.- Study of Random Logic Programs.- Locally Distributed Predicates: A Programming Facility for Distributed State Detection.- Capturing Fair Computations on Concurrent Constraint Language.- Constraint Based Languages for Biological Reactions.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9789400950443 Logic Programming (I. Balbin; K. Lecot)

< zum Archiv...