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.

34 results · clear filters Sort: newest oldest name

  1. LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024
    2024 · Port Louis, Mauritius
    Computer and information sciences
    e11h14h
  2. LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024
    2024 · Port Louis, Mauritius
    Computer and information sciences
    e11h15f
  3. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    series, 33 events, 1990 to 2024
    Computer and information sciences
    s10a7nr
  4. LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.
    2023 · Manizales, Colombia
    Computer and information sciences
    e11h13k
  5. LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.
    2020 · Alicante, Spain
    Computer and information sciences
    e11h12n
  6. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 (LPAR)
    2018-11-16/21 · Hawaasa, Ethiopia
    Computer and information sciences
    e11h10s
  7. LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018
    2018 · Hawaasa, Ethiopia
    Computer and information sciences
    e11h11q
  8. LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 (LPAR)
    2017-05-07/12 · Maun, Botswana
    Computer and information sciences
    e11h0zv
  9. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)
    2015-11-24/28 · Suva, Fiji
    Computer and information sciences
    e105zmc
  10. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015.
    2015 · Suva, Fiji
    Computer and information sciences
    e11h0yx
  11. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2013-12-14/19 · Stellenbosch, South Africa
    Computer and information sciences
    e105zke
  12. LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings
    2013 · Stellenbosch, South Africa
    Computer and information sciences
    e11h0xz
  13. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2012-03-11/15 · Mérida, Venezuela
    Computer and information sciences
    e105zjg
  14. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2010-10-10/15 · Yogyakarta, Indonesia
    Computer and information sciences
    e12mrez
  15. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2010-04-25 to 2010-05-01 · Dakar, Senegal
    Computer and information sciences
    e105zhj
  16. Logic Programming and Automated Reasoning (LPAR) (LPAR)
    2010-01-01 · Yogyakarta, Indonesia
    Computer and information sciences
    e12mrd1
  17. Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
    2010 · Yogyakarta, Indonesia
    Computer and information sciences
    e11h0v3
  18. Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010
    2010 · Yogyakarta, Indonesia
    Computer and information sciences
    e11h0w1
  19. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2008-11-22/27 · Doha, Qatar
    Computer and information sciences
    e105zgm
  20. 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
  21. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2007-10-15/19 · Yerevan, Armenia
    Computer and information sciences
    e105zfq
  22. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2006-11-13/17 · Phnom Penh, Cambodia
    Computer and information sciences
    e105zes
  23. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2005-03-14/18 · Montevideo, Uruguay
    Computer and information sciences
    e105zdv
  24. 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
  25. 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

As JSON: https://labs.confref.org/api/search?series=s10a7nr