La Conferencia Internacional sobre Lógica para Programación, Inteligencia Artificial y Razonamiento (LPAR) es una conferencia académica cuyo objetivo es discutir resultados de vanguardia en los campos del razonamiento automatizado, la lógica computacional, los lenguajes de programación y sus aplicaciones.
Surgió de las Conferencias Rusas sobre Programación Lógica de 1990 y 1991; La idea de organizar la conferencia se debió en gran parte a Robert Kowalski, quien propuso crear la Asociación Rusa para la Programación Lógica. La conferencia pasó a llamarse en 1992 a "Programación lógica y razonamiento automatizado " (LPAR) para reflejar su alcance ampliado, debido al considerable interés en el razonamiento automatizado en la ex Unión Soviética. Después de una pausa de 1995 a 1998, LPAR continuó en 1999 bajo el nombre de "Lógica para Programación y Razonamiento Automatizado", para indicar una extensión de su parte lógica más allá de la programación lógica. En 2001, el nombre cambió a "Lógica para la Programación, Inteligencia Artificial y Razonamiento". [1]
El comité directivo de LPAR está formado por Matthias Baaz, Chris Fermüller, Geoff Sutcliffe y Andrei Voronkov (presidente). [2]
Siguiendo su lema "Ir con valentía a donde ninguna conferencia razonable ha llegado antes", [3] LPAR normalmente se lleva a cabo en lugares inusuales o de difícil acceso.