17 search results - page 1 / 4 » Merging Qualitative Constraints Networks Using Propositional... |
64
Voted
ECSQARU
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into ...
87
Voted
ICTAI
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
92
Voted
ICTAI
2009
IEEE
14 years 8 months ago
2009
IEEE
We address the problem of merging qualitative constraints networks (QCNs). We point out a merging algorithm which computes a consistent QCN representing a global view of the input...
89
Voted
KI
1999
Springer
15 years 3 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
94
Voted
ECAI
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...