Hispanopedia WikiLa 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ó a partir 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 cambió su nombre en 1992 a "Programación Lógica y Razonamiento Automático " (LPAR) para reflejar su alcance extendido, debido al considerable interés en el razonamiento automático 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 Programación, Inteligencia Artificial y Razonamiento". [1]
El comité directivo del LPAR está formado por Matthias Baaz, Chris Fermüller, Geoff Sutcliffe y Andrei Voronkov (presidente). [2]
Siguiendo su lema "Ir audazmente a donde ninguna conferencia razonable ha llegado antes", [3] LPAR generalmente se lleva a cabo en lugares inusuales o de difícil acceso.
Resumen de los eventos de la conferencia
Referencias
- ^ Sección de Historia en la página de inicio de LPAR
- ^ Página de inicio de LPAR
- ^ "LPAR-24, Manizales Colombia, 4-9 de junio de 2023". easychair.org . Consultado el 28 de agosto de 2023 .
Enlaces externos
- Sitio web oficial — contabilidad de la 1.ª a la 15.ª conferencia (1990-1994, 1999-2008)
- Página de inicio del 17º LPAR (2010)
- Página de inicio del 18º LPAR (2012)
- Página de inicio del 19º LPAR (2013)
- Página LPAR en DBLP