000			01915nam a2200397Ia 4500
000			03502nam a22004215i 4500
001			978-3-031-40875-5
003			DE-He213
005			20240319121106.0
007			cr nn 008mamaa
008			230801s2023 sz | s |||| 0|eng d
020			_a9783031408755 _9978-3-031-40875-5
082			_a6.3
245			_aLogic and Argumentation _cedited by Andreas Herzig, Jieting Luo, Pere Pardo. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXX, 225 p. 38 illus., 14 illus. in color. _bonline resource.
520			_aThis book constitutes the refereed proceedings of the 5th International Conference on Logic and Argumentation, CLAR 2023, held in Hangzhou, China, during September 10-12, 2023. The 11 full papers, one short paper and one invited paper presented in this book were carefully reviewed and selected from 20 submissions. The papers focus on topics such as: logic and automated deduction; abstract and structured argumentation; dialogues, games and practical reasoning; and quantitative argumentation.
650			_aAlgorithms. _937792
650			_aArtificial intelligence. _937793
650			_aArtificial Intelligence. _937794
650			_aCompilers (Computer programs). _937795
650			_aCompilers and Interpreters. _937796
650			_aComputer programming. _937797
650			_aComputer Science Logic and Foundations of Programming. _937798
650			_aComputer science. _937799
650			_aDesign and Analysis of Algorithms. _937800
650			_aFormal Languages and Automata Theory. _937801
650			_aMachine theory. _937802
650			_aProgramming Techniques. _937803
700			_aHerzig, Andreas. _937804
700			_aLuo, Jieting. _937805
700			_aPardo, Pere. _937806
856			_uhttps://doi.org/10.1007/978-3-031-40875-5
942			_cEBK _2ddc
999			_c15742 _d15742