Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Cerro, Luis Fariñas del (Editor), Herzig, Andreas (Editor), Mengin, Jérôme (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7519
• Subjects: Computer science.; Computer programming.; Computer logic.; Mathematical logic.; Information storage and retrieval.; Artificial intelligence.; Computer graphics.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Programming Techniques.; Information Storage and Retrieval.; Computer Imaging, Vision, Pattern Recognition and Graphics.

This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selected from 107 submissions. The papers cover various a...