- Must Good Reasoning Satisfy Cumulative Transitivity?Shyam Nair - 2017 - Philosophy and Phenomenological Research 98 (1):123-146.details
|
|
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.details
|
|
AGM Contraction and Revision of Rules.Guido Boella, Gabriella Pigozzi & Leendert van der Torre - 2016 - Journal of Logic, Language and Information 25 (3-4):273-297.details
|
|
Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law.Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi & Leendert van der Torre - 2016 - Artificial Intelligence and Law 24 (3):245-283.details
|
|
Safe Contraction Revisited.Hans Rott & Sven Ove Hansson - 2014 - In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems (Outstanding Contributions to Logic, Vol. 3). Springer. pp. 35–70.details
|
|
Modelling phenomena and dynamic logic of phenomena.Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):53-82.details
|
|
Contrary-to-Duty Reasoning: A Categorical Approach.Clayton Peterson - 2015 - Logica Universalis 9 (1):47-92.details
|
|
Violation games: a new foundation for deontic logic ★.Leendert van der Torre - 2010 - Journal of Applied Non-Classical Logics 20 (4):457-477.details
|
|
Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - Journal of Applied Logic 11 (2):147-168.details
|
|
Permission from an Input/Output Perspective.David Makinson & Leendert van der Torre - 2003 - Journal of Philosophical Logic 32 (4):391 - 416.details
|
|
Norm-system revision: theory and application. [REVIEW]Audun Stolpe - 2010 - Artificial Intelligence and Law 18 (3):247-283.details
|
|
Deontic logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Choosing your beliefs.Gabriella Pigozzi, G. Boella, C. Costa Pereirdaa, A. Tettamanzi & and Leon van der Torre - manuscriptdetails
|
|
Ten philosophical problems in deontic logic.Gabriella Pigozzi, J. Hansen & Leon van der Torre - manuscriptdetails
|
|
New foundations for imperative logic I: Logical connectives, consistency, and quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.details
|
|
Deontic logics for prioritized imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.details
|
|
The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. [REVIEW]Guido Boella & Leendert van der Torre - 2007 - Artificial Intelligence and Law 15 (3):201-221.details
|
|
Institutions with a hierarchy of authorities in distributed dynamic environments.Guido Boella & Leendert van der Torre - 2008 - Artificial Intelligence and Law 16 (1):53-71.details
|
|
Situated conditional reasoning.Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2023 - Artificial Intelligence 319 (C):103917.details
|
|
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Henri Prade, Markus Knauff, Igor Douven & Gabriele Kern-Isberner - 2017 - Minds and Machines 27 (1):37-77.details
|
|
Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support.Christoph Benzmüller, Xavier Parent & Leendert van der Torre - 2020 - Artificial Intelligence 287:103348.details
|
|
Rethinking epistemic logic with belief bases.Emiliano Lorini - 2020 - Artificial Intelligence 282 (C):103233.details
|
|
Law and logic: A review from an argumentation perspective.Henry Prakken & Giovanni Sartor - 2015 - Artificial Intelligence 227 (C):214-245.details
|
|
A causal approach to nonmonotonic reasoning.Alexander Bochman - 2004 - Artificial Intelligence 160 (1-2):105-143.details
|
|
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.Björn Lellmann, Francesca Gulisano & Agata Ciabattoni - 2020 - Artificial Intelligence and Law 29 (3):351-394.details
|
|
Rationality and maximal consistent sets for a fragment of ASPIC + without undercut.Jesse Heyninck & Christian Straßer - 2021 - Argument and Computation 12 (1):3-47.details
|
|
On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - 2020 - Logic and Logical Philosophy 29 (3):335–380.details
|
|
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base.Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni & Gabriele Lenzini - 2020 - Journal of Logic, Language and Information 29 (4):401-449.details
|
|
Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.details
|
|
Unsettling Preferential Semantics.Audun Stolpe - 2020 - Journal of Philosophical Logic 49 (2):371-399.details
|
|
AGM Contraction and Revision of Rules.Roland Mühlenbernd, Laurent Perrussel & Emiliano Lorini - 2016 - Journal of Logic, Language and Information 25 (3 - 4):273-297.details
|
|
Arguing about constitutive and regulative norms.Gabriella Pigozzi & Leendert van der Torre - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):189-217.details
|
|
The European Legal Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology.Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi & Andrea Violato - 2016 - Applied ontology 11 (4):325-375.details
|
|
On the complexity of input/output logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.details
|
|
Free choice reasons.Daniel Bonevac - 2019 - Synthese 196 (2):735-760.details
|
|
The role of goals in belief selection.G. Boella, C. da Costa Pereira, G. Pigozzi, A. Tettamanzi & L. van der Torre - 2010 - Logic Journal of the IGPL 18 (4):559-578.details
|
|
Obligation as Optimal Goal Satisfaction.Robert Kowalski & Ken Satoh - 2018 - Journal of Philosophical Logic 47 (4):579-609.details
|
|
Legal Power: The Basic Definition.Lars Lindahl & David Reidhav - 2017 - Ratio Juris 30 (2):158-185.details
|
|
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations.Guido Governatori & Antonino Rotolo - 2006 - Australasian Journal of Logic 4:193-215.details
|
|
A concept approach to input/output logic.Audun Stolpe - 2015 - Journal of Applied Logic 13 (3):239-258.details
|
|
The categorical imperative: Category theory as a foundation for deontic logic.Clayton Peterson - 2014 - Journal of Applied Logic 12 (4):417-461.details
|
|
Stratification of normative systems with intermediaries.Lars Lindahl & Jan Odelstad - 2011 - Journal of Applied Logic 9 (2):113-136.details
|
|
A theory of permission based on the notion of derogation.Audun Stolpe - 2010 - Journal of Applied Logic 8 (1):97-113.details
|
|
Substantive and procedural norms in normative multiagent systems.Guido Boella & Leendert van der Torre - 2008 - Journal of Applied Logic 6 (2):152-171.details
|
|
Conflicting imperatives and dyadic deontic logic.Jörg Hansen - 2005 - Journal of Applied Logic 3 (3-4):484-511.details
|
|
Normative positions within an algebraic approach to normative systems.Lars Lindahl & Jan Odelstad - 2004 - Journal of Applied Logic 2 (1):63-91.details
|
|
Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.details
|
|
The open agent society: retrospective and prospective views.Jeremy Pitt & Alexander Artikis - 2015 - Artificial Intelligence and Law 23 (3):241-270.details
|
|
Requirements, Oughts, Intentions.John Horty - 2015 - Philosophy and Phenomenological Research 91 (1):220-229.details
|
|
Two-phase deontic logic.Leendert Van der Torre & Yao-Hua Tan - 2000 - Logique Et Analyse 43 (171–172):411-456.details
|
|