책 이미지
eBook 미리보기
책 정보
· 제목 : Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783030893903
· 쪽수 : 552쪽
· 출판일 : 2021-10-15
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783030893903
· 쪽수 : 552쪽
· 출판일 : 2021-10-15
목차
Logic.- Proof theory.- Modal and temporal logics.- Automated reasoning.- Artificial intelligence.- Knowledge representation and reasoning.- Argumentation.- Nonmonotonic.- default reasoning and belief revision.- Reasoning about belief and logic.- Natural language processing.
