Related papers: Counterfactuals in Branching Time: The Weakest Sol…
Counterfactual learning has become promising for understanding and modeling causality in complex and dynamic systems. This paper presents a novel method for counterfactual learning in the context of multivariate time series analysis and…
The Problem of Time is that `time' in each of ordinary quantum theory and general relativity are mutually incompatible notions. This causes difficulties in trying to put these two theories together to form a theory of Quantum Gravity. The…
Counterfactual fairness alleviates the discrimination between the model prediction toward an individual in the actual world (observational data) and that in counterfactual world (i.e., what if the individual belongs to other sensitive…
In this paper, we prove that the existence and uniqueness of globally weak solutions to the Cauchy problem for the weakly dissipative Camassa-Holm equation in time weighted $H^1$ space. First, we derive an equivalent semi-linear system by…
In this article we investigate the relationships between the classical notions of weakest precondition and weakest liberal precondition, and provide several results, namely that in general, weakest liberal precondition is neither stronger…
In eXplainable Artificial Intelligence (XAI), instance-based explanations for time series have gained increasing attention due to their potential for actionable and interpretable insights in domains such as healthcare. Addressing the…
We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…
Knowledge Base Question Answering (KBQA) systems have the goal of answering complex natural language questions by reasoning over relevant facts retrieved from Knowledge Bases (KB). One of the major challenges faced by these systems is their…
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it has a number of practical…
We study Cauchy problems of fractional differential equations in both space and time variables by expressing the solution in terms of ``stochastic composition" of the solutions to two simpler problems. These Cauchy sub-problems respectively…
Counterfactual explanation generation is a powerful method for Explainable Artificial Intelligence. It can help users understand why machine learning models make specific decisions, and how to change those decisions. Evaluating the…
Counterfactuals are often described as 'retrospective,' focusing on hypothetical alternatives to a realized past. This description relates to an often implicit assumption about the structure and stability of exogenous variables in the…
Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-wise behaviour of a system. Its quantified extensions allow…
There has been a recent spate of essays defending presentism, the view in the metaphysics of time according to which all and only present events or entities exist. What is particularly striking about this resurgence is that it takes place…
In this paper, we study existence and uniqueness of strong as well as weak solutions for general time fractional Poisson equations. We show that there is an integral representation of the solutions of time fractional Poisson equations with…
We establish new sufficient conditions for the existence of weak Besicovitch quasiperiodic solutions for natural Lagrangian system on Riemannian manifold with time-quasiperiodic force function
We reconsider the Decoherent Histories approach to Quantum Mechanics and we analyze some problems related to its interpretation which, according to us, have not been adequately clarified by its proponents. We put forward some assumptions…
Answering counterfactual queries has important applications such as explainability, robustness, and fairness but is challenging when the causal variables are unobserved and the observations are non-linear mixtures of these latent variables,…
In this paper, we introduce the g-B\'enard equations with time-fractional derivative of order $\alpha \in (0, 1)$ in domains of $\mathbb R^2$. This equations model, the memory-dependent heat conduction of liquids in fractal media considered…
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for these automata is decidable. This result implies new decidability results for…