La Conferencia sobre Deducción Automatizada ( CADE ) es la principal conferencia académica sobre deducción automática y campos relacionados. [1] El primer CADE se organizó en 1974 en el Laboratorio Nacional Argonne cerca de Chicago . La mayoría de las reuniones del CADE se han celebrado en Europa y Estados Unidos. Sin embargo, se han realizado conferencias en todo el mundo. Desde 1996, CADE se lleva a cabo anualmente. En 2001, el CADE se fusionó por primera vez en la Conferencia conjunta internacional sobre razonamiento automatizado (IJCAR). [2] Esto se ha repetido semestralmente desde 2004. [3]
En 1996, CADE Inc. se formó como una subcorporación sin fines de lucro de la Asociación para el Razonamiento Automatizado para organizar las conferencias anteriormente organizadas individualmente.
Nr | Actas | Fecha | Año | Localización | Editor (es) |
---|---|---|---|---|---|
LNAI | |||||
01 | 1975 | ||||
02 | 1976 | ||||
03 | 1977 | ||||
04 | 1979 | ||||
05 | 0087 | 1980 | Les Arcs , Francia | Wolfgang Bibel , Robert Kowalski | |
06 | 0138 | mil novecientos ochenta y dos | Nueva York, Estados Unidos | Donald W. Loveland | |
07 | 0170 | 14-16 de mayo | 1984 | Napa, California, Estados Unidos | Robert Shostak |
08 | 0230 | 27 de julio - 1 de agosto | 1986 | Oxford, Inglaterra | Jörg H. Siekmann |
09 | 0310 | 23-26 de mayo | 1988 | Argonne, Illinois, Estados Unidos | E. Lusk, Ross A. Overbeek |
10 | 0449 | 1990 | Kaiserslautern, Alemania | Mark Stickel | |
11 | 0607 | 15-18 de junio | 1992 | Saratoga Springs, Estados Unidos | D. Kapur |
12 | 0814 | 26 de junio - 1 de julio | 1994 | Nancy, Francia | Alan Bundy |
13 | 1104 | 30 de julio - 3 de agosto | 1996 | New Brunswick, Nueva Jersey, EE. UU. | Michael A. McRobbie , JK Slaney |
14 | 1249 | 13-17 de julio | 1997 | Townsville, norte de Queensland, Australia | William McCune |
15 | 1421 | 5 al 10 de julio | 1998 | Lindau, Alemania | Claude Kirchner, Hélène Kirchner |
dieciséis | 1632 | 7-10 de julio | 1999 | Trento, Italia | Harald Ganzinger |
17 | 1831 | 17-20 de junio | 2000 | Pittsburgh, Pensilvania, EE. UU. | David A. McAllester |
18 | 2392 | 27-30 de julio | 2002 | Copenhague, Dinamarca | Andrei Voronkov |
19 | 2741 | 28 de julio - 2 de agosto | 2003 | Miami Beach, Florida, Estados Unidos | Franz Baader |
20 | 3632 | 22-27 de julio | 2005 | Tallin, Estonia | Robert Nieuwenhuis |
21 | 4603 | 17-20 de julio | 2007 | Bremen, alemania | Frank Pfenning |
22 | 5663 | 2 al 7 de agosto | 2009 | Montreal Canadá | Renate A. Schmidt |
23 | 6803 | 31 de julio - 5 de agosto | 2011 | Breslavia, Polonia | Nikolaj Bjørner, Viorica Sofronie-Stokkermans |
24 | 7898 | 9-14 de junio | 2013 | Lake Placid, Nueva York , Estados Unidos | María Paola Bonacina |
25 | 9195 | 1 al 7 de agosto | 2015 | Berlín , alemania | Amy Felty, Aart Middeldorp |
26 | 10395 | 6-11 de agosto | 2017 | Gotemburgo , Suecia | Leonardo de Moura |
27 | 10900 | 14-17 de julio | 2018 | Oxford , Reino Unido | Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
28 | 11716 | 23-30 de agosto | 2019 | Natal , Brasil | Pascal Fontaine |
29 | 12166–7 | 29 de junio - 6 de julio | 2020 | París , Francia | Nicolas Peltier, Viorica Sofronie-Stokkermans |
30 | 11-16 de julio | 2021 |
enlaces externos
- Sitio web oficial , CADE
- Sitio web oficial , AAR
Referencias
- ^ Lu, James J .; Erik Rosenthal (2004). "Razonamiento basado en la lógica para sistemas inteligentes". En Alan B. Tucker (ed.). Manual de Ciencias de la Computación (Segunda ed.). Prensa CRC. pag. 61-24.
- ^ Goré, Rajeev; Alexander Leitsch; Tobias Nipkow (2001). "Prefacio". Razonamiento automatizado - Primera conferencia conjunta internacional, IJCAR 2001, Siena, Italia . Springer .
- ^ "La Conferencia Internacional sobre Deducción Automatizada - conferencias" . CADE, Inc . Consultado el 4 de mayo de 2013 .