2 citations · 6 across the 10 of their papers we have counts for
9 papers · 1 filter
A spatio-temporalisation of ALC(D) and its translation into alternating automata augmented with spatial constraints
Amar Isli
The aim of this work is to provide a family of qualitative theories for spatial change in general, and for motion of spatial scenes in particular. To achieve this, we consider a sp…
A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms
Amar Isli
TCSPs (Temporal Constraint Satisfaction Problems) [Dechter et al. 1991] get rid of unary constraints by binarizing them after having added an "origin of the world" variable. In thi…
An ALC(D)-based combination of temporal constraints and spatial constraints suitable for continuous (spatial) change
Amar Isli
We present a family of spatio-temporal theories suitable for continuous spatial change in general, and for continuous motion of spatial scenes in particular. The family is obtained…
A TCSP-like decidable constraint language generalising existing cardinal direction relations
Amar Isli
We define a quantitative constraint language subsuming two calculi well-known in QSR (Qualitative Spatial Reasoning): Frank's cone-shaped and projection-based calculi of cardinal d…
Augmenting ALC(D) (atemporal) roles and (aspatial) concrete domain with temporal roles and a spatial concrete domain -first results
Amar Isli
We consider the well-known family ALC(D) of description logics with a concrete domain, and provide first results on a framework obtained by augmenting ALC(D) atemporal roles and as…
Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation
Amar Isli
We consider the integration of existing cone-shaped and projection-based calculi of cardinal direction relations, well-known in QSR. The more general, integrating language we consi…