Copertina

C-Causal Blindness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	de Carvalho, Gonçalo Hora
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Artificial Intelligence Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Intuitionistic $j$-Do-Calculus in Topos Causal Models
di: Mahadevan, Sridhar
Pubblicazione: (2025)

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

AI-driven control of bioelectric signalling for real-time topological reorganization of cells
di: de Carvalho, Gonçalo Hora
Pubblicazione: (2025)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
di: Foldvik, Simon
Pubblicazione: (2026)

Subjective Causality
di: Halpern, Joseph Y., et al.
Pubblicazione: (2024)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
di: Aria, Hadi Partovi, et al.
Pubblicazione: (2026)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
di: Rehan, Zainab, et al.
Pubblicazione: (2026)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
di: Xu, Jianfeng
Pubblicazione: (2025)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
di: Bertossi, Leopoldo
Pubblicazione: (2026)

The logic behind desirable sets of things, and its filter representation
di: de Cooman, Gert, et al.
Pubblicazione: (2023)

From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems
di: Rahman, A M Muntasir, et al.
Pubblicazione: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

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

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Probabilistic and Causal Satisfiability: Constraining the Model
di: Bläser, Markus, et al.
Pubblicazione: (2025)

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library
di: Junior, Arnaldo de Carvalho, et al.
Pubblicazione: (2025)

Towards an Inferentialist Account of Information Through Proof-theoretic Semantics
di: Collinson, Matthew, et al.
Pubblicazione: (2026)

On SCC-recursiveness in Quantitative Argumentation
di: Wang, Zongshun, et al.
Pubblicazione: (2020)

A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
di: Wirth, Claus-Peter
Pubblicazione: (2011)

Comparing Dialectical Systems: Contradiction and Counterexample in Belief Change (Extended Version)
di: Andrews, Uri, et al.
Pubblicazione: (2025)

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems
di: Bouke, Mohamed Aly
Pubblicazione: (2025)

Axiomatizing Rumsfeld Ignorance
di: Fan, Jie
Pubblicazione: (2025)

The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors
di: Yoo, Harim
Pubblicazione: (2025)

Computational Dualism and Objective Superintelligence
di: Bennett, Michael Timothy
Pubblicazione: (2023)

Complexity in finitary argumentation (extended version)
di: Andrews, Uri, et al.
Pubblicazione: (2025)

Compression is all you need: Modeling Mathematics
di: Aksenov, Vitaly, et al.
Pubblicazione: (2026)

Rethinking Explanations: Formalizing Contrast in Description Logics
di: Mahmood, Yasir, et al.
Pubblicazione: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

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

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
di: Bollig, Benedikt
Pubblicazione: (2026)

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

Conditioning Accept-Desirability models in the context of AGM-like belief change
di: Coussement, Kathelijne, et al.
Pubblicazione: (2025)

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

Causal and Compositional Abstraction
di: Lorenz, Robin, et al.
Pubblicazione: (2026)