프로그래밍, 인공지능 및 추론 논리

Logic for Programming, Artificial Intelligence and Reasoning

프로그래밍, 인공지능 및 추론을 위한 국제논리학술회의(LPAR)는 자동화된 추리, 계산논리, 프로그래밍 언어, 응용분야의 최첨단 결과를 논하기 위한 학술회의다.

그것은 1990년과 1991년 러시아 로직 프로그래밍 회의로부터 성장했다; 그 회의를 조직하려는 생각은 로직 프로그래밍을 위한 러시아 협회를 만들자고 제안한 로버트 코왈스키의 주된 생각이었다.이 회의는 구소련에서 자동화된 추론에 대한 상당한 관심 때문에 확장된 범위를 반영하기 위해 1992년에 "로직 프로그래밍과 자동화된 추리"(LPAR)로 개칭되었다.1995년부터 1998년까지의 휴식 후, LPAR은 1999년에 "프로그래밍과 자동 추론을 위한 로직"이라는 이름으로 계속되어, 로직 프로그래밍을 넘어 로직 부분의 확장을 나타냈다.2001년에는 "프로그래밍, 인공지능, 추리 로직"으로 명칭이 바뀌었다.[1]

LPAR 운영위원회는 마티아스 바아즈, 크리스 페르뮐러, 제프 수트클리프, 안드레이 보론코프(의장)로 구성된다.[2]

컨퍼런스 이벤트 개요

날짜 아니요. 이름 Acr. 위치 LNCS ISBN
9월 14-18, 1990 첫 번째 러시아 논리 프로그래밍 회의 RCLP 러시아 이르쿠츠크 592 3-540-55460-2
9월 11-16, 1991 두 번째 러시아 세인트피터스버그, '미차일 로모노소프' 배에 탑승
줄리 15-20, 1992 3번째 로직 프로그래밍과 자동 추론에 관한 국제 회의 LPAR 러시아 세인트피터스버그, '미차일 로모노소프' 배에 탑승 624 3-540-55727-X
줄리 13-20, 1993 4일 러시아 세인트 피터스버그 698 3-540-56944-8
줄리 16-22, 1994 5일 우크라이나 키예프, '마르샬 코셰보이' 배에 탑승 822 3-540-58216-9
9월 06-10, 1999 6일 프로그래밍과 자동추론을 위한 국제논리학술대회 조지아 트빌리시 1705 3-540-66492-0
11월 11-12, 2000 7일 프랑스 리유니온 섬 1955 3-540-41285-9
12월 03-07, 2001 8일 프로그래밍, 인공지능, 추리논리 국제회의 쿠바 아바나 2250 3-540-42957-3
10월 14-18, 2002 9일 조지아 트빌리시 2514 3-540-00010-0
9월 22-26, 2003 10일 카자흐스탄 알마티 2850 3-540-20101-7
3월 14-18, 2004 11일 우루과이 몬테비데오 3452 3-540-25236-3
12월 02-06, 2005 12일 자메이카 몬테고 만 3835 3-540-30553-X
11월 13-17, 2006 13일 캄보디아 프놈펜 4246 3-540-48281-4
10월 15-19, 2007 14일 아르메니아 예레반 4790 978-3-540-75560-9
11월 22-27, 2008 15일 카타르 도하 5330 978-3-540-89438-4
4월 25-30, 2010 16일 세네갈 다카르 6355 978-3-642-17510-7
10월 10-15, 2010 17일 인도네시아 요기아카르타 6397 978-3-642-16241-1
3월 10-15, 2012 18일 베네수엘라 메리다 7180 978-3-642-28716-9
12월 10-15, 2013 19일 남아프리카 공화국의 스텔렌보쉬 8312 978-3-642-45220-8
11월 24-28 2015 20일 수바, 피지 9450 978-3-662-48899-7
5월 7-12, 2017 21일 마운, 보츠와나 - ISSN 2398-7340 [1]
11월 16-21, 2018 22일 에티오피아 아와사 - ISSN 2398-7340 [2]

참조

  1. ^ LPAR 홈 페이지의 기록 섹션
  2. ^ LPAR 홈 페이지

외부 링크


컴퓨터 회의에 관한 이 기사는 지루하다.위키피디아를 확장하여 도울 수 있다.