Registro:

Referencias:

• Ball, T., Levin, V., Rajamani, S.K., A decade of software model checking with SLAM (2011) Commun. ACM, 54 (7), pp. 68-76. , https://doi.org/10.1145/1965724.1965743, July 2011
• Benedetti, J.P., (2014) Improving FL, A Tool for Normative Analysis and Automatic Aw Detection, , http://www.dc.uba.ar/inv/tesis/licenciatura/2014/benedetti.pdf, Master’s thesis. Depto de Computación, Facultad de Ciencias Exactas y Naturales, UBA
• Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M., NuSMV: A new symbolic model checker (2000) International Journal on Software Tools for Technology Transfer (STTT), 2 (4), pp. 410-425. , https://doi.org/10.1007/s100090050046, 2000
• Cimatti, A., Giunchiglia, E., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A., (2002) Integrating BDD-Based and SAT-Based Symbolic Model Checking, pp. 49-56. , https://doi.org/10.1007/3-540-45988-X_5, Springer Berlin Heidelberg, Berlin, Heidelberg
• Tosatto, S.C., Governatori, G., Kelsen, P., Business process regulatory compliance is hard (2015) IEEE Trans. Services Computing, 8 (6), pp. 958-970. , https://doi.org/10.1109/TSC.2014.2341236, 2015
• Faciano, C., (2016) Optimizing The Peformance of The FL Legal Coherence Checker, , http://www.dc.uba.ar/inv/tesis/licenciatura/2016/faciano.pdf, Master’s thesis. Depto de Computación, Facultad de Ciencias Exactas y Naturales, UBA
• Fenech, S., Pace, G.J., Schneider, G., CLAN: A tool for contract analysis and conict discovery (2009) ATVA (Lecture Notes in Computer Science), 5799, pp. 90-96. , Zhiming Liu and Anders Ravn (Eds.), Springer
• Furbach, U., Schon, C., Stolzenburg, F., Automated reasoning in deontic logic (2014) Multi-Disciplinary Trends in Articial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings (Lecture Notes in Computer Science), 8875, pp. 57-68. , https://doi.org/10.1007/978-3-319-13365-26, M. Narasimha Murty, Xiangjian He, Chillarige Raghavendra Rao, and Paul Weng (Eds.), Springer
• Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) ACM SIGSOFT Software Engineering Notes, 28 (5), p. 266. , 2003
• Gorín, D., Mera, S., Schapachnik, F., Model checking legal documents (2010) Proceedings of The 2010 Conference on Legal Knowledge and Information Systems: JURIX 2010, pp. 111-115. , https://doi.org/10.3233/978-1-60750-682-9-151
• Gorín, D., Mera, S., Schapachnik, F., A software tool for legal drafting (2011) FLACOS 2011: Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, pp. 1-15. , Elsevier
• Governatori, G., Thou shalt is not you will (2015) Proceedings of The 15th International Conference on Articial Intelligence and Law, ICAIL 2015, pp. 63-68. , https://doi.org/10.1145/2746090.2746105, San Diego, CA, USA, June 8-12, 2015, Ted Sichelman and Katie Atkinson (Eds.). ACM
• Governatori, G., Pham, D.H., DR-CONTRACT: An architecture for e-contracts in defeasible logic (2009) IJBPIM, 4, pp. 187-199. , 2009
• Governatori, G., Shek, S., Regorous: A business process compliance checker (2013) Proceedings of The Fourteenth International Conference on Articial Intelligence and Law (ICAIL’13), pp. 245-246. , https://doi.org/10.1145/2514601.2514638, ACM, New York, NY, USA
• Grumberg, O., Veith, H., (2008) 25 Years of Model Checking: History, Achievements, Perspectives, 5000. , Springer
• Gunski, M.C., Raiczyk, M.G., (2016) FL: Improving Expressive Power of The FL Language for The Detection of Normative Aws, , http://www.dc.uba.ar/inv/tesis/licenciatura/2016/gunski.pdf, Master’s thesis. Depto de Computación, Facultad de Ciencias Exactas y Naturales, UBA
• Kučera, A., Strejček, J., The stuttering principle revisited (2005) Acta Informatica, 41 (7), pp. 415-434. , https://doi.org/10.1007/s00236-005-0164-4, 2005
• Lam, H.-P., Governatori, G., The making of SPINdle (2009) RuleML 2009, pp. 315-322. , Springer
• Pace, G., Prisacariu, C., Schneider, G., Model checking contracts – A case study (2007) Automated Technology for Verication and Analysis, pp. 82-97. , 2007
• Pace, G.J., Schapachnik, F., Schneider, G., Conditional permissions in contracts (2015) Legal Knowledge and Information Systems - JURIX 2015: The Twenty-Eighth Annual Conference, Braga, Portual, December 10-11, 2015 (Frontiers in Articial Intelligence and Applications), 279, pp. 61-70. , https://doi.org/10.3233/978-1-61499-609-5-61, IOS Press
• Solaiman, E., Molinajimenez, C., Shrivastava, S., Model checking correctness properties of electronic contracts (2003) Proceedings of The International Conference on Service Oriented Computing (ICSOC03), pp. 303-318. , Springer-Verlag
• Sznur, S., Brun, J.M., Rua, M.B., Martínez, M., Schapachnik, F., Análisis de consistencia de la legislación de defensa al consum-idor mediante métodos formales (2014) CIIDDI 2014, Tercer Congreso Iberoamericano De Investigadores Y Docentes De Derecho E Informática
• Visser, W., Dwyer, M.B., Whalen, M., The hidden models of model checking (2012) Software & Systems Modeling, 11 (4), pp. 541-555. , 2012
• Woźna, B., Lomuscio, A., Penczek, W., Bounded model checking for deontic interpreted systems (2005) Electronic Notes in Theoretical Computer Science, 126 (2005), pp. 93-114. , https://doi.org/10.1016/j.entcs.2004.11.015, Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004). Logic and Communication in Multi-Agent Systems 2004A4 - Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------