shop by
Category
items
0 

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

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

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).

Specifications

Publisher Springer-Verlag New York Inc
Mfg Part# 9783540894384
SKU 210518319
Format Paperback
ISBN10 3540894381
Release Date 5/14/2012
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT