Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
暂无分享,去创建一个
[1] Livio Robaldo,et al. Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality , 2011, J. Log. Lang. Inf..
[2] Edgar A. Whitley,et al. The Construction of Social Reality , 1999 .
[3] Jerry R. Hobbs. Deep Lexical Semantics , 2008, CICLing.
[4] L. Thorne McCarty. Deep semantic interpretations of legal texts , 2007, ICAIL.
[5] David L. Davidson,et al. The Logical Form of Action Sentences , 2001 .
[6] Guido Boella,et al. Regulative and Constitutive Norms in Normative Multiagent Systems , 2004, KR.
[7] Jerry R. Hobbs,et al. An ontology of time for the semantic web , 2004, TALIP.
[8] Livio Robaldo,et al. Learning from syntax generalizations for automatic semantic annotation , 2014, Journal of Intelligent Information Systems.
[9] Robert S. Summers,et al. Interpreting Statutes: A Comparative Study , 1991 .
[10] Fengkui Ju,et al. Imperatives and Logic ∗ , 2010 .
[11] Jerry R. Hobbs,et al. Elaborating a Knowledge Base for Deep Lexical Semantics , 2011, IWCS.
[12] L. T. McCarty. A language for legal discourse , 1989 .
[13] Marco Colombetti,et al. Specifying Artificial Institutions in the Event Calculus , 2009, Handbook of Research on Multi-Agent Systems.
[14] Marek J. Sergot,et al. The British Nationality Act as a logic program , 1986, CACM.
[15] Livio Robaldo,et al. Flexible Disambiguation and Expressive Completeness in Dependency Tree Semantics , 2014, J. Semant..
[16] L. Thorne McCarty,et al. A language for legal Discourse I. basic features , 1989, ICAIL '89.
[17] Leon van der Torre,et al. "Sing and Dance!" - Input/Output Logics without Weakening , 2014, DEON.
[18] Harry Bunt,et al. Mass Terms and Model-Theoretic Semantics , 1985 .
[19] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[20] Gary Peller,et al. The Metaphysics of American Law , 1985 .
[21] Livio Robaldo,et al. Dependency Tree Semantics , 2006, ISMIS.
[22] Emmon Bach. Time, Tense, and Aspect: An Essay in English Metaphysics , 1981 .
[23] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[24] L. THORNE MCCARTY. Ownership: A case study in the representation of legal concepts , 2004, Artificial Intelligence and Law.
[25] Antony Galton,et al. Operators vs. Arguments: The Ins and Outs of Reification , 2006, Synthese.
[26] Livio Robaldo,et al. Semantic Relation Extraction from Legislative Text Using Generalized Syntactic Dependencies and Support Vector Machines , 2013, RuleML.
[27] Pierre Jouvelot,et al. Legivoc – connecting laws in a changing world , 2013 .
[28] Doris Liebwald,et al. Vagueness in law: a stimulus for 'artificial intelligence & law' , 2013, ICAIL.
[29] Guido Governatori,et al. Computing Strong and Weak Permissions in Defeasible Logic , 2012, Journal of Philosophical Logic.
[30] Livio Robaldo,et al. Sense Annotation in the Penn Discourse Treebank , 2008, CICLing.
[31] Dan Flickinger,et al. Minimal Recursion Semantics: An Introduction , 2005 .
[32] Livio Robaldo,et al. Logic and Games for Ethical Agents in Normative Multi-agent Systems , 2015, EUMAS/AT.
[33] Michael Collins,et al. Head-Driven Statistical Models for Natural Language Parsing , 2003, CL.
[34] Livio Robaldo,et al. Corpus-driven Semantics of Concession: Where do Expectations Come from? , 2014, Dialogue Discourse.
[35] Tim Hunter,et al. Conservativity and Learnability of Determiners , 2013, J. Semant..
[36] Livio Robaldo,et al. A system for classifying multi-label text into EuroVoc , 2013, ICAIL.
[37] J. McCarthy. Circumscription|a Form of Nonmonotonic Reasoning , 1979 .
[38] Murray Shanahan,et al. Linkk Oping Electronic Articles in the Event Calculus in Classical Logic { Alternative Axiomatisations Linkk Oping Electronic Articles in Computer and Information Science , 1999 .
[39] H. Alshawi,et al. The Core Language Engine , 1994 .
[40] Alexander Bochman,et al. A causal approach to nonmonotonic reasoning , 2004, Artif. Intell..
[41] Leon van der Torre,et al. Combining Constitutive and Regulative Norms in Input/Output Logic , 2014, DEON.
[42] Livio Robaldo,et al. On the complexity of input/output logic , 2017, J. Appl. Log..
[43] Xavier Parent,et al. Moral particularism in the light of deontic logic , 2011, Artificial Intelligence and Law.
[44] Leon van der Torre,et al. Input/Output Logics , 2000, J. Philos. Log..
[45] Jerry R. Hobbs. Overview of the TACITUS Project , 1986, HLT.
[46] Tommaso Caselli,et al. From Italian Text to TimeML Document via Dependency Parsing , 2011, CICLing.
[47] Livio Robaldo,et al. Linking legal open data: breaking the accessibility and language barrier in european legislation and case law , 2015, ICAIL.
[48] Leon van der Torre,et al. Permission from an Input/Output Perspective , 2003, J. Philos. Log..
[49] Livio Robaldo,et al. On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences , 2014, J. Log. Lang. Inf..
[50] Jerry Hobbs. The Language of Word Meaning: Syntax and Metonymy , 2001 .
[51] Jerry R. Hobbs,et al. Abductive Reasoning with a Large Knowledge Base for Discourse Processing , 2011, IWCS.
[52] Guido Governatori,et al. Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments , 2015, ICAIL.
[53] Livio Robaldo,et al. Conservativity: a necessary property for the maximization of witness sets , 2013, Log. J. IGPL.
[54] G. Sartor. Legal Reasoning: A Cognitive Approach to Law , 2005 .
[55] Leon van der Torre,et al. Constraints for Input/Output Logics , 2001, J. Philos. Log..
[56] Moe Thandar Wynn,et al. Modeling Obligations with Event-Calculus , 2014, RuleML.
[57] Livio Robaldo,et al. The Penn Discourse TreeBank 2.0. , 2008, LREC.
[58] Yasuko Obana,et al. Co-authorship of Joint utterances in Japanese , 2015, Dialogue Discourse.
[59] Livio Robaldo,et al. Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law , 2016, Artificial Intelligence and Law.
[60] Carlo Strapparava,et al. Corpus-based and Knowledge-based Measures of Text Semantic Similarity , 2006, AAAI.
[61] Martin Bichler,et al. SLA representation, management and enforcement , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.
[62] R. Winkels. The OpenLaws project: Big Open Legal Data , 2015 .
[63] Greg N. Carlson,et al. Generic terms and generic sentences , 1982, J. Philos. Log..
[64] Livio Robaldo,et al. Independent Set Readings and Generalized Quantifiers , 2010, J. Philos. Log..
[65] Livio Robaldo,et al. Interpretation and inference with maximal referential terms , 2010, J. Comput. Syst. Sci..
[66] Fabrizio Cariani. Deontic logic and normative systems : 12th international conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings , 2014 .
[67] Livio Robaldo,et al. The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology , 2017, Appl. Ontology.
[68] Jörgen Jörgensen,et al. Imperatives and logic , 1937, Erkenntnis.
[69] David Evans,et al. Deontic logic for modelling data flow and use compliance , 2008, MPAC '08.
[70] László Dezsö,et al. Universal Grammar , 1981, Certainty in Action.
[71] Davide Grossi,et al. Constitutive Norms and Counts-as Conditionals , 2013 .