Logic for Programming, Artificial Intelligence, and Reasoning - 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Paperback, 2008 ed.)

This volume contains the papers presented at the 15th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR) held November22-27inDoha, QataronthepremisesoftheQatarcampusofCarnegie Mellon University. In its 15th edition, LPAR looked back at a rich history. The conference evolved out of the First and Second Russian Conferences on Logic Progr- ming, held in Irkutsk, in 1990, and aboard the ship "Michail Lomonosov" in 1991. The idea of organizing the conference came largely from Robert Kowalski, who also proposed the creation of the Russian Association for Logic Progr- ming. In 1992, it was decided to extend the scope of the conference. Due to considerableinterestinautomatedreasoningintheformerSovietUnion, thec- ference was renamed Logic Programming and Automated Reasoning (LPAR). Under this name three meetings were held during 1992-1994: again on board the ship "Michail Lomonosov" (1992), in St. Petersburg, Russia (1993), and on board the ship "Marshal Koshevoi" (1994). In 1999, the conference was held in Tbilisi, Georgia. At the suggestion of Michel Parigot, the conference changed its nameagaintoLogicforProgrammingandAutomatedReasoning(preservingthe acronym LPAR ) re?ecting an interest in additional areas of logic. LPAR 2000 was held on Reunion Island, France. In 2001, the name (but not the acronym) changed again to its current form. The 8th to the 14th meetings were held in the following locations: Havana, Cuba (2001) Tbilisi, Georgia (2002); Almaty, Kazakhstan(2003);Montevideo, Uruguay(2004);MontegoBay, Jamaica(2005); Phnom Penh, Cambodia (2006); and Yerevan, Armenia (2007).

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 5330
Release date:	November 2008
First published:	2008
Editors:	Iliano Cervesato • Helmut Veith • Andrei Voronkov
Dimensions:	235 x 155 x 37mm (L x W x T)
Format:	Paperback
Pages:	714
Edition:	2008 ed.
ISBN-13:	978-3-540-89438-4
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-89438-1
Barcode:	9783540894384

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!