The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. It grew out of the Russian Conferences on Logic Programming 1990 and 1991; the idea to organize the conference was largely due to Robert Kowalski who proposed to create the Russian Association for Logic Programming. The conference was renamed in 1992 to "Logic Programming and Automated Reasoning" (LPAR) to reflect its extended scope, due to considerable interest in automated reasoning in the Former Soviet Union. After a break from 1995 to 1998, LPAR continued in 1999 under the name "Logic for Programming and Automated Reasoning", to indicate an extension of its logic part beyond logic programming. In 2001, the name changed to "Logic for Programming, Artificial Intelligence and Reasoning". More information...
According to PR-model, lpar.net is ranked 1,768,528th in multilingual Wikipedia, in particular this website is ranked 981,337th in English Wikipedia.
The website is placed before camilamade.com and after chardonhs.org in the BestRef global ranking of the most important sources of Wikipedia.
