Copertina

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Aguilera-Ventura, Carlos, Liu, Xinghan, Lorini, Emiliano, Rozplokhas, Dmitry
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Graded Distributed Belief
di: Lorini, Emiliano, et al.
Pubblicazione: (2025)

A Logic of "Black Box" Classifier Systems
di: Liu, Xinghan, et al.
Pubblicazione: (2022)

LEGO-like Small-Model Constructions for Åqvist's Logics
di: Rozplokhas, Dmitry
Pubblicazione: (2024)

Rational Capability in Concurrent Games
di: Li, Yinfeng, et al.
Pubblicazione: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
di: de Lima, Tiago, et al.
Pubblicazione: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
di: Gladyshev, Maksim, et al.
Pubblicazione: (2025)

Constructive Quantum Logics
di: Aguilera, Juan P., et al.
Pubblicazione: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
di: Li, Dazhu, et al.
Pubblicazione: (2025)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
di: Bernardo, Marco, et al.
Pubblicazione: (2022)

$\text{C}^2\text{P}$: Featuring Large Language Models with Causal Reasoning
di: Bagheri, Abdolmahdi, et al.
Pubblicazione: (2024)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Argumentative Reasoning with Language Models on Non-factorized Case Bases
di: Fungwacharakorn, Wachara, et al.
Pubblicazione: (2025)

MC3G: Model Agnostic Causally Constrained Counterfactual Generation
di: Dasgupta, Sopam, et al.
Pubblicazione: (2025)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
di: Dasgupta, Sopam, et al.
Pubblicazione: (2024)

Counterfactual Explanations as Plans
di: Belle, Vaishak
Pubblicazione: (2025)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)

Logical Approaches to Non-deterministic Polynomial Time over Semirings
di: Barlag, Timon, et al.
Pubblicazione: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Synthesis of Temporal Causality
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
di: Artale, Alessandro, et al.
Pubblicazione: (2025)

Equational and Inductive Reasoning for Maude in Athena
di: Sanabria, Mateo, et al.
Pubblicazione: (2026)

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
di: Cerda, Rémy, et al.
Pubblicazione: (2025)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
di: Lahav, Ori, et al.
Pubblicazione: (2023)

Closure and Complexity of Temporal Causality
di: Carelli, Mishel, et al.
Pubblicazione: (2025)

Causal Unfoldings and Disjunctive Causes
di: de Visme, Marc, et al.
Pubblicazione: (2020)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Bilateral base-extension semantics
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
di: d'Aragona, Antonio Piccolomini
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Reasoning About Group Polarization: From Semantic Games to Sequent Systems
di: Freiman, Robert, et al.
Pubblicazione: (2024)

Fusions of One-Variable First-Order Modal Logics
di: Kontchakov, Roman, et al.
Pubblicazione: (2026)

The complexity of Presburger arithmetic with power or powers
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
di: Beohar, Harsh, et al.
Pubblicazione: (2023)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

A modal approach towards substitutions
di: Tu, Yaxin, et al.
Pubblicazione: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
di: Chistikov, Dmitry, et al.
Pubblicazione: (2024)