Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

12 results · clear filters Sort: newest oldest name

  1. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    series, 33 events, 1990 to 2024
    Computer and information sciences
    s10a7nr
  2. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2008-11-22/27 · Doha, Qatar
    Computer and information sciences
    e105zgm
  3. Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008
    2008 · Doha, Qatar
    Computer and information sciences
    e11h0t5
  4. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2007-10-15/19 · Yerevan, Armenia
    Computer and information sciences
    e105zfq
  5. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2006-11-13/17 · Phnom Penh, Cambodia
    Computer and information sciences
    e105zes
  6. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2005-03-14/18 · Montevideo, Uruguay
    Computer and information sciences
    e105zdv
  7. Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (LPAR)
    2005-01-01 · Montego Bay, Jamaica
    Computer and information sciences
    e11h0s7
  8. Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (LPAR)
    2004-01-01 · Montevideo, Uruguay
    Computer and information sciences
    e11h0r9
  9. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2003-09-22/26 · Almaty, Kazakhstan
    Computer and information sciences
    e105zcx
  10. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2002-10-14/18 · Tbilisi, Georgia
    Computer and information sciences
    e105zbz
  11. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2001-12-03/07 · Havana, Cuba
    Computer and information sciences
    e105za1
  12. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2000-11-06/10 · Réunion
    Computer and information sciences
    e105z93

As JSON: https://labs.confref.org/api/search?series=s10a7nr&from=2000&to=2009