LPAR

17th International Conference on

Logic for Programming, Artificial Intelligence and Reasoning

 
 

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, grew out of the 1st and 2nd Russian Conferences on Logic Programming (RCLP) in 1990 and 1991. The scope of the conference was then extended in 1992 with the change of the name to Logic Programming and Automated Reasoning (LPAR). In 1999 the conference was renamed Logic for Programming and Automated Reasoning and the scope was further extended in 2001 as reflected by its new name Logic for Programming, Artificial Intelligence and Reasoning , keeping the same acronym: LPAR. The conference is also special on its own by its mission "to boldly go where no reasonable conference has gone before". LPAR has attracted well-known researchers in the areas of artificial intelligence, automated reasoning and computational logic. It has become a major annual forum in these areas to present state-of-the-art research results and to discuss advances in the areas.

 

About LPAR

Yogyakarta, Indonesia

October 10th - 15th, 2010

Previous LPAR

  1. -RCLP 1990, 1st Russian Conference on Logic Programming, Irkutsk, Russia
    Proceedings LNCS 592

  2. -RCLP 1991, 2nd Russian Conference on Logic Programming, St.Petersburg, Russia
    Proceedings LNCS 592

  3. -LPAR 1992, 3rd International Conference on Logic Programming and Automated Reasoning,  St.Petersburg, Russia
    Proceedings LNCS 624

  4. -LPAR 1993, 4th International Conference on Logic Programming and Automated Reasoning, St.Petersburg, Russia
    Proceedings LNCS 698

  5. -LPAR 1994, 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine
    Proceedings LNCS 822

  6. -LPAR 1999: 6th International Conference on Logic for Programming and Automated Reasoning, Tbilisi, Georgia

  7. Proceedings LNCS 1705

  8. -LPAR 2000: 7th International Conference on Logic for Programming and Automated Reasoning, Reunion Island, France
    Proceedings LNCS 1955

  9. -LPAR 2001: 8th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Havana, Cuba
    Proceedings LNCS 2250

  10. -LPAR 2002: 9th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Tbilisi, Georgia
    Proceedings LNCS 2514

  11. -LPAR 2003: 10th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Almaty, Kazakhstan
    Proceedings LNCS 2850

  12. -LPAR 2004: 11th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Montevideo, Uruguay
    Proceedings LNCS 3452

  13. -LPAR 2005: 12th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Montego Bay, Jamaica
    Proceedings LNCS 3835

  14. -LPAR 2006: 13th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Phnom Penh, Cambodia
    Proceedings LNCS 4246

  15. -LPAR 2007: 14th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Yerevan, Armenia
    Proceedings LNCS 4790

  16. -LPAR 2008: 15th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Doha, Qatar
    Proceedings LNCS 5330

  17. -16th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Dakar, Senegal, April 25th - May 1st, 2010