Verwandte Artikel zu Logic Programming: 25th International Conference, ICLP...
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings: 5649 (Programming and Software Engineering) - Softcover
Inhaltsangabe
Rare Book
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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 ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative research results in the ?eld of logic programming. Theconference,whichwasco-locatedwiththeInternationalJointConference on Arti?cial Intelligence (IJCAI), featured technical presentations, tutorials, - vited talks, and a number of special events, including: - The 5th ICLP Doctoral Student Consortium - The Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) - The 6th International Workshop on Constraint Handling Rules (CHR) - The 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) - The 4th International Workshop on (Constraint) Logic Programming and Software Engineering (CLPSE) - The First Workshop on Commercial Users of Logic Programming (CULP) - Workshop on ISO Prolog - WG17 - The 19th Workshopon Logic-basedmethods in ProgrammingEnvironments (WLPE) Since the ?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming. The present edition of the conference received 69 submissions in three categories:application, system and tool, and technical papers. From these, the ProgramCommittee selected 29 papers for presentation and inclusion in the proceedings. In addition, the committee selected nine short papers describing on-going research work, PhD theses and research project overviews for poster presentations and inclusion in the proceedings.
Contraportada
This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer Berlin Heidelberg
- Erscheinungsdatum2010
- ISBN 10 3642028454
- ISBN 13 9783642028458
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten584
- HerausgeberHill Patricia M.
Neu kaufen
Diesen Artikel anzeigen
EUR 62,25
EUR 14,25 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für Logic Programming: 25th International Conference, ICLP...
Beispielbild für diese ISBN
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings (Lecture Notes in Computer Science, 5649)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783642028458_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken, -ecken u. -kanten leicht angestossen | Seiten: 564 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 5497069/12
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings
Verlag:
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2009
ISBN 10: 3642028454
ISBN 13: 9783642028458
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics. Artikel-Nr. 9783642028458
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic Programming: 25th International Conference, Iclp 2009, Pasadena, Ca, USA, July 14-17, 2009, Proceedings: Vol 5649
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2009 edition. 580 pages. 9.00x6.00x1.25 inches. In Stock. Artikel-Nr. x-3642028454
Anzahl: 2 verfügbar