Matteo Pascucci

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

Modal Categorical Inferences in Quarc.

[BibT_eX]

[DOI]

Simon Dominik Vonlanthen

Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), 2024

Decidability of Ordered Fragments of FOL via Modal Translation.

[BibT_eX]

[DOI]

Hongkai Yin

Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations.

[BibT_eX]

[DOI]

Kees van Berkel

Tim S. Lyon

J. Philos. Log., October, 2023

A formal, diagrammatic, and operational study of normative relations.

[BibT_eX]

[DOI]

J. Log. Comput., June, 2023

Assisted Normative Reasoning with Aristotelian Diagrams.

[BibT_eX]

[DOI]

Kathrin Hanauer

Tereza Novotná

Proceedings of the Legal Knowledge and Information Systems, 2023

Allowed, or Enabled, That is the Question.

[BibT_eX]

Réka Markovich

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

Generalizing Deontic Action Logic.

[BibT_eX]

[DOI]

Alessandro Giordani

Stud Logica, 2022

Vicarious liability: a solution to a problem of AI responsibility?

[BibT_eX]

[DOI]

Ethics Inf. Technol., 2022

DPCL: a Language Template for Normative Specifications.

[BibT_eX]

[DOI]

L. Thomas van Binsbergen

Tom M. van Engers

CoRR, 2022

Normatively Determined Propositions.

[BibT_eX]

[DOI]

Claudio E. A. Pizzi

Proceedings of the Diagrammatic Representation and Inference, 2022

2021

Correctness and Completeness of Programming Instructions for Traffic Circulation.

[BibT_eX]

[DOI]

Sci. Eng. Ethics, 2021

The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism.

[BibT_eX]

[DOI]

Vincent Grandjean

Minds Mach., 2021

Computability of Diagrammatic Theories for Normative Positions.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2021

The Search for Symmetry in Hohfeldian Modalities.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2021

Axiomatizing Norms Across Time and the 'Paradox of the Court'.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

A Note on the Issue of Cohesiveness in Canonical Models.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2020

A Bimodal Simulation of Defeasibility in the Normative Domain.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Disentangling Deontic Positions and Abilities: a Modal Analysis.

[BibT_eX]

[DOI]

Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019

Propositional quantifiers in labelled natural deduction for normal modal logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 2019

Formal Analysis of Responsibility Attribution in a Multimodal Framework.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Automated reasoning in normative detachment structures with ideal conditions.

[BibT_eX]

[DOI]

Tomer Libal

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

2018

Notions of Instrumentality in Agency Logic.

[BibT_eX]

[DOI]

Kees van Berkel

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

2016

A Unified Semantics for a Family of Modal Logics with Propositional Constants.

[BibT_eX]

[DOI]