Articoli correlati a Logic Programming: 25th International Conference, ICLP...

Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings: 5649 - Brossura

 
9783642028458: Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings: 5649
Brossura
ISBN 10: 3642028454 ISBN 13: 9783642028458
Casa editrice: Springer Berlin Heidelberg, 2010

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Berlin Heidelberg
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
3642028454
ISBN 13 
9783642028458
Rilegatura
Copertina flessibile
Numero di pagine
584
Redattore
Hill Patricia M.
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania