Logic Programming: 25th International Conference, ICLP ,
ISBN: , SKU: , AUTHOR: Hill, Patricia M. / Warren, David S., PUBLISHER: Springer, This book constitutes ong>theong> refereed ong>proceedingsong> ong>ofong> ong>theong> 25th Interong>nationalong> ong>Conferenceong> on Logic Programming, ICLP , held in Pasadena, CA, USA, in July. ong>Theong> 29 revised full papers togeong>theong>r with 9 short papers, 4 invited talks, 4 invited tutorials, and ong>theong> abstracts ong>ofong> 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. ong>Theong> papers cover all issues ong>ofong> 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, prong>ofong>iling, 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, song>ofong>tware engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics. Acquista Ora