A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks

2015 ◽  
Author(s):  
Jean-Francois Condotta ◽  
Ali Mensi ◽  
Issam Nouaouri ◽  
Michael Sioutis ◽  
Lamjed Ben Said
Keyword(s):  
Practical Approach ◽  
Temporal Constraint ◽  
Constraint Networks

Temporal constraint networks

1991 ◽  
Vol 49 (1-3) ◽  
pp. 61-95 ◽  
Author(s):  
Rina Dechter ◽  
Itay Meiri ◽  
Judea Pearl
Keyword(s):  
Temporal Constraint ◽  
Constraint Networks

Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning

2016 ◽  
Vol 32 ◽  
Author(s):  
Michael Sioutis ◽  
Yakoub Salhi ◽  
Jean-François Condotta
Keyword(s):  
Chordal Graph ◽  
Tree Decomposition ◽  
Large Network ◽  
Spatial Constraint ◽  
Technical Advance ◽  
Temporal Constraint ◽  
Constraint Networks ◽  
Biconnected Components ◽  
Constraint Graph ◽  
Constraint Language

AbstractWe survey the use and effect of decomposition-based techniques in qualitative spatial and temporal constraint-based reasoning, and clarify the notions of a tree decomposition, a chordal graph, and a partitioning graph, and their implication with a particular constraint property that has been extensively used in the literature, namely, patchwork. As a consequence, we prove that a recently proposed decomposition-based approach that was presented in the study by Nikolaou and Koubarakis for checking the satisfiability of qualitative spatial constraint networks lacks soundness. Therefore, the approach becomes quite controversial as it does not seem to offer any technical advance at all, while results of an experimental evaluation of it in a following work presented in the study by Sioutis become questionable. Finally, we present a particular tree decomposition that is based on the biconnected components of the constraint graph of a given large network, and show that it allows for cost-free utilization of parallelism for a qualitative constraint language that has patchwork for satisfiable atomic networks.

scholarly journals Solving multi-granularity temporal constraint networks

2002 ◽  
Vol 140 (1-2) ◽  
pp. 107-152 ◽  
Author(s):  
Claudio Bettini ◽  
X.Sean Wang ◽  
Sushil Jajodia
Keyword(s):  
Temporal Constraint ◽  
Constraint Networks

Causal temporal constraint networks for representing temporal knowledge

2009 ◽  
Vol 36 (1) ◽  
pp. 27-42 ◽  
Author(s):  
Ángel Fernández-Leal ◽  
Vicente Moret-Bonillo ◽  
Eduardo Mosqueira-Rey
Keyword(s):  
Temporal Constraint ◽  
Constraint Networks

scholarly journals Processing disjunctions in temporal constraint networks

1997 ◽  
Vol 93 (1-2) ◽  
pp. 29-61 ◽  
Author(s):  
Eddie Schwalb ◽  
Rina Dechter
Keyword(s):  
Temporal Constraint ◽  
Constraint Networks
Sign in / Sign up

Export Citation Format

Share Document