7 citations · 7 across the 7 of their papers we have counts for
4 papers · 1 filter
Relation Variables in Qualitative Spatial Reasoning
Sebastian Brand
We study an alternative to the prevailing approach to modelling qualitative spatial reasoning (QSR) problems as constraint satisfaction problems. In the standard approach, a relati…
Infinite Qualitative Simulations by Means of Constraint Programming
Krzysztof R. Apt, Sebastian Brand
We introduce a constraint-based framework for studying infinite qualitative simulations concerned with contingencies such as time, space, shape, size, abstracted into a finite set…
ACD Term Rewriting
Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
We introduce Associative Commutative Distributive Term Rewriting (ACDTR), a rewriting language for rewriting logical formulae. ACDTR extends AC term rewriting by adding distributio…
Towards "Propagation = Logic + Control"
Sebastian Brand, Roland H. C. Yap
Constraint propagation algorithms implement logical inference. For efficiency, it is essential to control whether and in what order basic inference steps are taken. We provide a hi…