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.
• Physical Description: XIV, 498 p. 49 illus. online resource.
• ISBN: 9783642333538
• ISSN: 0302-9743 ;

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 aspects of theory and methods of logic for artificial intelligence.