LPAR

Logic for Programming, Artificial Intelligence, and Reasoning

Search within this conference

Search

1. 2015

   LPAR 2015

   • 24-28 November
   • Suva, Fiji

   • Logic for Programming, Artificial Intelligence, and Reasoning

     43 Papers

     1 Volume

2. 2013

   LPAR 2013

   • 14-19 December
   • Stellenbosch, South Africa

   • Logic for Programming, Artificial Intelligence, and Reasoning

     52 Papers

     1 Volume

3. 2012

   LPAR 2012

   • 11-15 March
   • Mérida, Venezuela

   • Logic for Programming, Artificial Intelligence, and Reasoning

     34 Papers

     1 Volume

4. 2010

   LPAR 2010

   • 25 April - 1 May
   • Dakar, Senegal

   • Logic for Programming, Artificial Intelligence, and Reasoning

     73 Papers

     2 Volumes

5. 2008

   LPAR 2008

   • 22-27 November
   • Doha, Qatar

   • Logic for Programming, Artificial Intelligence, and Reasoning

     49 Papers

     1 Volume

6. 2007

   LPAR 2007

   • 15-19 October
   • Yerevan, Armenia

   • Logic for Programming, Artificial Intelligence, and Reasoning

     39 Papers

     1 Volume

7. 2006

   LPAR 2006

   • 13-17 November
   • Phnom Penh, Cambodia

   • Logic for Programming, Artificial Intelligence, and Reasoning

     39 Papers

     1 Volume

8. 2005

   LPAR 2005

   • 2-6 December
   • Montego Bay, Jamaica

   • Logic for Programming, Artificial Intelligence, and Reasoning

     86 Papers

     2 Volumes

9. 2003

   LPAR 2003

   • 22-26 September
   • Almaty, Kazakhstan

   • Logic for Programming, Artificial Intelligence, and Reasoning

     30 Papers

     1 Volume

10. 2002

    LPAR 2002

    • 14-18 October
    • Tbilisi, Georgia

    • Logic for Programming, Artificial Intelligence, and Reasoning

      30 Papers

      1 Volume

11. 2001

    LPAR 2001

    • 3-7 December
    • Havana, Cuba

    • Logic for Programming, Artificial Intelligence, and Reasoning

      50 Papers

      1 Volume

12. 2000

    LPAR 2000

    • 6-10 November
    • Reunion, France

    • Logic for Programming and Automated Reasoning

      30 Papers

      1 Volume

13. 1999

    LPAR 1999

    • 6-10 September
    • Tbilisi, Georgia

    • Logic for Programming and Automated Reasoning

      23 Papers

      1 Volume

14. 1994

    LPAR 1994

    • 16-22 July
    • Kiev, Ukraine

    • Logic Programming and Automated Reasoning

      24 Papers

      1 Volume

15. 1993

    LPAR 1993

    • 13-20 July
    • St. Petersburg, Russia

    • Logic Programming and Automated Reasoning

      36 Papers

      1 Volume

16. 1992

    LPAR 1992

    • 15-20 July
    • St. Petersburg, Russia

    • Logic Programming and Automated Reasoning

      60 Papers

      1 Volume