Carlos Faciano, S. Mera, F. Schapachnik, Ana Haydée Di Iorio, Bibiana Luz Clara, Verónica Uriarte, María Fernanda Giaccaglia, María Belén Ruffa, Cristian Marcos
{"title":"法律模型检查的绩效改进","authors":"Carlos Faciano, S. Mera, F. Schapachnik, Ana Haydée Di Iorio, Bibiana Luz Clara, Verónica Uriarte, María Fernanda Giaccaglia, María Belén Ruffa, Cristian Marcos","doi":"10.1145/3086512.3086518","DOIUrl":null,"url":null,"abstract":"This article describes several performance improvements that allowed FormaLex, a tool developed to model check legal documents to find coherence problems, to process a real case study of the Argentinian Customer Protection Act. The described truth-preserving techniques reduce the model checking state space by improving the representation of actions and filtering language constructs that are used to encode the law.","PeriodicalId":425187,"journal":{"name":"Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law","volume":"78 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Performance improvement on legal model checking\",\"authors\":\"Carlos Faciano, S. Mera, F. Schapachnik, Ana Haydée Di Iorio, Bibiana Luz Clara, Verónica Uriarte, María Fernanda Giaccaglia, María Belén Ruffa, Cristian Marcos\",\"doi\":\"10.1145/3086512.3086518\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This article describes several performance improvements that allowed FormaLex, a tool developed to model check legal documents to find coherence problems, to process a real case study of the Argentinian Customer Protection Act. The described truth-preserving techniques reduce the model checking state space by improving the representation of actions and filtering language constructs that are used to encode the law.\",\"PeriodicalId\":425187,\"journal\":{\"name\":\"Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law\",\"volume\":\"78 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-06-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3086512.3086518\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3086512.3086518","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This article describes several performance improvements that allowed FormaLex, a tool developed to model check legal documents to find coherence problems, to process a real case study of the Argentinian Customer Protection Act. The described truth-preserving techniques reduce the model checking state space by improving the representation of actions and filtering language constructs that are used to encode the law.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
