|
451
|
A Spatial Logic based on Regions and Connection
– David A. Randell, Zhan Cui, Anthony G. Cohn
- 1992
|
|
88
|
Boosting systematic search by weighting constraints
– Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais
- 2004
|
|
1988
|
Maintaining knowledge about temporal intervals
– J F Allen
- 1983
|
|
4
|
Qualitative spatial reasoning about oriented points
– Reinhard Moratz
- 2004
|
|
4
|
a constraint satisfaction library
– Mistral
- 2008
|
|
9
|
Last conflict based reasoning
– Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
- 2006
|
|
20
|
Fast Algebraic Methods for Interval Constraint Problems
– Peter B. Ladkin, Alexander Reinefeld
- 1996
|
|
5
|
Relation variables in qualitative spatial reasoning
– Sebastian Brand
- 2004
|
|
28
|
Logical Representations for Automated Reasoning about Spatial Relationships
– Brandon Bennett
- 1997
|
|
4
|
Towards an Efficient SAT Encoding for Temporal Reasoning
– Duc Nghia Pham, John Thornton, Abdul Sattar
|
|
14
|
GQR – A Fast Reasoner for Binary Qualitative Constraint Calculi
– Zeno Gantner, Matthias Westphal, Stefan Wölfl
|
|
4
|
A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks
– Christian Bessière
- 1996
|
|
51
|
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class
– Bernhard Nebel
- 1997
|
|
34
|
Constraint Propagation
– Christian Bessière
- 2006
|
|
37
|
Efficient methods for qualitative spatial reasoning
– Jochen Renz, Bernhard Nebel
- 1998
|
|
24
|
What is a qualitative calculus? A general framework
– G Ligozat, J Renz
- 2004
|
|
4
|
M.: Eligible and frozen constraints for solving temporal qualitative constraint networks
– J F Condotta, G Ligozat, Saade
- 2007
|
|
7
|
Modeling Cyclic Change
– Kathleen Hornsby, Max J. Egenhofer, Patrick Hayes
- 1999
|
|
25
|
Interchangeability Supports Abstraction and Reformulation for Constraint Satisfaction
– Eugene Freuder, Daniel Sabin
- 1995
|
