Matteo Pascucci

29 papers B 2C 5Journal 15Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Evaluating Wireless Vital Parameter Continuous Monitoring for Critically Ill Patients Hospitalized in Internal Medicine Units: A Pilot Randomized Controlled Trial. J. Sens. Actuator Networks Filomena Pietrantonio, Alessandro Signorini, Anna Rosa Bussi, Francesco Rosiello, Fabio Vinci, Michela Delli Castelli, Matteo Pascucci, Elena Alessi, Luca Moriconi, Antonio Vinci, Andrea Moriconi, Roberto D'amico
2025	J	`jnl`	Hyperintensional models for non-congruential modal logics. Log. J. IGPL Matteo Pascucci, Igor Sedlár
2024	—	`conf`	Decidability of Ordered Fragments of FOL via Modal Translation. CILC Hongkai Yin, Matteo Pascucci
2024	—	`conf`	Formalizing Decisional and Operational Roles in Legal Contracts via Term-Modal Logic. OVERLAY Stef Frijters, Matteo Pascucci
2024	—	`conf`	Modal Categorical Inferences in Quarc. FCR@KI Simon Dominik Vonlanthen, Matteo Pascucci
2023	J	`jnl`	A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations. J. Philos. Log. Kees van Berkel, Tim S. Lyon, Matteo Pascucci
2023	J	`jnl`	A formal, diagrammatic, and operational study of normative relations. J. Log. Comput. Matteo Pascucci, Giovanni Sileno
2023	—	`conf`	Allowed, or Enabled, That is the Question. DEON Giovanni Sileno, Matteo Pascucci, Réka Markovich
2023	C	`conf`	Assisted Normative Reasoning with Aristotelian Diagrams. JURIX Kathrin Hanauer, Tereza Novotná, Matteo Pascucci
2022	J	`jnl`	A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations. CoRR Kees van Berkel, Tim S. Lyon, Matteo Pascucci
2022	J	`jnl`	DPCL: a Language Template for Normative Specifications. CoRR Giovanni Sileno, L. Thomas van Binsbergen, Matteo Pascucci, Tom M. van Engers
2022	J	`jnl`	Generalizing Deontic Action Logic. Stud Logica Alessandro Giordani, Matteo Pascucci
2022	C	`conf`	Normatively Determined Propositions. Diagrams Matteo Pascucci, Claudio E. A. Pizzi
2022	J	`jnl`	Vicarious liability: a solution to a problem of AI responsibility? Ethics Inf. Technol. Daniela Glavanicová, Matteo Pascucci
2021	—	`conf`	Axiomatizing Norms Across Time and the 'Paradox of the Court'. DEON Daniela Glavanicová, Matteo Pascucci
2021	C	`conf`	Computability of Diagrammatic Theories for Normative Positions. JURIX Matteo Pascucci, Giovanni Sileno
2021	J	`jnl`	Correctness and Completeness of Programming Instructions for Traffic Circulation. Sci. Eng. Ethics Daniela Glavanicová, Matteo Pascucci
2021	J	`jnl`	The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism. Minds Mach. Vincent Grandjean, Matteo Pascucci
2021	C	`conf`	The Search for Symmetry in Hohfeldian Modalities. Diagrams Matteo Pascucci, Giovanni Sileno
2020	—	`conf`	A Bimodal Simulation of Defeasibility in the Normative Domain. FCR@KI Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay
2020	J	`jnl`	A Note on the Issue of Cohesiveness in Canonical Models. J. Log. Lang. Inf. Matteo Pascucci
2020	—	`conf`	Disentangling Deontic Positions and Abilities: a Modal Analysis. CILC Giovanni Sileno, Matteo Pascucci
2019	C	`conf`	Automated reasoning in normative detachment structures with ideal conditions. ICAIL Tomer Libal, Matteo Pascucci
2019	B	`conf`	Formal Analysis of Responsibility Attribution in a Multimodal Framework. PRIMA Daniela Glavanicová, Matteo Pascucci
2019	J	`jnl`	Propositional quantifiers in labelled natural deduction for normal modal logic. Log. J. IGPL Matteo Pascucci
2018	J	`jnl`	Automated Reasoning in Normative Detachment Structures with Ideal Conditions. CoRR Tomer Libal, Matteo Pascucci
2018	B	`conf`	Notions of Instrumentality in Agency Logic. PRIMA Kees van Berkel, Matteo Pascucci
2016	J	`jnl`	A Unified Semantics for a Family of Modal Logics with Propositional Constants. Logica Universalis Matteo Pascucci
2015	J	`jnl`	Two Temporal Logics of Contingency. Australas. J. Log. Matteo Pascucci