La Conferencia conjunta internacional sobre razonamiento automatizado ( IJCAR ) es una serie de conferencias sobre los temas del razonamiento automatizado , la deducción automatizada y campos relacionados. Se organiza con regularidad como una fusión de otras reuniones. IJCAR reemplaza esas conferencias independientes en los años en que se lleva a cabo. La conferencia está organizada por CADE Inc. , y CADE siempre ha sido una de las conferencias que participan en IJCAR.
- El primer IJCAR se celebró en Siena , Italia en 2001 como una fusión de CADE, FTP y TABLEAUX .
- El segundo IJCAR se llevó a cabo en Cork , Irlanda en 2004 como una fusión de CADE, FTP, TABLEAUX, FroCoS y CALCULEMUS .
- La tercera IJCAR se llevó a cabo como una subconferencia independiente de la cuarta Conferencia de Lógica Federada en Seattle , Estados Unidos, y fusionó CADE, FTP, TABLEAUX, FroCoS y TPHOLs .
- El cuarto IJCAR se llevó a cabo en Sydney , Australia en 2008, y fusionó CADE, FroCoS, FTP y TABLEAUX.
- La quinta IJCAR se celebró en 2010 como una subconferencia independiente de la quinta Conferencia de Lógica Federada en Edimburgo , Reino Unido, y fusionó CADE, FTP, TABLEAUX y FroCoS.
- El sexto IJCAR se llevó a cabo en Manchester , Reino Unido, como parte del Alan Turing Year 2012 , y se colocó junto con la Alan Turing Centenary Conference . Nuevamente fusionó CADE, FTP, TABLEAUX y FroCoS.
- El séptimo IJCAR se llevó a cabo en Viena , Austria, como parte del Vienna Summer of Logic en 2014, y fusionó CADE, TABLEAUX y FroCoS.
- La octava IJCAR se llevó a cabo en Coimbra , Portugal, en 2016, y fusionó CADE, TABLEAUX y FroCoS.
enlaces externos
- Página de inicio de IJCAR
- Página de inicio de IJCAR-2006
- Página de inicio de IJCAR-2008
- Página de inicio de IJCAR 2016