프란츠 바더
Franz Baader프란츠 바더 | |
|---|---|
| 태어난 | 1959년 6월 15일 |
| 과학 경력 | |
| 기관 | 드레스덴 공과대학교, RWTH 아헨 대학교, 얼랑겐 뉘른베르크 대학교 독일 인공지능 연구센터 |
| 논문 | Unifiation und Reducationtionsysteme für Halbgruppenvarieten[1] (1989) |
| 박사학위 자문위원 | 클라우스 렙[1] |
| 박사과정 학생 | 울리케 새틀러[2] |
| 웹사이트 | lat.inf.tu-dresden.de/ |
프란츠 바데르(Franz Baader, 1959년 6월 15일, Spalt)는 드레스덴 공과대학의 독일 컴퓨터 과학자다.[3][4][5]
그는 1989년 독일 에를랑겐 뉘른베르크 대학에서 컴퓨터 과학 박사 학위를 받았으며,[1] 그곳에서 4년간 교사와 연구 조교를 지냈다.1989년 독일 인공지능 연구센터(DFKS)에서 수석연구위원 겸 프로젝트 리더로 활동했다.
1993년에 그는 RWTH Aachen의 컴퓨터 과학 부교수가 되었고, 2002년에는 TU Dresden의 컴퓨터 과학 전 교수가 되었다.[6]
그는 2020년에 "통일 이론, 서술 로직에서의 이론과 추론의 결합에 기여한 공로를 인정받아" 헤르브랜드 상을 받았다.[7]
작동하다
- Baader, Franz; Nipkow, Tobias (1998). Term Rewriting and All That. Cambridge University Press.
- Baader, Franz (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3.
- Baader, Franz; Voronkov, Andrei (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8.
- Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli (2017). An Introduction to Description Logic. Cambridge University Press. ISBN 978-0-521-87361-1.
참조
- ^ a b c 수학 계보 프로젝트 프란츠 바더
- ^ Sattler, Ulrike (1998). Technological Knowledge Representation Systems in a Chemical Engineering Application (PhD thesis). Dresden University of Technology.
- ^ http://lat.inf.tu-dresden.de/~baader/index-en.en.franz Baader 홈페이지
- ^ Franz Baader 출판물 구글 스콜라 지수
- ^ DBLP 서지학 서버의 프란츠 바더
- ^ "Archived copy". Archived from the original on 2011-07-19. Retrieved 2010-02-25.
{{cite web}}: CS1 maint: 타이틀로 보관된 사본(링크) - ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 18 July 2021.
| 일반 | |
|---|---|
| 국립도서관 | |
| 과학 데이터베이스 | |
| 기타 | |
