Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
13 results · clear filters Sort: newest oldest name
- LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024Computer and information sciencese11h14h
- LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024Computer and information sciencese11h15f
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencess10a7nr
- LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.Computer and information sciencese11h13k
- LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.Computer and information sciencese11h12n
- LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018Computer and information sciencese11h11q
- 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015.Computer and information sciencese11h0yx
- LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedingsComputer and information sciencese11h0xz
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zhj
- Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. ProceedingsComputer and information sciencese11h0v3
- Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010Computer and information sciencese11h0w1
- 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, 2008Computer and information sciencese11h0t5
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zdv
As JSON: https://labs.confref.org/api/search?discipline=Q5157327