Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Bjørner Nikolaj (Directeur de publication), Voronkov Andrei (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham
Collection : Theoretical computer science and general issues (Online)
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Software Engineering
Programming Techniques
Artificial Intelligence.
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
Compilers and Interpreters
Actes de congrès
Documents associés : Autre format: Logic for Programming, Artificial Intelligence, and Reasoning
Autre format: Logic for Programming, Artificial Intelligence, and Reasoning
Description
Résumé : This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
ISBN : 978-3-642-28717-6