{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:00:49Z","timestamp":1743127249398,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031361890"},{"type":"electronic","value":"9783031361906"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-36190-6_2","type":"book-chapter","created":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T13:02:35Z","timestamp":1689685355000},"page":"16-32","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["User-Guided Machine Understanding of\u00a0Legal Documents"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Purnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Schwitter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,19]]},"reference":[{"unstructured":"Working with Contracts, Practical assistance for small business managers (2019). https:\/\/treasury.gov.au\/sites\/default\/files\/2019-03\/WorkingWithContractsGuide.pdf","key":"2_CR1"},{"unstructured":"Levi, S., Lipton, A.: An introduction to smart contracts and their potential and inherent limitations. Forum on Corporate Governance (2018). https:\/\/corpgov.law.harvard.edu\/2018\/05\/26\/an-introduction-to-smart-contracts-and-their-potential-and-inherent-limitations\/","key":"2_CR2"},{"issue":"12","key":"2_CR3","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 40\u2013110. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_2"},{"unstructured":"Thompson Reuters: HighQ Document Automation (2021). https:\/\/legal.thomsonreuters.com\/en\/products\/highq\/document-automation","key":"2_CR5"},{"unstructured":"Solidity. https:\/\/docs.soliditylang.org\/en\/v0.8.9\/","key":"2_CR6"},{"unstructured":"OpenZeppelin. Build Secure Smart Contracts in Solidity. https:\/\/openzeppelin.com\/contracts\/","key":"2_CR7"},{"unstructured":"Potassco. clingo and gringo (2021). http:\/\/potassco.org\/clingo\/","key":"2_CR8"},{"unstructured":"Febbraro, O., et al.: ASPIDE: integrated development environment for answer set programming. University of Calabria. (2021) https:\/\/www.mat.unical.it\/ricca\/aspide\/index.html","key":"2_CR9"},{"doi-asserted-by":"publisher","unstructured":"Grigg I.: The Ricardian contract. In: Proceedings of First IEEE International Workshop on Electronic Contracting, San Diego, CA, USA, pp. 25\u201331 (2004). https:\/\/doi.org\/10.1109\/WEC.2004.1319505","key":"2_CR10","DOI":"10.1109\/WEC.2004.1319505"},{"doi-asserted-by":"publisher","unstructured":"Choudhury, O., et al.: Auto-generation of smart contracts from domain-specific ontologies and semantic rules (2018). https:\/\/doi.org\/10.1109\/Cybermatics_2018.2018.00183","key":"2_CR11","DOI":"10.1109\/Cybermatics_2018.2018.00183"},{"unstructured":"Maedche, A., Staab, S.: The TEXT-TO-ONTO Ontology Learning Environment. Institute AIFB, University of Karlsruhe (2000)","key":"2_CR12"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"1614","DOI":"10.1016\/j.procs.2019.09.332","volume":"159","author":"A Konys","year":"2019","unstructured":"Konys, A.: Knowledge Repository of Ontology Learning Tools from Text. Procedia Comput. Sci. 159, 1614\u20131628 (2019)","journal-title":"Procedia Comput. Sci."},{"issue":"2\u20133","key":"2_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s13218-018-0548-6","volume":"32","author":"A Falkner","year":"2018","unstructured":"Falkner, A., et al.: Industrial applications of answer set programming. KI - K\u00fcnstliche Intelligenz 32(2\u20133), 165\u2013176 (2018)","journal-title":"KI - K\u00fcnstliche Intelligenz"},{"unstructured":"Kloim\u00fcllner, C., et al.: Kara: a system for visualising and visual editing of interpretations for answer set programs. In: Proceedings INAP. arXiv:1109.4095. (2011)","key":"2_CR15"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1017\/S1471068419000450","volume":"20","author":"F Calimeri","year":"2019","unstructured":"Calimeri, F., et al.: ASP-core-2 input language format. Theory Pract. Logic Program. 20(2), 294\u2013309 (2019)","journal-title":"Theory Pract. Logic Program."},{"unstructured":"Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. EIP-150 Revision (2017). http:\/\/www.gavwood.com\/paper.pdf","key":"2_CR17"},{"unstructured":"Hjort, R.: Formally verifying webassembly with KWasm (2020). https:\/\/odr.chalmers.se\/handle\/20.500.12380\/300761","key":"2_CR18"},{"unstructured":"Moritz, D.: Clingo WebAssembly (2021). https:\/\/github.com\/domoritz\/clingo-wasm","key":"2_CR19"},{"unstructured":"Batsakis, S., et al.: Legal representation and reasoning in practice: a critical comparison. In: JURIX, pp. 31\u201340 (2018)","key":"2_CR20"},{"unstructured":"Stanford Encyclopedia of Philosophy (2021). https:\/\/plato.stanford.edu\/contents.html","key":"2_CR21"},{"unstructured":"Purnell, K., Schwitter, R.: Towards Declarative Smart Contracts. In: Proceedings of The 4th Symposium on Distributed Ledger Technology (2019). https:\/\/symposium-dlt.org\/SDLT2019-FinalProceedings.pdf","key":"2_CR22"},{"unstructured":"Getty Research Institute (2021). https:\/\/www.getty.edu\/research\/publications\/electronic_publications\/intro_controlled_vocab\/what.pdf","key":"2_CR23"},{"doi-asserted-by":"publisher","unstructured":"Giordano, L., Dupr\u00e9, D.T.: Enriched modeling and reasoning on business processes with ontologies and answer set programming (2018). https:\/\/doi.org\/10.1007\/978-3-319-98651-7_5","key":"2_CR24","DOI":"10.1007\/978-3-319-98651-7_5"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M Sergot","year":"1986","unstructured":"Sergot, M., et al.: The British nationality act as a logic program. Commun. ACM 29, 370\u2013386 (1986). https:\/\/doi.org\/10.1145\/5689.5920","journal-title":"Commun. ACM"},{"unstructured":"Norman, D., Nielsen, J.: Nielsen norman group. beyond the NPS: measuring perceived usability with the SUS, NASA-TLX, and the single ease question after tasks and usability tests (2018). https:\/\/www.nngroup.com\/articles\/measuring-perceived-usability\/","key":"2_CR26"},{"unstructured":"Salik, I., Ashurst, J.V.: Closed loop communication training in medical simulation (2019). https:\/\/www.statpearls.com\/articlelibrary\/viewarticle\/63796\/","key":"2_CR27"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1016\/j.eswa.2019.04.009","volume":"130","author":"C Rodrigues","year":"2019","unstructured":"Rodrigues, C., et al.: Legal ontologies over time: a systematic mapping study. Expert Syst. Appl. 130, 12\u201330 (2019). https:\/\/doi.org\/10.1016\/j.eswa.2019.04.009","journal-title":"Expert Syst. Appl."},{"doi-asserted-by":"crossref","unstructured":"Bench-Capon, T., et al.: A history of AI and Law in 50 papers: 25 years of the international conference on AI and law. ICAIL 20, 215\u2013319 (2012) https:\/\/www.csc.liv.ac.uk\/%20tbc\/publications\/ICAIL25AuthorsVersion.pdf","key":"2_CR29","DOI":"10.1007\/s10506-012-9131-x"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-48005-6_30","volume-title":"The Semantic Web \u2014 ISWC 2002","author":"G Antoniou","year":"2002","unstructured":"Antoniou, G.: Nonmonotonic rule systems on top of ontology layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 394\u2013398. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-48005-6_30"},{"doi-asserted-by":"publisher","unstructured":"Herrestad, H.: Norms and formalization. In: Proceedings of the 3rd International Conference on Artificial Intelligence and Law. ICAIL 1991, pp. 175\u2013184, May 1991. https:\/\/doi.org\/10.1145\/112646.112667","key":"2_CR31","DOI":"10.1145\/112646.112667"},{"unstructured":"SDEv4: Smart Document Editor v4 prototype (2022). http:\/\/130.56.246.229","key":"2_CR32"},{"unstructured":"Panagiotidi, S., Nieves, J., V\u00e1zquez-Salceda, J.: A framework to model norm dynamics in answer set programming. In: CEUR Workshop Proceedings, vol. 494 (2009)","key":"2_CR33"},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-25655-4_12","volume-title":"New Frontiers in Artificial Intelligence","author":"M De Vos","year":"2011","unstructured":"De Vos, M., Padget, J., Satoh, K.: Legal modelling and reasoning using institutions. In: Onada, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS (LNAI), vol. 6797, pp. 129\u2013140. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25655-4_12"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-00178-0_6","volume-title":"AI Approaches to the Complexity of Legal Systems","author":"G Sileno","year":"2018","unstructured":"Sileno, G., Boer, A., van Engers, T.: A petri net-based notation for normative modeling: evaluation on deontic paradoxes. In: Pagallo, U., Palmirani, M., Casanovas, P., Sartor, G., Villata, S. (eds.) AICOL 2015-2017. LNCS (LNAI), vol. 10791, pp. 89\u2013104. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00178-0_6"},{"issue":"4","key":"2_CR36","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/s10992-017-9440-3","volume":"47","author":"R Kowalski","year":"2017","unstructured":"Kowalski, R., Satoh, K.: Obligation as optimal goal satisfaction. J. Philos. Log. 47(4), 579\u2013609 (2017). https:\/\/doi.org\/10.1007\/s10992-017-9440-3","journal-title":"J. Philos. Log."},{"doi-asserted-by":"publisher","unstructured":"Lam, H., Governatori, G., Riveret, R.: On ASPIC+ and defeasible logic (2016). https:\/\/doi.org\/10.3233\/978-1-61499-686-6-359","key":"2_CR37","DOI":"10.3233\/978-1-61499-686-6-359"},{"doi-asserted-by":"publisher","unstructured":"Governatori, G., Casanovas, P., Koker, L.: On the formal representation of the Australian spent conviction scheme (2020). https:\/\/doi.org\/10.26181\/6073968f457d2","key":"2_CR38","DOI":"10.26181\/6073968f457d2"},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1017\/S1471068418000327","volume":"18","author":"R Schwitter","year":"2018","unstructured":"Schwitter, R.: Specifying and verbalising answer set programs in controlled natural language. Theory Pract. Logic Program. 18, 691\u2013705 (2018). https:\/\/doi.org\/10.1017\/S1471068418000327","journal-title":"Theory Pract. Logic Program."}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-36190-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,18]],"date-time":"2023-07-18T13:03:06Z","timestamp":1689685386000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-36190-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031361890","9783031361906"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-36190-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JSAI-isAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"JSAI International Symposium on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Yokohama","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jsai2021a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.ai-gakkai.or.jp\/isai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}