On the public citation graph
Deontic logic as founded on nonmonotonic logic
0 signed · 90 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-94-009-8484-4_7openalex-snapshot
Deontic Logic as Founded on Tense Logic
inferredcites →https://doi.org/10.1007/978-94-010-1161-7_2openalex-snapshot
A Useful Four-Valued Logic
inferredcites →https://doi.org/10.1007/978-94-010-1711-4_9openalex-snapshot
Deontic Logic and its Philosophical Morals
inferredcites →https://doi.org/10.1007/978-94-010-2191-3_1openalex-snapshot
Semantic Analyses for Dyadic Deontic Logic
inferredcites →https://doi.org/10.1007/978-94-010-3146-2_5openalex-snapshot
An Analysis of Some Deontic Logics
inferredcites →https://doi.org/10.1007/bf00255570openalex-snapshot
The logic of conditional obligation
inferredcites →https://doi.org/10.1007/bf01417957openalex-snapshot
Moral dilemmas and nonmonotonic logic
inferredcites →https://doi.org/10.1007/bfb0000066openalex-snapshot
On indefinite databases and the closed world assumption
inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot
Circumscription—A form of non-monotonic reasoning
inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot
A logic for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(88)90079-3openalex-snapshot
An approach to default reasoning based on a first-order conditional logic: Revised report
inferredcites →https://doi.org/10.1016/0004-3702(90)90101-5openalex-snapshot
Nonmonotonic reasoning, preferential models and cumulative logics
inferredcites →https://doi.org/10.1016/0004-3702(92)90103-5openalex-snapshot
How to reason defeasibly
inferredcites →https://doi.org/10.1016/c2013-0-08296-5openalex-snapshot
Representations of Commonsense Knowledge
inferredcites →https://doi.org/10.1093/acprof:oso/9780198241560.001.0001openalex-snapshot
Formal Logic
inferredcites →https://doi.org/10.1093/aristoteliansupp/39.1.103openalex-snapshot
Ethical Consistency
inferredcites →https://doi.org/10.1093/oso/9780198537472.003.0003openalex-snapshot
Some Direct Theories of Nonmonotonic Inheritance
inferredcites →https://doi.org/10.2307/2026371openalex-snapshot
Consistency in Rationalist Moral Systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-46581-2_15openalex-snapshot
The Role of Diagnosis and Decision Theory in Normative Reasoning
inferred← citeshttps://doi.org/10.1007/3-540-60112-0_47openalex-snapshot
Why defeasible deontic logic needs a multi preference semantics
inferred← citeshttps://doi.org/10.1007/978-1-4471-1488-8_12openalex-snapshot
How to Combine Ordering and Minimizing in a Deontic Logic based on Preferences
inferred← citeshttps://doi.org/10.1007/978-1-4471-1488-8_6openalex-snapshot
Combining Agency and Obligation (Preliminary Version)
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_4openalex-snapshot
The Role of Deontic Logic in the Specification of Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-04834-1_4openalex-snapshot
Stratification Based Model for Security Policy with Exceptions and Contraries to Duty
inferred← citeshttps://doi.org/10.1007/978-3-031-43619-2_34openalex-snapshot
Deontic Equilibrium Logic with eXplicit Negation
inferred← citeshttps://doi.org/10.1007/978-3-319-00792-2_12openalex-snapshot
A Deontic Logic Framework Allowing for Factual Detachment
inferred← citeshttps://doi.org/10.1007/978-3-319-97755-3_1openalex-snapshot
Deontic Logic and Changing Preferences
inferred← citeshttps://doi.org/10.1007/978-3-540-25927-5_13openalex-snapshot
Quasi-matrix Deontic Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-31570-1_5openalex-snapshot
An Embedding of Input-Output Logic in Deontic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_6openalex-snapshot
From Classical to Non-monotonic Deontic Logic Using ASPIC $$^+$$
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_14openalex-snapshot
Reasoning About Permission and Obligation
inferred← citeshttps://doi.org/10.1007/978-94-015-8851-5_2openalex-snapshot
Nonmonotonic Foundations for Deontic Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-8851-5_5openalex-snapshot
The Many Faces of Defeasibility in Defeasible Deontic Logic
inferred← citeshttps://doi.org/10.1007/978-94-015-8851-5_6openalex-snapshot
Deontic Logic Viewed as Defeasible Reasoning
inferred← citeshttps://doi.org/10.1007/978-94-017-1743-4_14openalex-snapshot
Dynamic Normative Reasoning under Uncertainty: How to Distinguish between Obligations under Uncertainty and Prima Facie Obligations
inferred← citeshttps://doi.org/10.1007/bf01306968openalex-snapshot
The deliberative stit: A study of action, omission, ability, and obligation
inferred← citeshttps://doi.org/10.1007/s00146-015-0596-5openalex-snapshot
Digital technologies and artificial intelligence’s present and foreseeable impact on lawyering, judging, policing and law enforcement
inferred← citeshttps://doi.org/10.1007/s00766-013-0190-7openalex-snapshot
Eddy, a formal language for specifying and analyzing data flow specifications for conflicting privacy requirements
inferred← citeshttps://doi.org/10.1007/s10458-008-9067-4openalex-snapshot
Goals in conflict: semantic foundations of goals in agent programming
inferred← citeshttps://doi.org/10.1007/s10472-008-9103-8openalex-snapshot
Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB
inferred← citeshttps://doi.org/10.1007/s10506-020-09278-wopenalex-snapshot
Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach
inferred← citeshttps://doi.org/10.1007/s10992-017-9440-3openalex-snapshot
Obligation as Optimal Goal Satisfaction
inferred← citeshttps://doi.org/10.1007/s10992-019-09521-zopenalex-snapshot
Unsettling Preferential Semantics
inferred← citeshttps://doi.org/10.1007/s11023-017-9428-3openalex-snapshot
Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
inferred← citeshttps://doi.org/10.1016/0169-023x(95)00008-gopenalex-snapshot
Conditional deontic logic augmented with defeasible reasoning
inferred← citeshttps://doi.org/10.1016/j.jal.2010.11.001openalex-snapshot
A deontic logic framework allowing for factual detachment
inferred← citeshttps://doi.org/10.1016/j.socnet.2007.04.003openalex-snapshot
The structure of norms and relations in patronage systems
inferred← citeshttps://doi.org/10.1016/s0167-9236(00)00085-3openalex-snapshot
INCAS: a legal expert system for contract terms in electronic commerce
inferred← citeshttps://doi.org/10.1016/s0169-023x(97)00048-7openalex-snapshot
Specification of contractual obligations in formal business communication
inferred← citeshttps://doi.org/10.1023/a:1008338019879openalex-snapshot
Donald Nute (ed.), Defeasible Deontic Logic
inferred← citeshttps://doi.org/10.1023/a:1018975332469openalex-snapshot
Contrary‐to‐duty reasoning with preference‐based dyadic obligations
inferred← citeshttps://doi.org/10.1080/00222500590889749openalex-snapshot
THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT
inferred← citeshttps://doi.org/10.1080/08839510490279852openalex-snapshot
ARTIFICIAL INTELLIGENCE AND FORMALISMS FOR LEGAL EVIDENCE: AN INTRODUCTION
inferred← citeshttps://doi.org/10.1080/11663081.2013.798996openalex-snapshot
Equivalence of defeasible normative systems
inferred← citeshttps://doi.org/10.1093/logcom/exac063openalex-snapshot
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic
inferred← citeshttps://doi.org/10.1093/mind/fzu085openalex-snapshot
Consequences of Reasoning with Conflicting Obligations
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780190905323.013.24openalex-snapshot
Fault Lines in Ethical Theory
inferred← citeshttps://doi.org/10.1109/hicss.1997.663422openalex-snapshot
Relativized deontic modalities for contractual obligations in formal business communication
inferred← citeshttps://doi.org/10.1109/re.2006.68openalex-snapshot
Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
inferred← citeshttps://doi.org/10.1109/re.2013.6636701openalex-snapshot
Formal analysis of privacy requirements specifications for multi-tier applications
inferred← citeshttps://doi.org/10.1109/re.2015.7320419openalex-snapshot
Detecting repurposing and over-collection in multi-party privacy requirements specifications
inferred← citeshttps://doi.org/10.1109/relaw.2011.6050267openalex-snapshot
Governance and accountability in the new data ecology
inferred← citeshttps://doi.org/10.1109/ths.2011.6107840openalex-snapshot
Towards a privacy management framework for distributed cybersecurity in the new data ecology
inferred← citeshttps://doi.org/10.1111/0029-4624.00086openalex-snapshot
Against Conditional Obligation
inferred← citeshttps://doi.org/10.1111/0081-1750.00081openalex-snapshot
8. The Self as a Fuzzy Set of Roles, Role Theory as a Fuzzy System
inferred← citeshttps://doi.org/10.1111/papq.12044openalex-snapshot
Deontic Modals: Why Abandon the Classical Semantics?
inferred← citeshttps://doi.org/10.1111/phpr.12431openalex-snapshot
Must Good Reasoning Satisfy Cumulative Transitivity?
inferred← citeshttps://doi.org/10.1145/2898375.2898381openalex-snapshot
Modeling, analyzing, and consistency checking privacy requirements using eddy
inferred← citeshttps://doi.org/10.1145/3086512.3086529openalex-snapshot
The pragmatic oddity in norm-based deontic logics
inferred← citeshttps://doi.org/10.22545/2024/00246openalex-snapshot
Navigating "Wicked Problems" in Public Policy: The Power and Promise of Using SHAMROQ's Transdisciplinary Approach to Find Regulatory Text Patterns – A Mixed Method Study
inferred← citeshttps://doi.org/10.24963/kr.2020/33openalex-snapshot
A Preference-Based Approach to Defeasible Deontic Inference
inferred← citeshttps://doi.org/10.3233/aic-220136openalex-snapshot
Resilience, reliability, and coordination in autonomous multi-agent systems
inferred← citeshttps://doi.org/10.33612/diss.243686372openalex-snapshot
How Knowledge Affects Obligations
inferred← citeshttps://doi.org/10.48550/arxiv.1301.6743openalex-snapshot
An Update Semantics for Defeasible Obligations
inferred← citeshttps://doi.org/10.48550/arxiv.1606.00339openalex-snapshot
A structured argumentation framework for detaching conditional obligations
inferred← citeshttps://doi.org/10.5555/2343896.2344039openalex-snapshot
Specifying and reasoning about normative systems in deontic logic programming
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.