Disjunctions, independence, refinements
Artificial Intelligence
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
The Point Algebra for Branching Time Revisited
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Point algebras for temporal reasoning: algorithms and complexity
Artificial Intelligence
Concurrent and distributed programming using constraint logic programs
Proceedings of the 2004 ACM symposium on Applied computing
Reachability and dependency calculi: reasoning in network algebras
SC'06 Proceedings of the 2006 international conference on Spatial Cognition V: reasoning, action, interaction
Dependency calculus: reasoning in a general point relation algebra
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
CASL specifications of qualitative calculi
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
Categorical methods in qualitative reasoning: the case for weak representations
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
| Hi-index | 0.00 |