Matteo Pascucci

According to our database, Matteo Pascucci authored at least 21 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

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

Kees van Berkel, Tim S. Lyon, Matteo Pascucci

J. Philos. Log., October, 2023

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

Matteo Pascucci, Giovanni Sileno

J. Log. Comput., June, 2023

Assisted Normative Reasoning with Aristotelian Diagrams.

Kathrin Hanauer, Tereza Novotná, Matteo Pascucci

Proceedings of the Legal Knowledge and Information Systems, 2023

Allowed, or Enabled, That is the Question.

Giovanni Sileno, Matteo Pascucci, Réka Markovich

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

2022

Generalizing Deontic Action Logic.

Alessandro Giordani, Matteo Pascucci

Stud Logica, 2022

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

Daniela Glavanicová, Matteo Pascucci

Ethics Inf. Technol., 2022

DPCL: a Language Template for Normative Specifications.

Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom M. van Engers

CoRR, 2022

Normatively Determined Propositions.

Matteo Pascucci, Claudio E. A. Pizzi

Proceedings of the Diagrammatic Representation and Inference, 2022

2021

Correctness and Completeness of Programming Instructions for Traffic Circulation.

Daniela Glavanicová, Matteo Pascucci

Sci. Eng. Ethics, 2021

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

Vincent Grandjean, Matteo Pascucci

Minds Mach., 2021

Computability of Diagrammatic Theories for Normative Positions.

Matteo Pascucci, Giovanni Sileno

Proceedings of the Legal Knowledge and Information Systems, 2021

The Search for Symmetry in Hohfeldian Modalities.

Matteo Pascucci, Giovanni Sileno

Proceedings of the Diagrammatic Representation and Inference, 2021

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

Daniela Glavanicová, Matteo Pascucci

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

2020

A Note on the Issue of Cohesiveness in Canonical Models.

Matteo Pascucci

J. Log. Lang. Inf., 2020

A Bimodal Simulation of Defeasibility in the Normative Domain.

Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay

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.

Giovanni Sileno, Matteo Pascucci

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

2019

Propositional quantifiers in labelled natural deduction for normal modal logic.

Matteo Pascucci

Log. J. IGPL, 2019

Formal Analysis of Responsibility Attribution in a Multimodal Framework.

Daniela Glavanicová, Matteo Pascucci

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

Automated reasoning in normative detachment structures with ideal conditions.

Tomer Libal, Matteo Pascucci

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

2018

Notions of Instrumentality in Agency Logic.

Kees van Berkel, Matteo Pascucci

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.

Matteo Pascucci

Logica Universalis, 2016