A concept approach to input/output logic

DOI10.1016/J.JAL.2015.04.002MaRDI QIDQ898776zbMATH OpenOpenAlexFDO

Authors Audun Stolpe

Publication date 18 December 2015

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2015.04.002

zbMATH Keywords

formal concept analysisinput/output logicgeneration relationsproduction inference

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Input/output logics
• Abstract interfaces of input/output logic
• scientific article; zbMATH DE number 6741901
• Intuitionistic basis for input/output logic
• Constraints for input/output logics
• On the complexity of input/output logic
• On the Complexity of Input/Output Logic
• A theory of input-output architecture
• Adaptive logic characterizations of input/output logic

Cites work

• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 2019850 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 6741901 (Why is no real title available?)
• scientific article; zbMATH DE number 3365184 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• Abstract interfaces of input/output logic
• An embedding of input-output logic in deontic logic programs
• Combining constitutive and regulative norms in input/output logic
• Constraints for input/output logics
• Controlled Revision - An algorithmic approach for belief revision
• Explanatory Nonmonotonic Reasoning
• Input/output logics
• Intuitionistic basis for input/output logic
• Normative Consequence: The Problem of Keeping It Whilst Giving It up
• Proof Theory, Semantics and Algebra for Normative Systems
• The connectives
• The theory of joining-systems
• ``Sing and dance!. Input/output logics without weakening

Cited in

(3)

• Unsettling preferential semantics
• Subordination algebras as semantic environment of input/output logic
• scientific article; zbMATH DE number 6741901 (Why is no real title available?)

This page was built for publication: A concept approach to input/output logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q898776)