LEADER 01913oam 2200505zu 450 001 996267348503316 005 20210807005612.0 035 $a(CKB)4210000000000375 035 $a(SSID)ssj0000354790 035 $a(PQKBManifestationID)11258212 035 $a(PQKBTitleCode)TC0000354790 035 $a(PQKBWorkID)10313403 035 $a(PQKB)10871682 035 $a(EXLCZ)994210000000000375 100 $a20160829d2009 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 10$aStructural investigation of historic buildings : a case study guide to preservation technology for buildings, bridges, towers, and mills 210 31$a[Place of publication not identified]$cJohn Wiley & Sons$d2009 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-470-18967-3 311 $a0-470-43278-0 606 $aBuilding inspection$xConservation and restoration$zUnited States$vCase studies 606 $aHistoric buildings$xConservation and restoration$vCase studies 606 $aHistoric preservation 606 $aStructural engineering 606 $aCivil Engineering$2HILCC 606 $aCivil & Environmental Engineering$2HILCC 606 $aEngineering & Applied Sciences$2HILCC 615 0$aBuilding inspection$xConservation and restoration 615 0$aHistoric buildings$xConservation and restoration 615 0$aHistoric preservation 615 0$aStructural engineering 615 7$aCivil Engineering 615 7$aCivil & Environmental Engineering 615 7$aEngineering & Applied Sciences 676 $a720.28/8 700 $aFischetti$b David C$0906516 801 0$bPQKB 906 $aBOOK 912 $a996267348503316 996 $aStructural investigation of historic buildings : a case study guide to preservation technology for buildings, bridges, towers, and mills$92027378 997 $aUNISA LEADER 04515nam 22008775 450 001 9910736993103321 005 20260608100210.0 010 $a9783031408755 010 $a3031408756 024 7 $a10.1007/978-3-031-40875-5 035 $a(MiAaPQ)EBC30672181 035 $a(Au-PeEL)EBL30672181 035 $a(DE-He213)978-3-031-40875-5 035 $a(PPN)272260134 035 $a(CKB)27906628800041 035 $a(OCoLC)1393166252 035 $a(EXLCZ)9927906628800041 100 $a20230801d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic and Argumentation $e5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /$fedited by Andreas Herzig, Jieting Luo, Pere Pardo 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (233 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14156 311 08$aPrint version: Herzig, Andreas Logic and Argumentation Cham : Springer International Publishing AG,c2023 9783031408748 327 $aLogic and Automated Deduction -- Dynamic Modal Logic with Counting: when Reduction Axioms Work and Fail -- Solving Modal Logic Problems by Translation to Higher-order Logic -- Formalizing the Unexpected Hanging Paradox: a Classical Surprise -- Abstract and Structured Argumentation -- Weakest Link in Formal Argumentation: Lookahead and Principle-based Analysis -- A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation -- Topological Conditions and Solutions for Repairing Argumentation Frameworks -- Dialogues, Games and Practical Reasoning -- Providing personalized Explanations: a Conversational Approach -- Audience irrelevance in Strategic Argumentation Games -- A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning -- Quantitative Argumentation -- A Filtering-based General Approach to Learning Rational Constraints of Epistemic Graphs -- FuzzyLabeling Semantics for Quantitative Argumentation -- A Logic for Preference Lifting under Uncertainty and its Decidability. 330 $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. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v14156 606 $aArtificial intelligence 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aAlgorithms 606 $aComputer science 606 $aMachine theory 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aDesign and Analysis of Algorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aLògica$2thub 606 $aDemostració automàtica de teoremes$2thub 606 $aLògica$2thub 608 $aCongressos$2thub 608 $aLlibres electrònics$2thub 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aCompilers (Computer programs) 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aMachine theory. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aDesign and Analysis of Algorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 7$aLògica 615 7$aDemostració automàtica de teoremes 615 7$aLògica 676 $a006.3 676 $a511.3 700 $aHerzig$b Andreas$01383199 701 $aLuo$b Jieting$01383200 701 $aPardo$b Pere$01383201 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910736993103321 996 $aLogic and Argumentation$93427776 997 $aUNINA