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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cerro, Luis Fariñas del (Επιμελητής έκδοσης), Herzig, Andreas (Επιμελητής έκδοσης), Mengin, Jérôme (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7519
• Θέματα: 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.
• Φυσική περιγραφή: 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.