소장자료
LDR | 03528nam a22006255i 4500 | ||
001 | 0100737963▲ | ||
003 | DE-He213▲ | ||
005 | 20231004171430▲ | ||
007 | cr nn 008mamaa▲ | ||
008 | 211014s2021 sz | s |||| 0|eng d▲ | ||
020 | ▼a9783030893910▼9978-3-030-89391-0▲ | ||
024 | 7 | ▼a10.1007/978-3-030-89391-0▼2doi▲ | |
050 | 4 | ▼aQ334-342▲ | |
050 | 4 | ▼aTA347.A78▲ | |
082 | 0 | 4 | ▼a006.3▼223▲ |
245 | 1 | 0 | ▼aLogic and Argumentation▼h[electronic resource] :▼b4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /▼cedited by Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng.▲ |
250 | ▼a1st ed. 2021.▲ | ||
264 | 1 | ▼aCham :▼bSpringer International Publishing :▼bImprint: Springer,▼c2021.▲ | |
300 | ▼aXV, 552 p. 97 illus., 46 illus. in color.▼bonline resource.▲ | ||
336 | ▼atext▼btxt▼2rdacontent▲ | ||
337 | ▼acomputer▼bc▼2rdamedia▲ | ||
338 | ▼aonline resource▼bcr▼2rdacarrier▲ | ||
347 | ▼atext file▼bPDF▼2rda▲ | ||
490 | 1 | ▼aLecture Notes in Artificial Intelligence ;▼v13040▲ | |
505 | 0 | ▼aLogic -- 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.▲ | |
520 | ▼aThis book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.▲ | ||
650 | 0 | ▼aArtificial intelligence.▲ | |
650 | 0 | ▼aComputer programming.▲ | |
650 | 0 | ▼aCompilers (Computer programs).▲ | |
650 | 0 | ▼aAlgorithms.▲ | |
650 | 0 | ▼aComputer science.▲ | |
650 | 0 | ▼aMachine theory.▲ | |
650 | 1 | 4 | ▼aArtificial Intelligence.▲ |
650 | 2 | 4 | ▼aProgramming Techniques.▲ |
650 | 2 | 4 | ▼aCompilers and Interpreters.▲ |
650 | 2 | 4 | ▼aDesign and Analysis of Algorithms.▲ |
650 | 2 | 4 | ▼aComputer Science Logic and Foundations of Programming.▲ |
650 | 2 | 4 | ▼aFormal Languages and Automata Theory.▲ |
700 | 1 | ▼aBaroni, Pietro.▼eeditor.▼0(orcid)0000-0001-5439-9561▼1https://orcid.org/0000-0001-5439-9561▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
700 | 1 | ▼aBenzmüller, Christoph.▼eeditor.▼0(orcid)0000-0002-3392-3093▼1https://orcid.org/0000-0002-3392-3093▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
700 | 1 | ▼aWáng, Yὶ N.▼eeditor.▼0(orcid)0000-0002-0650-4993▼1https://orcid.org/0000-0002-0650-4993▼4edt▼4http://id.loc.gov/vocabulary/relators/edt▲ | |
710 | 2 | ▼aSpringerLink (Online service)▲ | |
773 | 0 | ▼tSpringer Nature eBook▲ | |
776 | 0 | 8 | ▼iPrinted edition:▼z9783030893903▲ |
776 | 0 | 8 | ▼iPrinted edition:▼z9783030893927▲ |
830 | 0 | ▼aLecture Notes in Artificial Intelligence ;▼v13040▲ | |
856 | 4 | 0 | ▼uhttps://doi.org/10.1007/978-3-030-89391-0▲ |
![](https://lib.pusan.ac.kr/wp-content/themes/pnul2022/assets/images/default/default_w_279X393.png)
Logic and Argumentation[electronic resource] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
자료유형
국외eBook
서명/책임사항
Logic and Argumentation [electronic resource] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings / edited by Pietro Baroni, Christoph Benzmüller, Yὶ N. Wáng.
판사항
1st ed. 2021.
형태사항
XV, 552 p. 97 illus., 46 illus. in color. online resource.
총서사항
내용주기
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.
요약주기
This book constitutes the refereed proceedings of the 4th International Conference on Logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. The 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. The topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonic reasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.
주제
Artificial intelligence.
Computer programming.
Compilers (Computer programs).
Algorithms.
Computer science.
Machine theory.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Design and Analysis of Algorithms.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Computer programming.
Compilers (Computer programs).
Algorithms.
Computer science.
Machine theory.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Design and Analysis of Algorithms.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
ISBN
9783030893910
관련 인기대출 도서