This paper aims to bridge philosophical and psychological research on causation, counterfactual thought, the problem of backtracking. Counterfactual approaches causation such as that by Lewis have ruled out backtracking, while prominent models causal inference interventionist counterfactuals do not backtrack. However, various formal models, certain backtracking end up being true, evidence shows...

This work investigates and develops a backtracking algorithm with a novel approach to enumerating and traversing search space. A basic logical framework inspired by relevant logics is presented, highlighting relationships between search and refutation proof construction. Mechanisation of a relevance aware Davis Putnam Logemann Loveland procedure is investigated, and this yields an intelligent b...

The restricted backtracking algorithmic paradigm is applied to the Maximum Clique Problem. The notion of backtracking coordinates is introduced. The program searches for those cliques whose backtracking coordinates are bounded by the values given in the input.

Recent works on constraint relaxation [Jussien, 1997; Jussien and Boizumault, 1997b] provided the decorum system (Deduction-based Constraint Relaxation Management). That system can be seen as an integration of arc-consistency within the dynamic backtracking algorithm [Ginsberg, 1993]. Dynamic backtracking replaces the backtracking process by a much less blind behavior that consists in local mod...

We define a new class of games, called backtracking games. Backtracking games are essentially parity games with an additional rule allowing players, under certain conditions, to return to an earlier position in the play and revise a choice. This new feature makes backtracking games more powerful than parity games. As a consequence, winning strategies become more complex objects and computationa...