International Conference on Logic Programming: Difference between revisions

Revision as of 14:46, 6 October 2023

Latest revision as of 02:11, 29 July 2025

(2 intermediate revisions by 2 users not shown)

Line 1:

{{Short description|Academic conference series on logic programming}}

{{Use dmy dates|date=April 2022}}

The '''International Conference on Logic Programming''' ('''ICLP''') is anthe annualpremier [[academic conference]] on the topic of [[logic programming]], one of the main [[programming paradigms]]. It is sponsoredorganized annually by the [[Association for Logic Programming]] (ALP). The conference consists of peer-reviewed papers with the post-proceedings published by [[Springer Science+Business Media|Springer]]'s [[Lecture Notes in Computer Science|LNCS]] series. It was started out of work done at the [[Departmentinternational ofjournal Computing,''Theory Imperialand College London|DepartmentPractice of ComputingLogic andProgramming'' Control]](TPLP), [[Imperial College London]].<ref>{{Cite web|url=https://www.doc.iccambridge.ac.ukorg/~mjscore/publicationsjournals/BobPortrait.pdftheory-and-practice-of-logic-programming|title=BobTheory Kowalski:and APractice Portraitof Logic Programming|firstpublisher=Marek[[Cambridge University Press]]|lastaccess-date=Sergot2023-10-08}}</ref> published by [[Cambridge University Press]]. The acceptance rate for TPLP papers is about 20%. Technical Communications are published as [[Electronic Proceedings in Theoretical Computer Science]].

The first ICLP was held in September 1982 in [[Marseille]], [[France]]; the complete list is available on the ALP website.<ref>{{Cite web|url=https://logicprogramming.org/conferences/|title=List of ICLP Conferences|publisher=[[Association for Logic Programming]]|access-date=2023-10-08}}</ref> Every 4 years, ICLP is held in conjunction with several other logic conferences, in the Federated Logic Conferences (FLoC) series.

ICLP ranks as A (top 14.55%) in the CORE conference ranking.<ref>{{Cite web|url=http://portal.core.edu.au/conf-ranks/1119/|title=CORE ranking page for ICLP|access-date=2023-10-08}}</ref>

==References==

Line 8 ⟶ 11:

== External links ==

*[{{cite web|url=https://logicprogramming.org/conferences| title=Previous ICLP conferences]|access-date=2023-10-08|publisher=[[Association onfor theLogic ALP web-site.Programming]]}}

{{Authority control}}