{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T05:06:12Z","timestamp":1767675972706,"version":"3.41.0"},"reference-count":73,"publisher":"Oxford University Press (OUP)","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12,1]]},"DOI":"10.1093\/logcom\/exx009","type":"journal-article","created":{"date-parts":[[2017,2,17]],"date-time":"2017-02-17T12:09:14Z","timestamp":1487333354000},"page":"2471-2503","source":"Crossref","is-referenced-by-count":25,"title":["Reified Input\/Output logic: Combining Input\/Output logic and Reification to represent norms coming from existing legislation"],"prefix":"10.1093","volume":"27","author":[{"given":"Livio","family":"Robaldo","sequence":"first","affiliation":[]},{"given":"Xin","family":"Sun","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2017,4,1]]},"reference":[{"journal-title":"Applied Ontology","article-title":"The european legal taxonomy syllabus: a multi-lingual, multi-level ontology framework to untangle the web of european legal terminology","year":"2017","key":"key\n\t\t\t\t20171208020740_B1"},{"journal-title":"Theorie der Normen","article-title":"Permission and permissive norms","year":"1984","key":"key\n\t\t\t\t20171208020740_B2"},{"volume-title":"The Core Language Engine","year":"1992","key":"key\n\t\t\t\t20171208020740_B3"},{"key":"key\n\t\t\t\t20171208020740_B4","first-page":"63","article-title":"On time, tense, and aspect: an essay in english metaphysics","volume-title":"Radical Pragmatics","year":"1981"},{"key":"key\n\t\t\t\t20171208020740_B5","first-page":"141","article-title":"A logic for causal reasoning","year":"2003","journal-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), Acapulco, Mexico, August 9-15, 2003"},{"key":"key\n\t\t\t\t20171208020740_B6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2004.07.002","article-title":"A causal approach to nonmonotonic reasoning","volume":"160","year":"2004","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20171208020740_B7","first-page":"245","article-title":"Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law","volume":"4","year":"2016","journal-title":"Artificial Intelligence and Law"},{"key":"key\n\t\t\t\t20171208020740_B8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/s10844-014-0320-9","article-title":"Learning from syntax generalizations for automatic semantic annotation","volume":"43","year":"2014","journal-title":"Journal of Intelligent Information Systems"},{"key":"key\n\t\t\t\t20171208020740_B9","first-page":"171","article-title":"Linking legal open data: breaking the accessibility and language barrier in european legislation and case law","volume-title":"Proceedings of the 15th International Conference on Artificial Intelligence and Law (ICAIL \u201915)","year":"2015"},{"key":"key\n\t\t\t\t20171208020740_B10","first-page":"239","article-title":"A system for classifying multi-label text into eurovoc","volume-title":"Proceedings of the 14th International Conference on Artificial Intelligence and Law (ICAIL \u201913)","year":"2013"},{"first-page":"218","volume-title":"Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines","year":"2013","key":"key\n\t\t\t\t20171208020740_B11"},{"key":"key\n\t\t\t\t20171208020740_B12","first-page":"255","article-title":"Regulative and constitutive norms in normative multiagent systems","year":"2004","journal-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference (KR2004)"},{"volume-title":"Mass Terms and Model-Theoretic Semantics","year":"1985","key":"key\n\t\t\t\t20171208020740_B13"},{"volume-title":"Deontic Logic and Normative Systems - 12th International Conference, DEON","year":"2014","key":"key\n\t\t\t\t20171208020740_B14"},{"key":"key\n\t\t\t\t20171208020740_B15","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00278382","article-title":"Generic terms and generic sentences","volume":"11","year":"1982","journal-title":"Journal of Philosophical Logic"},{"journal-title":"Syntactic Structures","year":"1957","key":"key\n\t\t\t\t20171208020740_B16"},{"key":"key\n\t\t\t\t20171208020740_B17","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1162\/089120103322753356","article-title":"Head-driven statistical models for natural language parsing","volume":"29","year":"2003","journal-title":"Computational Linguistics"},{"key":"key\n\t\t\t\t20171208020740_B18","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11168-006-6327-9","article-title":"Minimal Recursion Semantics. An introduction","volume":"3","year":"2005","journal-title":"Journal of Research on Language and Computation"},{"article-title":"The logical form of action sentences","volume-title":"The Logic of Decision and Action","year":"1967","key":"key\n\t\t\t\t20171208020740_B19"},{"key":"key\n\t\t\t\t20171208020740_B20","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1462789.1462793","article-title":"Deontic logic for modelling data flow and use compliance","volume-title":"Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing","year":"2008"},{"key":"key\n\t\t\t\t20171208020740_B21","first-page":"335","article-title":"Specifying artificial institutions in the event calculus","year":"2009","journal-title":"Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models"},{"key":"key\n\t\t\t\t20171208020740_B22","first-page":"407","article-title":"Constitutive norms and counts-as conditionals","volume-title":"Handbook of Deontic Logic and Normative Systems","year":"2013"},{"key":"key\n\t\t\t\t20171208020740_B23","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s11229-005-5516-7","article-title":"Operators vs. arguments: the ins and outs of reification","volume":"150","year":"2006","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20171208020740_B24","first-page":"799","article-title":"Computing strong and weak permissions in defeasible logic","volume":"6","year":"2013","journal-title":"Journal of Philosophical Logic"},{"article-title":"Deontic defeasible reasoning in legal interpretation","volume-title":"The 15th International Conference on Artificial Intelligence & Law","year":"2015","key":"key\n\t\t\t\t20171208020740_B25"},{"key":"key\n\t\t\t\t20171208020740_B26","first-page":"296","article-title":"Modeling obligations with event-calculus","volume-title":"Rules on the Web. From Theory to Applications","year":"2014"},{"key":"key\n\t\t\t\t20171208020740_B27","article-title":"Overview of the TACITUS project","volume":"12","year":"1986","journal-title":"Computational Linguistics"},{"journal-title":"Chapter 2 of Discourse and Inference","article-title":"The logical notation: Ontological promiscuity","year":"1998","key":"key\n\t\t\t\t20171208020740_B28"},{"key":"key\n\t\t\t\t20171208020740_B29","first-page":"302","article-title":"Syntax and metonymy","volume-title":"The Language of Word Meaning","year":"2001"},{"journal-title":"Proceedings of the 9th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing-2008)","article-title":"Deep lexical semantics","year":"2008","key":"key\n\t\t\t\t20171208020740_B30"},{"key":"key\n\t\t\t\t20171208020740_B31","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1145\/1017068.1017073","article-title":"An ontology of time for the semantic web","volume":"3","year":"2004","journal-title":"ACM Transactions on Asian Language Processing (TALIP): Special issue on Temporal Information Processing"},{"key":"key\n\t\t\t\t20171208020740_B32","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF00666538","article-title":"Imperatives and logic","volume":"7","year":"1937","journal-title":"Erkenntnis"},{"volume-title":"From Discourse to Logic: An Introduction to Model-theoretic Semantics, Formal Logic and Discourse Representation Theory","year":"1993","key":"key\n\t\t\t\t20171208020740_B33"},{"key":"key\n\t\t\t\t20171208020740_B34","first-page":"67","article-title":"A logic-based calculus of events","volume-title":"New Generation Computing","year":"1986"},{"key":"key\n\t\t\t\t20171208020740_B35","first-page":"207","article-title":"Vagueness in law: a stimulus for \u2018artificial intelligence & law\u2019","year":"2013","journal-title":"Proceedings of the 14th International Conference on Artificial Intelligence and Law"},{"volume-title":"Interpreting Statutes: A Comparative Study","year":"1991","key":"key\n\t\t\t\t20171208020740_B36"},{"key":"key\n\t\t\t\t20171208020740_B37","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","article-title":"Input\/output logics","volume":"29","year":"2000","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171208020740_B38","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","article-title":"Constraints for Input\/Output logics","volume":"30","year":"2001","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171208020740_B39","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","article-title":"Permission from an input\/output perspective","volume":"32","year":"2003","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171208020740_B40","first-page":"27","article-title":"Circumscription: a form of nonmonotonic reasoning","year":"1980","journal-title":"Artificial Intelligence"},{"article-title":"A language for legal discourse i. basic features","volume-title":"Proceedings of the 2nd International Conference on Artificial Intelligence and Law (ICAIL \u201989)","year":"1989","key":"key\n\t\t\t\t20171208020740_B41"},{"key":"key\n\t\t\t\t20171208020740_B42","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1023\/A:1019584605638","article-title":"Ownership: a case study in the representation of legal concepts","volume":"10","year":"2002","journal-title":"Artificial Intelligence and Law"},{"key":"key\n\t\t\t\t20171208020740_B43","first-page":"217","article-title":"Deep semantic interpretations of legal texts","year":"2007","journal-title":"Proceedings of the 11th International Conference on Artificial Intelligence and Law, June 4-8, 2007, Stanford Law School, Stanford, California, USA"},{"key":"key\n\t\t\t\t20171208020740_B44","first-page":"775","article-title":"Corpus-based and knowledge-based measures of text semantic similarity","volume-title":"Proceedings of the 21st National Conference on Artificial Intelligence - Volume 1, AAAI\u201906","year":"2006"},{"key":"key\n\t\t\t\t20171208020740_B45","article-title":"The event calculus in classical logic\u2013alternative axiomatizations","volume":"16","year":"1999","journal-title":"Electronic Transactions on Artificial Intelligence"},{"first-page":"275","volume-title":"Sense Annotation in the Penn Discourse Treebank","year":"2008","key":"key\n\t\t\t\t20171208020740_B46"},{"key":"key\n\t\t\t\t20171208020740_B47","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","article-title":"Universal grammar","volume":"36","year":"1970","journal-title":"Theoria"},{"key":"key\n\t\t\t\t20171208020740_B48","first-page":"195","article-title":"Elaborating a knowledge base for deep lexical semantics","year":"2011","journal-title":"Proceedings of 9th International Workshop on Computational Semantics"},{"key":"key\n\t\t\t\t20171208020740_B49","first-page":"225","article-title":"Abductive reasoning with a large knowledge base for discourse processing","year":"2011","journal-title":"Proceedings of the 9th International Conference on Computational Semantics (IWCS 2011)"},{"key":"key\n\t\t\t\t20171208020740_B50","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s10506-011-9108-1","article-title":"Moral particularism in the light of deontic logic","volume":"19","year":"2011","journal-title":"Artificial Intelligence Law"},{"key":"key\n\t\t\t\t20171208020740_B51","first-page":"49","article-title":"\u2018Sing and Dance!\u2019 - input\/output logics without weakening","volume-title":"Deontic Logic and Normative Systems, Proceedings of 12th International Conference, DEON 2014","year":"2014"},{"first-page":"158","article-title":"SLA representation, management and enforcement","year":"2005","key":"key\n\t\t\t\t20171208020740_B52"},{"key":"key\n\t\t\t\t20171208020740_B53","doi-asserted-by":"crossref","first-page":"1151","DOI":"10.2307\/3480430","article-title":"The metaphysics of American law","volume":"73","year":"1985","journal-title":"California Law Review"},{"journal-title":"Proceedings of the 6th International Conference on Language Resources and Evaluation (LREC 2008)","article-title":"The penn discourse treebank 2.0","year":"2008","key":"key\n\t\t\t\t20171208020740_B54"},{"volume-title":"Dependency Tree Semantics","year":"2007","key":"key\n\t\t\t\t20171208020740_B55"},{"key":"key\n\t\t\t\t20171208020740_B56","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s10992-009-9105-y","article-title":"Independent set readings and generalized quantifiers","volume":"39","year":"2010","journal-title":"The Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20171208020740_B57","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/j.jcss.2009.10.009","article-title":"Interpretation and inference with maximal referential terms","volume":"76","year":"2010","journal-title":"The Journal of Computer and System Sciences"},{"key":"key\n\t\t\t\t20171208020740_B58","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10849-010-9131-8","article-title":"Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality","volume":"20","year":"2011","journal-title":"The Journal of Logic, Language, and Information"},{"key":"key\n\t\t\t\t20171208020740_B59","doi-asserted-by":"crossref","first-page":"853","DOI":"10.1093\/jigpal\/jzt018","article-title":"Conservativity: a necessary property for the maximization of witness sets","volume":"21","year":"2013","journal-title":"Logic Journal of the IGPL"},{"key":"key\n\t\t\t\t20171208020740_B60","first-page":"315","article-title":"Flexible disambiguation and expressive completeness in dependency tree semantics","volume":"30","year":"2013","journal-title":"The Journal of Semantics"},{"key":"key\n\t\t\t\t20171208020740_B61","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5087\/dad.2014.101","article-title":"Corpus-driven semantics of concession: Where do expectations come from?","volume":"5","year":"2014","journal-title":"Dialogue & Discourse"},{"key":"key\n\t\t\t\t20171208020740_B62","article-title":"On the identification of quantifiers\u2019 witness sets: a study of multi-quantifier sentences","volume":"23","year":"2014","journal-title":"The Journal of Logic, Language, and Information"},{"key":"key\n\t\t\t\t20171208020740_B63","first-page":"177","article-title":"From italian text to timeml document via dependency parsing","year":"2011","journal-title":"Computational Linguistics and Intelligent Text Processing - 12th International Conference, CICLing 2011, Tokyo, Japan"},{"journal-title":"Legal Reasoning: A Cognitive Approach to the Law","year":"2005","key":"key\n\t\t\t\t20171208020740_B64"},{"volume-title":"The Construction of Social Reality","year":"1995","key":"key\n\t\t\t\t20171208020740_B65"},{"key":"key\n\t\t\t\t20171208020740_B66","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/5689.5920","article-title":"The british nationality act as a logic program","volume":"29","year":"1986","journal-title":"Communications of ACM"},{"first-page":"367","volume-title":"Logic and Games for Ethical Agents in Normative Multi-agent Systems","year":"2016","key":"key\n\t\t\t\t20171208020740_B67"},{"journal-title":"Journal of Applied Logic","article-title":"On the complexity of input\/output logic","year":"2017","key":"key\n\t\t\t\t20171208020740_B68"},{"key":"key\n\t\t\t\t20171208020740_B69","first-page":"241","article-title":"Combining constitutive and regulative norms in input\/output logic","volume-title":"Deontic Logic and Normative Systems (DEON 2014)","year":"2014"},{"key":"key\n\t\t\t\t20171208020740_B70","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00632472","article-title":"Polyadic quantifiers","volume":"12","year":"1989","journal-title":"Linguistics and Philosophy"},{"key":"key\n\t\t\t\t20171208020740_B71","article-title":"Legivoc - connectings laws in a changing world","volume":"1","year":"2013","journal-title":"Journal of Open Access to Law"},{"journal-title":"On the Logic of Negation","year":"1959","key":"key\n\t\t\t\t20171208020740_B72"},{"first-page":"189","volume-title":"The OpenLaws project: Big Open Legal Data","year":"2015","key":"key\n\t\t\t\t20171208020740_B73"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/8\/2471\/22301116\/exx009.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T13:09:39Z","timestamp":1749992979000},"score":1,"resource":{"primary":{"URL":"http:\/\/academic.oup.com\/logcom\/article\/27\/8\/2471\/3098296"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,1]]},"references-count":73,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2017,4,1]]},"published-print":{"date-parts":[[2017,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx009","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2017,12]]},"published":{"date-parts":[[2017,4,1]]}}}