Conference series Beta

International Conference on Logic for Programming Artificial Intelligence and Reasoning

LPAR

Events: 33 (1990 to 2024)
Website: http://lpar.net/
Academic field: Natural sciences: Computer and information sciences
Disciplines: automated reasoning, computational logic, computer science, logic programming
Identifier: https://id.confref.org/series/s10a7nr

Events (33)

19902024

Year	No.	Event	Place	Date
2024		LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024	Port Louis
2024	25	LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024	Port Louis
2023	24	LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.	Manizales
2020	23	LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.	Alicante
2018	22	LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 LPAR	Hawaasa	2018-11-16/21
2018		LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018	Hawaasa
2017	21	LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 LPAR	Maun	2017-05-07/12
2015	20	Logic for Programming, Artificial Intelligence, and Reasoning LPAR	Suva	2015-11-24/28
2015	20	20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015.	Suva
2013	19	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Stellenbosch	2013-12-14/19
2013	19	LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings	Stellenbosch
2012	18	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Mérida	2012-03-11/15
2010		International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Yogyakarta	2010-10-10/15
2010	16	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Dakar	2010-04-25 to 2010-05-01
2010		Logic Programming and Automated Reasoning (LPAR) LPAR	Yogyakarta	2010-01-01
2010	17	Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings	Yogyakarta
2010	17	Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010	Yogyakarta
2008	15	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Doha	2008-11-22/27
2008	7	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	Doha
2007	14	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Yerevan	2007-10-15/19
2006	13	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Phnom Penh	2006-11-13/17
2005	11	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Montevideo	2005-03-14/18
2005	12	Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings LPAR	Montego Bay	2005-01-01
2004	11	Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings LPAR	Montevideo	2004-01-01
2003	10	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Almaty	2003-09-22/26
2002	9	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Tbilisi	2002-10-14/18
2001	8	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Havana	2001-12-03/07
2000	7	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Réunion	2000-11-06/10
1999	6	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Tbilisi	1999-09-06/10
1994	5	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Kyiv	1994-07-16/22
1993	4	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Saint Petersburg	1993-07-13/20
1992	3	International Conference on Logic for Programming Artificial Intelligence and Reasoning LPAR	Saint Petersburg	1992-07-15/20
1990		Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings LPAR	Saint Petersburg	1990-09-14

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
CORE	A	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	B	2017-04-06	ratings-springer-lod
h5-index	18	2017	ratings-springer-lod · source
h5-median	23	2017	ratings-springer-lod · source
Qualis	B	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/lpar`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/lpar`
Wikidata	`http://www.wikidata.org/entity/Q18350141`
dblp	`https://dblp.org/streams/conf/lpar`
GND	`https://d-nb.info/gnd/1091745498`

Cite

International Conference on Logic for Programming Artificial Intelligence and Reasoning. confref identifier s10a7nr. https://id.confref.org/series/s10a7nr

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.