Input/output logics
From MaRDI portal
Recommendations
Cites work
Cited in
(57)- Permission from an input/output perspective
- Situated conditional reasoning
- Normative reasoning and consequence
- Constraints for input/output logics
- The categorical imperative: category theory as a foundation for deontic logic
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Equivalence of defeasible normative systems
- AGM contraction and revision of rules
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Boolean Game with Prioritized Norms
- A logic of argumentation for specification and verification of abstract argumentation frameworks
- Contrary-to-duty reasoning: a categorical approach
- Realistic desires
- Computing defeasible meta-logic
- Formalizing Kant's rules. A logic of conditional imperatives and permissives
- Modal Rules: Extending Defeasible Logic with Modal Operators
- Stratification of normative systems with intermediaries
- How to build input/output logic
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Unsettling preferential semantics
- On the complexity of input/output logic
- Permission to speak: a logic for access control and conformance
- A causal approach to nonmonotonic reasoning
- A theory of permission based on the notion of derogation
- On the Complexity of Input/Output Logic
- Modelling phenomena and dynamic logic of phenomena
- Arguing about constitutive and regulative norms
- A concept approach to input/output logic
- Law and logic: a review from an argumentation perspective
- scientific article; zbMATH DE number 6741901 (Why is no real title available?)
- Normative positions within an algebraic approach to normative systems
- The logic of reusable propositional output with the fulfilment constraint
- scientific article; zbMATH DE number 7450037 (Why is no real title available?)
- Conflicting imperatives and dyadic deontic logic
- Rethinking epistemic logic with belief bases
- scientific article; zbMATH DE number 7085150 (Why is no real title available?)
- Computing strong and weak permissions in defeasible logic
- Intuitionistic basis for input/output logic
- Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation
- Semantic formalization of interactive reasoning functionality
- ``Sing and dance!. Input/output logics without weakening
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- Violation games: a new foundation for deontic logic
- Adaptive logic characterizations of input/output logic
- On logic of strictly-deontic modalities. A semantic and tableau approach
- scientific article; zbMATH DE number 2019850 (Why is no real title available?)
- Goal-directed decision procedures for input/output logics
- Two adaptive logics of norm-propositions
- Ten problems of deontic logic and normative reasoning in computer science
- Free choice reasons
- Obligation as optimal goal satisfaction
- From input/output logics to conditional logics via sequents -- with provers
- Substantive and procedural norms in normative multiagent systems
- The Jiminy advisor: moral agreements among stakeholders based on norms and argumentation
- Subordination algebras as semantic environment of input/output logic
- Constrained derivation in assumption-based argumentation
- An inferential theory of causal reasoning
This page was built for publication: Input/output logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582229)
