Matteo Pascucci

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Horizontal Fragmentation

Default Theories

Automated Reasoning

Top Venues

Publications

Hongkai Yin, Matteo Pascucci
Decidability of Ordered Fragments of FOL via Modal Translation. CILC (2024)
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations. J. Philos. Log. 52 (5) (2023)
Kathrin Hanauer, Tereza Novotná, Matteo Pascucci
Assisted Normative Reasoning with Aristotelian Diagrams. JURIX (2023)
Matteo Pascucci, Giovanni Sileno
A formal, diagrammatic, and operational study of normative relations. J. Log. Comput. 33 (4) (2023)
Giovanni Sileno, Matteo Pascucci, Réka Markovich
Allowed, or Enabled, That is the Question. DEON (2023)
Daniela Glavanicová, Matteo Pascucci
Vicarious liability: a solution to a problem of AI responsibility? Ethics Inf. Technol. 24 (3) (2022)
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations. CoRR (2022)
Matteo Pascucci, Claudio E. A. Pizzi
Normatively Determined Propositions. Diagrams (2022)
Alessandro Giordani, Matteo Pascucci
Generalizing Deontic Action Logic. Stud Logica 110 (4) (2022)
Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom M. van Engers
DPCL: a Language Template for Normative Specifications. CoRR (2022)
Vincent Grandjean, Matteo Pascucci
The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism. Minds Mach. 31 (1) (2021)
Daniela Glavanicová, Matteo Pascucci
Axiomatizing Norms Across Time and the 'Paradox of the Court'. DEON (2021)
Matteo Pascucci, Giovanni Sileno
Computability of Diagrammatic Theories for Normative Positions. JURIX (2021)
Daniela Glavanicová, Matteo Pascucci
Correctness and Completeness of Programming Instructions for Traffic Circulation. Sci. Eng. Ethics 27 (6) (2021)
Matteo Pascucci, Giovanni Sileno
The Search for Symmetry in Hohfeldian Modalities. Diagrams (2021)
Matteo Pascucci
A Note on the Issue of Cohesiveness in Canonical Models. J. Log. Lang. Inf. 29 (3) (2020)
Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay
A Bimodal Simulation of Defeasibility in the Normative Domain. FCR@KI (2020)
Giovanni Sileno, Matteo Pascucci
Disentangling Deontic Positions and Abilities: a Modal Analysis. CILC (2020)
Daniela Glavanicová, Matteo Pascucci
Formal Analysis of Responsibility Attribution in a Multimodal Framework. PRIMA (2019)
Tomer Libal, Matteo Pascucci
Automated reasoning in normative detachment structures with ideal conditions. ICAIL (2019)
Matteo Pascucci
Propositional quantifiers in labelled natural deduction for normal modal logic. Log. J. IGPL 27 (6) (2019)
Tomer Libal, Matteo Pascucci
Automated Reasoning in Normative Detachment Structures with Ideal Conditions. CoRR (2018)
Kees van Berkel, Matteo Pascucci
Notions of Instrumentality in Agency Logic. PRIMA (2018)
Matteo Pascucci
A Unified Semantics for a Family of Modal Logics with Propositional Constants. Logica Universalis 10 (1) (2016)