On the public citation graph

Contrary-to-duty obligations

0 signed · 200 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.

Claim with ORCID

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.

See reference health

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-4openalex-snapshot

New Studies in Deontic Logic

inferredcites →https://doi.org/10.1007/978-94-009-8484-4_9openalex-snapshot

Some Theorems about a “Tree” System of Deontic Tense Logic

inferredcites →https://doi.org/10.1007/978-94-010-2191-3openalex-snapshot

Logical Theory and Semantic Analysis

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/bf00211186openalex-snapshot

Preference-based deontic logic (PDL)

inferredcites →https://doi.org/10.1007/bf00370669openalex-snapshot

Prima facie and seeming duties

inferredcites →https://doi.org/10.1007/bf00869304openalex-snapshot

Ideality, sub-ideality and deontic logic

inferredcites →https://doi.org/10.1007/bf01057652openalex-snapshot

Five faces of minimality

inferredcites →https://doi.org/10.1007/bf01531266openalex-snapshot

Exploiting the normative aspect of preference: A deontic logic without actions

inferredcites →https://doi.org/10.1017/cbo9780511621192openalex-snapshot

Modal Logic

inferredcites →https://doi.org/10.1093/analys/24.2.33openalex-snapshot

Contrary-To-Duty Imperatives and Deontic Logic

inferredcites →https://doi.org/10.1145/41735.41753openalex-snapshot

Legal reasoning in 3-D

inferredcites →https://doi.org/10.1305/ndjfl/1093637776openalex-snapshot

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.

inferredcites →https://doi.org/10.2307/2026120openalex-snapshot

Gentle Murder, or the Adverbial Samaritan

inferredcites →https://doi.org/10.3233/fi-1994-21128openalex-snapshot

DEFEASIBLE DEONTIC REASONING

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.2016787openalex-extracted

Obligations and Prohibitions in Talmudic Deontic Logic

inferred← citeshttps://doi.org/10.1002/9781444367072.wbiee396openalex-snapshot

Practical Conditionals

inferred← citeshttps://doi.org/10.1002/9781444367072.wbiee975openalex-snapshot

Contrary‐to‐Duty Paradox

inferred← citeshttps://doi.org/10.1002/lnc3.352openalex-snapshot

Obligations and Permissions

inferred← citeshttps://doi.org/10.1007/11425274_44openalex-snapshot

The Chisholm Paradox and the Situation Calculus

inferred← citeshttps://doi.org/10.1007/11786849_7openalex-snapshot

Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario

inferred← citeshttps://doi.org/10.1007/3-540-45448-9_7openalex-snapshot

On Multi-agent Systems Specification via Deontic Logic

inferred← citeshttps://doi.org/10.1007/3-540-48315-2_28openalex-snapshot

Violation Contexts and Deontic Independence

inferred← citeshttps://doi.org/10.1007/3-540-49545-2_6openalex-snapshot

Prohairetic Deontic Logic (PDL)

inferred← citeshttps://doi.org/10.1007/3-540-63614-5_32openalex-snapshot

Towards AI formalisms for legal evidence

inferred← citeshttps://doi.org/10.1007/978-1-4020-9084-4_5openalex-snapshot

A Temporal Logic of Normative Systems

inferred← citeshttps://doi.org/10.1007/978-1-4615-0167-1_23openalex-snapshot

Research Notes on Developing a Formal Organizational Language

inferred← citeshttps://doi.org/10.1007/978-3-030-00178-0_6openalex-snapshot

A Petri Net-Based Notation for Normative Modeling: Evaluation on Deontic Paradoxes

inferred← citeshttps://doi.org/10.1007/978-3-030-00338-8_1openalex-snapshot

Practical Normative Reasoning with Defeasible Deontic Logic

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-030-06164-7_8openalex-snapshot

Norms and Deontic Logic

inferred← citeshttps://doi.org/10.1007/978-3-030-89811-3_6openalex-snapshot

Principles and Semantics: Modelling Violations for Normative Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-030-90749-5_1openalex-snapshot

Time and Actual Obligations

inferred← citeshttps://doi.org/10.1007/978-3-031-27957-7_19openalex-snapshot

Logic-Oriented Methods for Structuring in the Context of Lawmaking

inferred← citeshttps://doi.org/10.1007/978-3-032-04587-4_12openalex-snapshot

deon-$$\mathcal {B}$$: A Language for Well-Founded Deontic Planning

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-04939-7_1openalex-snapshot

The Equational Approach to Contrary-to-duty Obligations

inferred← citeshttps://doi.org/10.1007/978-3-319-05185-7_5openalex-snapshot

Managing Uncertainty in Complex Projects

inferred← citeshttps://doi.org/10.1007/978-3-319-08615-6_12openalex-snapshot

“Sing and Dance!”

inferred← citeshttps://doi.org/10.1007/978-3-319-08615-6_5openalex-snapshot

A Preference-Based Semantics for CTD Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-319-10172-9_1openalex-snapshot

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

inferred← citeshttps://doi.org/10.1007/978-3-319-11558-0_46openalex-snapshot

Reasoning about Dynamic Normative Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-19575-9_17openalex-snapshot

Logic Oriented Methods for Structuring in the Context of Lawmaking

inferred← citeshttps://doi.org/10.1007/978-3-319-25420-3_5openalex-snapshot

Severity-Sensitive Robustness Analysis in Normative Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-25524-8_7openalex-snapshot

Semantics for Modelling Reason-Based Preferences

inferred← citeshttps://doi.org/10.1007/978-3-319-46817-4openalex-snapshot

A New Perspective on Nonmonotonic Logics

inferred← citeshttps://doi.org/10.1007/978-3-540-24630-5_7openalex-snapshot

Agents Interpreting Imperative Sentences

inferred← citeshttps://doi.org/10.1007/978-3-540-24694-7_46openalex-snapshot

The Role of Imperatives in Inference, Agents, and Actions

inferred← citeshttps://doi.org/10.1007/978-3-540-70525-3_10openalex-snapshot

Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

inferred← citeshttps://doi.org/10.1007/978-3-540-70525-3_13openalex-snapshot

Reactive Kripke Models and Contrary to Duty Obligations

inferred← citeshttps://doi.org/10.1007/978-3-540-70525-3_7openalex-snapshot

Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic

inferred← citeshttps://doi.org/10.1007/978-3-540-72952-5_11openalex-snapshot

A Formal Language for Electronic Contracts

inferred← citeshttps://doi.org/10.1007/978-3-642-00255-7_20openalex-snapshot

Challenges in the Specification of Full Contracts

inferred← citeshttps://doi.org/10.1007/978-3-642-00867-2_2openalex-snapshot

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-04893-7_22openalex-snapshot

Measurement-Theoretic Foundation of Preference-Based Dyadic Deontic Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-14183-6_13openalex-snapshot

Obligations and Prohibitions in Talmudic Deontic Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-14183-6_5openalex-snapshot

A Dyadic Operator for the Gradation of Desirability

inferred← citeshttps://doi.org/10.1007/978-3-642-14183-6_6openalex-snapshot

Deontics = Betterness + Priority

inferred← citeshttps://doi.org/10.1007/978-3-642-14183-6_7openalex-snapshot

Axioms for Obligation and Robustness with Temporal Logic

inferred← citeshttps://doi.org/10.1007/978-3-642-14962-7_1openalex-snapshot

Conditional Dependence Networks in Requirements Engineering

inferred← citeshttps://doi.org/10.1007/978-3-642-24690-6_2openalex-snapshot

Formal Methods as a Link between Software Code and Legal Rules

inferred← citeshttps://doi.org/10.1007/978-3-642-25655-4_12openalex-snapshot

Legal Modelling and Reasoning Using Institutions

inferred← citeshttps://doi.org/10.1007/978-3-642-27216-5_33openalex-snapshot

Combining Semantic Web and Logic Programming for Agent Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_14openalex-snapshot

Some Reflections on Two Current Trends in Formal Argumentation

inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_16openalex-snapshot

Why Be Afraid of Identity?

inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_17openalex-snapshot

Deon + : Abduction and Constraints for Normative Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_18openalex-snapshot

Contrary-To-Duties in Games

inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_2openalex-snapshot

The Scientific Contribution of Marek Sergot

inferred← citeshttps://doi.org/10.1007/978-3-642-31485-8_2openalex-snapshot

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

inferred← citeshttps://doi.org/10.1007/978-3-642-31570-1_2openalex-snapshot

Visualizing Normative Systems: An Abstract Approach

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-642-31570-1_7openalex-snapshot

Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations

inferred← citeshttps://doi.org/10.1007/978-3-642-54432-3_11openalex-snapshot

A Survey of Multi-agent Programming Languages and Frameworks

inferred← citeshttps://doi.org/10.1007/978-3-662-60292-8_25openalex-snapshot

A Neutral Temporal Deontic STIT Logic

inferred← citeshttps://doi.org/10.1007/978-90-481-9452-0_10openalex-snapshot

Deductive and Deontic Reasoning

inferred← citeshttps://doi.org/10.1007/978-94-007-1344-4_11openalex-snapshot

Deontic Reasoning

inferred← citeshttps://doi.org/10.1007/978-94-007-1479-3_46openalex-snapshot

Chapter 18 Leon Petrażycki’s Theory of Law

inferred← citeshttps://doi.org/10.1007/978-94-010-0387-2_4openalex-snapshot

Deontic Logic and Contrary-to-Duties

inferred← citeshttps://doi.org/10.1007/978-94-015-8851-5_10openalex-snapshot

Dyadic Deontic Logic and Contrary-to-Duty Obligations

inferred← citeshttps://doi.org/10.1007/978-94-015-8851-5_13openalex-snapshot

A New Approach to Contrary-to-Duty Obligations

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-9397-7_9openalex-snapshot

Contextual Deontic Logic: Violation Contexts and Factual Defeasibility

inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_10openalex-snapshot

Features in Phonological Theory

inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_12openalex-snapshot

What is Input/Output Logic?

inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_19openalex-snapshot

Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism

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/bf02812435openalex-snapshot

The representation of legal contracts

inferred← citeshttps://doi.org/10.1007/s10270-022-01053-6openalex-snapshot

Specification and analysis of legal contracts with Symboleo

inferred← citeshttps://doi.org/10.1007/s10458-007-9016-7openalex-snapshot

Prioritized conditional imperatives: problems and a new proposal

inferred← citeshttps://doi.org/10.1007/s10458-017-9372-xopenalex-snapshot

Severity-sensitive norm-governed multi-agent planning

inferred← citeshttps://doi.org/10.1007/s10458-019-09422-0openalex-snapshot

Norm emergence in multiagent systems: a viewpoint paper

inferred← citeshttps://doi.org/10.1007/s10462-012-9387-2openalex-snapshot

The design of intelligent socio-technical systems

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-011-9109-0openalex-snapshot

Obligations and prohibitions in Talmudic deontic logic

inferred← citeshttps://doi.org/10.1007/s10506-013-9143-1openalex-snapshot

I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies

inferred← citeshttps://doi.org/10.1007/s10588-006-9544-8openalex-snapshot

Mapping deontic operators to abductive expectations

inferred← citeshttps://doi.org/10.1007/s10670-017-9879-1openalex-snapshot

Deontic Modals: Why Abandon the Default Approach

inferred← citeshttps://doi.org/10.1007/s10676-018-9444-xopenalex-snapshot

Embedded ethics: some technical and ethical challenges

inferred← citeshttps://doi.org/10.1007/s10849-022-09375-wopenalex-snapshot

Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again

inferred← citeshttps://doi.org/10.1007/s10849-025-09447-7openalex-snapshot

Deontic Action Logics: A Modular Algebraic Perspective

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/s10992-025-09798-3openalex-snapshot

Mīmāṃsā on ‘better-not’ Permissions

inferred← citeshttps://doi.org/10.1007/s11050-010-9055-5openalex-snapshot

Detaching if-clauses from should

inferred← citeshttps://doi.org/10.1007/s11225-009-9184-3openalex-snapshot

Multi-Modal CTL: Completeness, Complexity, and an Application

inferred← citeshttps://doi.org/10.1007/s11229-010-9866-4openalex-snapshot

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones–Pörn deontic logic system]

inferred← citeshttps://doi.org/10.1007/s11229-015-0805-2openalex-snapshot

New foundations for imperative logic III: A general definition of argument validity

inferred← citeshttps://doi.org/10.1007/s11229-019-02083-2openalex-snapshot

Defeasible normative reasoning

inferred← citeshttps://doi.org/10.1007/s11406-018-0036-0openalex-snapshot

Contrary-to-Duty Paradoxes and Counterfactual Deontic Logic

inferred← citeshttps://doi.org/10.1007/s11787-014-0111-7openalex-snapshot

Contrary-to-Duty Reasoning: A Categorical Approach

inferred← citeshttps://doi.org/10.1016/b978-0-12-398532-3.00011-7openalex-snapshot

Probabilistic Plan Recognition for Proactive Assistant Agents

inferred← citeshttps://doi.org/10.1016/c2012-0-01169-6openalex-snapshot

Plan, Activity, and Intent Recognition: Theory and Practice

inferred← citeshttps://doi.org/10.1016/j.artint.2009.02.002openalex-snapshot

Dialogue games that agents play within a society

inferred← citeshttps://doi.org/10.1016/j.clsr.2025.106230openalex-snapshot

Approaching the AI Act... with AI: LLMs and knowledge graphs to extract and analyse obligations

inferred← citeshttps://doi.org/10.1016/j.elerap.2010.09.005openalex-snapshot

Normative conflicts in electronic contracts

inferred← citeshttps://doi.org/10.1016/j.engappai.2012.12.006openalex-snapshot

Prognostic normative reasoning

inferred← citeshttps://doi.org/10.1016/j.entcs.2009.02.030openalex-snapshot

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations

inferred← citeshttps://doi.org/10.1016/j.entcs.2009.12.011openalex-snapshot

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance

inferred← citeshttps://doi.org/10.1016/j.ijar.2016.06.005openalex-snapshot

Design and evaluation of norm-aware agents based on Normative Markov Decision Processes

inferred← citeshttps://doi.org/10.1016/j.is.2015.02.007openalex-snapshot

Compliance monitoring in business processes: Functionalities, application, and tool-support

inferred← citeshttps://doi.org/10.1016/j.jal.2005.04.006openalex-snapshot

On obligations and normative ability: Towards a logical analysis of the social contract

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.jal.2012.08.001openalex-snapshot

Reactive Kripke models and contrary to duty obligations. Part A: Semantics

inferred← citeshttps://doi.org/10.1016/j.jlap.2009.12.002openalex-snapshot

Permission to speak: A logic for access control and conformance

inferred← citeshttps://doi.org/10.1016/j.jlap.2011.04.010openalex-snapshot

A trace-based model for multiparty contracts

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/s1874-5857(06)80029-4openalex-snapshot

Deontic logic

inferred← citeshttps://doi.org/10.1017/cbo9781139032711openalex-snapshot

Deontic Logic and Legal Systems

inferred← citeshttps://doi.org/10.1017/s0269888905000482openalex-snapshot

Programming multi-agent systems

inferred← citeshttps://doi.org/10.1017/s0269888915000077openalex-snapshot

Programming multi-agent systems

inferred← citeshttps://doi.org/10.1023/a:1008315530323openalex-snapshot

Autonomous agents with norms

inferred← citeshttps://doi.org/10.1023/a:1011246803923openalex-snapshot

Parameters for Utilitarian Desires in a Qualitative Decision Theory

inferred← citeshttps://doi.org/10.1023/a:1015508524218openalex-snapshot

Utilitarian Desires

inferred← citeshttps://doi.org/10.1023/a:1018975332469openalex-snapshot

Contrary‐to‐duty reasoning with preference‐based dyadic obligations

inferred← citeshttps://doi.org/10.1023/a:1020207321544openalex-snapshot

Contextual Deontic Logic: Normative Agents, Violations and Independence

inferred← citeshttps://doi.org/10.1080/08066200050505779openalex-snapshot

Conditional obligation and positive permission for agents in time

inferred← citeshttps://doi.org/10.1080/11663081.2013.798996openalex-snapshot

Equivalence of defeasible normative systems

inferred← citeshttps://doi.org/10.1093/acprof:oso/9780198717928.003.0012openalex-snapshot

Dynamic Foundations for Deontic Logic

inferred← citeshttps://doi.org/10.1093/jigpal/jzp078openalex-snapshot

A normative multiagent approach to requirements engineering

inferred← citeshttps://doi.org/10.1093/jos/ffq017openalex-snapshot

Counterfactual-Style Revisions in the Semantics of Deontic Modals

inferred← citeshttps://doi.org/10.1093/jos/ffx014openalex-snapshot

Modality, Weights and Inconsistent Premise Sets

inferred← citeshttps://doi.org/10.1093/logcom/exac026openalex-snapshot

Carmo and Jones’ logic for contrary-to-duty obligations revised

inferred← citeshttps://doi.org/10.1093/logcom/exac063openalex-snapshot

Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic

inferred← citeshttps://doi.org/10.1093/logcom/exr026openalex-snapshot

A logic for normative multi-agent programs

inferred← citeshttps://doi.org/10.1093/logcom/exs009openalex-snapshot

Completeness and decidability results for a logic of contrary-to-duty conditionals

inferred← citeshttps://doi.org/10.1093/logcom/exs043openalex-snapshot

Reactive standard deontic logic

inferred← citeshttps://doi.org/10.1093/logcom/exu041openalex-snapshot

A complete axiomatization of a temporal logic with obligation and robustness

inferred← citeshttps://doi.org/10.1093/logcom/exy005openalex-snapshot

Structured argumentation with prioritized conditional obligations and permissions

inferred← citeshttps://doi.org/10.1093/mind/fzae011openalex-snapshot

Conditional and Unconditional Obligation

inferred← citeshttps://doi.org/10.1109/dexa.2000.875160openalex-snapshot

Modelling legal contracts as processes

inferred← citeshttps://doi.org/10.1109/edoc.2013.11openalex-snapshot

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches

inferred← citeshttps://doi.org/10.1109/iv.2002.1028843openalex-snapshot

On the notion of compliance in critiquing intelligent design assistants: representing duty and contrary-to-duty statements

inferred← citeshttps://doi.org/10.1109/policy.2004.1309158openalex-snapshot

A framework for contractual resource sharing in coalitions

inferred← citeshttps://doi.org/10.1109/policy.2005.18openalex-snapshot

Obligation Policies: An Enforcement Platform

inferred← citeshttps://doi.org/10.1109/policy.2011.26openalex-snapshot

FLAVOR: A Formal Language for a Posteriori Verification of Legal Rules

inferred← citeshttps://doi.org/10.1109/re48521.2020.00049openalex-snapshot

Symboleo: Towards a Specification Language for Legal Contracts

inferred← citeshttps://doi.org/10.1109/wetice.2013.25openalex-snapshot

Agent Behaviour Monitoring in Virtual Organizations

inferred← citeshttps://doi.org/10.1109/wi-iat.2009.144openalex-snapshot

Programming Normative Artifacts with Declarative Obligations and Prohibitions

inferred← citeshttps://doi.org/10.1111/papq.12044openalex-snapshot

Deontic Modals: Why Abandon the Classical Semantics?

inferred← citeshttps://doi.org/10.1111/theo.12028openalex-snapshot

Priority Structures in Deontic Logic

inferred← citeshttps://doi.org/10.1145/1137677.1137684openalex-snapshot

Towards specification, modelling and analysis of fault tolerance in self managed systems

inferred← citeshttps://doi.org/10.1145/1377836.1377857openalex-snapshot

An obligation model bridging access control policies and privacy policies

inferred← citeshttps://doi.org/10.1145/1380572.1380578openalex-snapshot

Verifiable agent interaction in abductive logic programming

inferred← citeshttps://doi.org/10.1145/2746090.2746105openalex-snapshot

Thou shalt is not you will

inferred← citeshttps://doi.org/10.1145/3086512.3086529openalex-snapshot

The pragmatic oddity in norm-based deontic logics

inferred← citeshttps://doi.org/10.1145/3322640.3326707openalex-snapshot

Automated reasoning in normative detachment structures with ideal conditions

inferred← citeshttps://doi.org/10.1145/3506799openalex-snapshot

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

inferred← citeshttps://doi.org/10.1145/3769126.3769260openalex-snapshot

“Lost in EU Regulation? Don’t Worry, AI Found the Obligation”

inferred← citeshttps://doi.org/10.12681/eadd/17424openalex-snapshot

Symbolic representations and common - sense reasoning in open multi - agent systems

inferred← citeshttps://doi.org/10.17011/jyx/reports/20210518/1openalex-snapshot

The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies

inferred← citeshttps://doi.org/10.18148/sub/2010.v14i0.456openalex-snapshot

A birelational analysis of the Russian imperfective

inferred← citeshttps://doi.org/10.18778/0138-0680.2021.05openalex-snapshot

The Good, the Bad and the Right: Formal Reductions among Deontic Concepts

inferred← citeshttps://doi.org/10.21236/ada519810openalex-snapshot

A Default Temporal Logic for Regulatory Conformance Checking

inferred← citeshttps://doi.org/10.26556/jesp.v15i2openalex-snapshot

inferred← citeshttps://doi.org/10.26556/jesp.v15i2.483openalex-snapshot

Not Duties but Needs: Rethinking Refugeehood

inferred← citeshttps://doi.org/10.26686/ajl.v4i0.1780openalex-snapshot

Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations

inferred← citeshttps://doi.org/10.2753/jec1086-4415120401openalex-snapshot

Expressing and Verifying Business Contracts with Abductive Logic Programming

inferred← citeshttps://doi.org/10.3166/jancl.13.345-375openalex-snapshot

Remedial interchange, contrary-to-duty obligation and commutation

inferred← citeshttps://doi.org/10.3233/faia190323openalex-snapshot

A Computational Model for Pragmatic Oddity

inferred← citeshttps://doi.org/10.3233/fi-2018-1647openalex-snapshot

Sequence Semantics for Modelling Reason-based Preferences

inferred← citeshttps://doi.org/10.3389/frai.2023.1042319openalex-snapshot

Modeling the dynamics of contractual relations

inferred← citeshttps://doi.org/10.3390/knowledge2040036openalex-snapshot

A Comparative Study of Compliance Management Frameworks: PENELOPE vs. PCL

inferred← citeshttps://doi.org/10.3765/salt.v22i0.2641openalex-snapshot

Modality, Weights, and Inconsistent Premise Sets

inferred← citeshttps://doi.org/10.38023/1953fd61-02f4-4193-a1bd-420d410f235fopenalex-snapshot

Situation versus Case and Two Kinds of Legal Subsumption

inferred← citeshttps://doi.org/10.3998/ergo.1122openalex-snapshot

Chisholm’s Paradox Revisited: Puzzles regarding Contrary-to-Duty Obligations and a Dynamic Solution

inferred← citeshttps://doi.org/10.4204/eptcs.385.39openalex-snapshot

Deontic Paradoxes in ASP with Weak Constraints

inferred← citeshttps://doi.org/10.4230/dagsemproc.07122.32openalex-snapshot

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions

inferred← citeshttps://doi.org/10.4230/dagsemproc.09121.22openalex-snapshot

NorMAS-RE: a Normative Multiagent Approach to Requirements Engineering

inferred← citeshttps://doi.org/10.4230/dfu.vol4.12111.71openalex-snapshot

Computational Models for Normative Multi-Agent Systems

inferred← citeshttps://doi.org/10.47749/t/unicamp.2008.433996openalex-snapshot

Dilemas deonticos

inferred← citeshttps://doi.org/10.48550/arxiv.0707.0744openalex-snapshot

A process algebra based framework for promise theory

inferred← citeshttps://doi.org/10.48550/arxiv.1301.6743openalex-snapshot

An Update Semantics for Defeasible Obligations

inferred← citeshttps://doi.org/10.48550/arxiv.1405.0054openalex-snapshot

LTLf and LDLf Monitoring: A Technical Report

inferred← citeshttps://doi.org/10.48550/arxiv.1606.00339openalex-snapshot

A structured argumentation framework for detaching conditional obligations

inferred← citeshttps://doi.org/10.48550/arxiv.1607.02189openalex-snapshot

Models of the Chisholm set

inferred← citeshttps://doi.org/10.5555/2034396.2034502openalex-snapshot

Prognostic normative reasoning in coalition planning

inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-418openalex-snapshot

An agent architecture for prognostic reasoning assistance

inferred← citeshttps://doi.org/10.5821/dissertation-2117-95474openalex-snapshot

Introducing norms into practical reasoning agents

inferred← citeshttps://doi.org/10.5821/dissertation-2117-98124openalex-snapshot

Bringing social reality to multiagent and service architectures : practical reductions for monitoring of deontic-logic and constitutive norms

inferred← citeshttps://doi.org/10.70675/e905329cz233fz4a7cz9a68z881fb95646a0openalex-snapshot

La complétude des normes juridiques : contribution à l'analyse du problème de l'individuation en droit

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.