Automatic temporal layout mechanisms
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Backtracking algorithms for disjunctions of temporal constraints
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Qualitative and quantitative time interval constraint networks
CSC '91 Proceedings of the 19th annual conference on Computer Science
A constraint-based approach to simulate faults in telecommunication networks
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
A Mixed Closure-CSP Method for Solving Scheduling Problems
Applied Intelligence
The SAT-based Approach to Separation Logic
Journal of Automated Reasoning
Managing concurrency in temporal planning using planner-scheduler interaction
Artificial Intelligence
Interleaving temporal planning and execution in robotics domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Reasoning about qualitative temporal information
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Integrating metric and qualitative temporal reasoning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Semantic evaluation as constraint network consistency
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Octagonal domains for continuous constraints
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Stable extensions in timed argumentation frameworks
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
COLIN: planning with continuous linear numeric change
Journal of Artificial Intelligence Research
Argumentation frameworks as constraint satisfaction problems
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |