자동 공제 회의

Conference on Automated Deduction

자동 공제 회의(CADE)는 자동 공제 및 관련 [1]분야에 관한 최초의 학술 회의입니다.첫 번째 CADE는 1974년 시카고 근처의 Argonne 국립 연구소에서 조직되었다.대부분의 CADE 회의는 유럽과 미국에서 개최되었습니다.하지만, 회의는 전 세계에서 개최되고 있다.1996년부터 매년 CADE가 개최되고 있다.2001년, CADE는 처음으로 국제 자동 추리 공동 회의(IJCAR)[2]에 통합되었습니다.이것은 [3]2004년부터 격주로 반복되어 왔다.

1996년, CADE Inc.는 이전에 개별적으로 조직된 회의를 조직하기 위해 자동추론협회의 비영리 하위 법인으로 설립되었다.

Nr 절차 날짜. 연도 위치 에디터
LNAI
01 1975
02 1976
03 1977
04 1979
05 0087 1980 프랑스, 레 아크 볼프강 비벨, 로버트 코왈스키
06 0138 1982 뉴욕, 미국 도널드 W. 러브랜드
07 0170 5월 14일 ~ 16일 1984 나파, 캘리포니아, 미국 로버트 쇼스탁
08 0230 7월 27일 ~ 8월 1일 1986 영국 옥스퍼드 외르크 H. 지크만
09 0310 5월 23일~26일 1988 Argonne, 일리노이, E. 러스크, 로스 A. 오버비크
10 0449 1990 카이저슬라우테른, 독일 마크 스티켈
11 0607 6월 15일 ~ 18일 1992 사라토가 스프링스(미국) D. 카푸르
12 0814 6월 26일 ~7월 1일 1994 낸시, 프랑스 앨런 번디
13 1104 7월 30일~8월 3일 1996 뉴브런즈윅, 뉴저지, 미국 마이클 A. J.K. 슬레이니
14 1249 7월 13일 ~ 17일 1997 오스트레일리아 북부 퀸즐랜드 주, 타운즈빌 윌리엄 매쿤
15 1421 7월 5일 ~ 10일 1998 린다우, 독일 클로드 키르치네르, 엘렌 키르치네르
16 1632 7월 7일 ~ 10일 1999 이탈리아 트렌토 하랄드 간징거
17 1831 6월 17일~20일 2000 미국 펜실베이니아 주 피츠버그 데이비드 A.마칼레스터
18 2392 7월 27~30일 2002 덴마크 코펜하겐 안드레이 보론코프
19 2741 7월 28일 ~ 8월 2일 2003 마이애미 비치(미국, 플로리다) 프란츠 바데르
20 3632 7월 22일 ~ 27일 2005 탈린, 에스토니아 로버트 니우웬후이스
21 4603 7월 17일~20일 2007 브레멘, 독일 프랭크 페닝
22 5663 8월 2일부터 7일까지 2009 캐나다 몬트리올 A를 리네이트 합니다.슈미트
23 6803 7월 31일~8월 5일 2011 브로츠와프, 폴란드 니콜라이 비외르네르 비오리카 소프로니 스토커만스
24 7898 6월 9일~14일 2013 레이크플래시드, 뉴욕, 미국 마리아 파올라 보나시나
25 9195 8월 1일부터 7일까지 2015 독일 베를린 에이미 펠티, 아트 미드델도프
26 10395 8월 6일 ~ 11일 2017 예테보리, 스웨덴 레오나르도 드 모우라
27 10900 7월 14일 ~ 17일 2018 영국 옥스퍼드 디디에 갈미체, 스테판 슐츠, 로베르토 세바스티안니
28 11716 8월 23~30일 2019 나탈, 브라질 파스칼 퐁텐
29 12166–7 6월 29일 ~ 7월 6일 2020 프랑스 파리 니콜라스 펠티에 비오리카 소프로니 스토커만스
30 7월 11일 ~ 16일 2021 미국 피츠버그(가상)

외부 링크

레퍼런스

  1. ^ Lu, James J.; Erik Rosenthal (2004). "Logic-Based Reasoning for Intelligent Systems". In Alan B. Tucker (ed.). Computer Science Handbook (Second ed.). CRC Press. p. 61-24.
  2. ^ Goré, Rajeev; Alexander Leitsch; Tobias Nipkow (2001). "Foreword". Automated Reasoning - First International Joint Conference, IJCAR 2001, Siena, Italy. Springer.
  3. ^ "The International Conference on Automated Deduction - conferences". CADE, Inc. Retrieved 4 May 2013.


Stub icon

이 컴퓨터 과학 기사는 촌스럽다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.

컴퓨터 회의에 관한 이 기사는 요약본이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.