04443nam 22007455 450 99646644490331620200630010356.03-030-00178-410.1007/978-3-030-00178-0(CKB)4100000007110512(DE-He213)978-3-030-00178-0(MiAaPQ)EBC6285385(PPN)231460457(EXLCZ)99410000000711051220181022d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierAI Approaches to the Complexity of Legal Systems[electronic resource] AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers /edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XII, 576 p. 144 illus.)Lecture Notes in Artificial Intelligence ;107913-030-00177-6 This book includes revised selected papers from five International Workshops on Artificial Intelligence Approaches to the Complexity of Legal Systems, AICOL VI to AICOL X, held during 2015-2017: AICOL VI in Braga, Portugal, in December 2015 as part of JURIX 2015; AICOL VII at EKAW 2016 in Bologna, Italy, in November 2016; AICOL VIII in Sophia Antipolis, France, in December 2016; AICOL IX at ICAIL 2017 in London, UK, in June 2017; and AICOL X as part of JURIX 2017 in Luxembourg, in December 2017. The 37 revised full papers included in this volume were carefully reviewed and selected form 69 submissions. They represent a comprehensive picture of the state of the art in legal informatics. The papers are organized in six main sections: legal philosophy, conceptual analysis, and epistemic approaches; rules and norms analysis and representation;legal vocabularies and natural language processing; legal ontologies and semantic annotation; legal argumentation; and courts, adjudication and dispute resolution.Lecture Notes in Artificial Intelligence ;10791Artificial intelligenceApplication softwareInformation storage and retrievalMathematical logicComputer logicComputer programmingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial intelligence.Application software.Information storage and retrieval.Mathematical logic.Computer logic.Computer programming.Artificial Intelligence.Information Systems Applications (incl. Internet).Information Storage and Retrieval.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Programming Techniques.343.0999Pagallo Ugoedthttp://id.loc.gov/vocabulary/relators/edtPalmirani Monicaedthttp://id.loc.gov/vocabulary/relators/edtCasanovas Pompeuedthttp://id.loc.gov/vocabulary/relators/edtSartor Giovanniedthttp://id.loc.gov/vocabulary/relators/edtVillata Serenaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466444903316AI Approaches to the Complexity of Legal Systems2214292UNISA