Lógica para la programación, la inteligencia artificial y el razonamiento.

La Conferencia Internacional sobre Lógica para la Programación, la Inteligencia Artificial y el Razonamiento (LPAR) es una conferencia académica cuyo objetivo es debatir los resultados más innovadores 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 de Programación Lógica. La conferencia pasó a llamarse en 1992 "Programación Lógica y Razonamiento Automatizado " (LPAR) para reflejar su alcance ampliado, debido al considerable interés en el razonamiento automatizado en la antigua Unión Soviética. Tras una pausa entre 1995 y 1998, LPAR continuó en 1999 con el nombre de "Lógica para la Programación y el 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, la Inteligencia Artificial y el 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 audazmente donde ninguna conferencia razonable ha ido antes", ^{[ 3 ]} LPAR normalmente se lleva a cabo en lugares inusuales o de difícil acceso.

• Sitio web oficial : información sobre las conferencias de la 1.ª a la 15.ª (1990-1994, 1999-2008).
• Página principal de la 17.ª LPAR (2010)
• Página principal de la 18.ª LPAR (2012)
• Página principal de la 19.ª LPAR (2013)
• Página de LPAR en DBLP