Series-Parallel and Tree-Decomposition Approaches for Fuzzy Constraint Networks
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Execution-Time Plan Management for a Cognitive Orthotic System
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra
Journal of the ACM (JACM)
Efficient solution techniques for disjunctive temporal reasoning problems
Artificial Intelligence
A Mixed Closure-CSP Method for Solving Scheduling Problems
Applied Intelligence
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
Journal of Automated Reasoning
The SAT-based Approach to Separation Logic
Journal of Automated Reasoning
Temporal reasoning about fuzzy intervals
Artificial Intelligence
AI Communications - Constraint Programming for Planning and Scheduling
Commitment-based service coordination
International Journal of Agent-Oriented Software Engineering
Low-cost addition of preferences to DTPs and TCSPs
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Evaluating consistency algorithms for temporal metric constraints
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
An approach to temporal planning and scheduling in domains with predictable exogenous events
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Qualitative temporal reasoning about vague events
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Integrating planning and temporal reasoning for domains with durations and time windows
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Disjunctive temporal planning with uncertainty
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
TSAT++: an Open Platform for Satisfiability Modulo Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Strong controllability of disjunctive temporal problems with uncertainty
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Commitment-based service coordination
SOCASE'08 Proceedings of the 2008 AAMAS international conference on Service-oriented computing: agents, semantics, and engineering
Project Scheduling as a Disjunctive Temporal Problem
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Generalized disjunctive constraint propagation for solving the job shop problem with time lags
Engineering Applications of Artificial Intelligence
Drake: an efficient executive for temporal plans with choice
Journal of Artificial Intelligence Research
Verification of temporal scheduling constraints in clinical practice guidelines
Artificial Intelligence in Medicine
Solving disjunctive temporal problems with preferences using maximum satisfiability
AI Communications - 18th RCRA International Workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”
Computing all-pairs shortest paths by leveraging low treewidth
Journal of Artificial Intelligence Research
Time-Dependent simple temporal networks
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Decoupling the multiagent disjunctive temporal problem
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Towards complex actions for complex event processing
Proceedings of the 7th ACM international conference on Distributed event-based systems
Group planning with time constraints
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |