LEADER 04440nam  22007575  450 
001 9910349398403321
005 20200630010356.0
010   $a3-030-00178-4
024 7 $a10.1007/978-3-030-00178-0
035   $a(CKB)4100000007110512
035   $a(DE-He213)978-3-030-00178-0
035   $a(MiAaPQ)EBC6285385
035   $a(PPN)231460457
035   $a(EXLCZ)994100000007110512
100   $a20181022d2018      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAI Approaches to the Complexity of Legal Systems $eAICOL 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 /$fedited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XII, 576 p. 144 illus.)
225 1 $aLecture Notes in Artificial Intelligence ;$v10791
311   $a3-030-00177-6 
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v10791
606   $aArtificial intelligence
606   $aApplication software
606   $aInformation storage and retrieval
606   $aMathematical logic
606   $aComputer logic
606   $aComputer programming
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aArtificial intelligence.
615  0$aApplication software.
615  0$aInformation storage and retrieval.
615  0$aMathematical logic.
615  0$aComputer logic.
615  0$aComputer programming.
615 14$aArtificial Intelligence.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aInformation Storage and Retrieval.
615 24$aMathematical Logic and Formal Languages.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
676   $a343.0999
676   $a340.1
702   $aPagallo$b Ugo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPalmirani$b Monica$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCasanovas$b Pompeu$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSartor$b Giovanni$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVillata$b Serena$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349398403321
996   $aAI Approaches to the Complexity of Legal Systems$92214292
997   $aUNINA