AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Extending Graphplan to handle uncertainty and sensing actions
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Inferring state constraints for domain-independent planning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Using a goal-driven approach to generate test cases for GUIs
Proceedings of the 21st international conference on Software engineering
Fast planning through greedy action graphs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Control knowledge in planning: benefits and tradeoffs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
State-space planning by integer optimization
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Using planning graphs for solving HTN planning problems
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Total order planning is more efficient than we thought
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
On the expressive power of planning formalisms
Logic-based artificial intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Complexity results for standard benchmark domains in planning
Artificial Intelligence
STeLLa: An Optimal Sequential and Parallel Planner
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Integrating Vision Based Behaviours with an Autonomous Robot
ICVS '99 Proceedings of the First International Conference on Computer Vision Systems
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Declarative Formalization of Strategies for Action Selection: Applications to Planning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Plan-Based Multi-robot Cooperation
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
The DD&P Robot Control Architecture (A Preliminary Report)
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Integrating Function Application in State-Based Planning
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
On Plan Adaption through Planning Graph Analysis
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Lagrange Multipliers for Local Search on Planning Graphs
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Exploring artificial intelligence in the new millennium
Multiobjective heuristic state-space planning
Artificial Intelligence
Optimal Ordered Problem Solver
Machine Learning
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Integer optimization models of AI planning problems
The Knowledge Engineering Review
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
A Planner-Independent Collaborative Planning Assistant
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Decomposition of planning problems
AI Communications
Plan management in the medical domain
AI Communications
Planning algorithms for interactive storytelling
Computers in Entertainment (CIE) - Interactive entertainment
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
Sequential Monte Carlo in reachability heuristics for probabilistic planning
Artificial Intelligence
Learning from planner performance
Artificial Intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
Journal of Artificial Intelligence Research
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Sapa: a multi-objective metric temporal planner
Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Using memory to transform search on the planning graph
Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Marvin: a heuristic search planner with online macro-action learning
Journal of Artificial Intelligence Research
Learning first-order definitions of functions
Journal of Artificial Intelligence Research
The automatic inference of state invariants in TIM
Journal of Artificial Intelligence Research
A critical assessment of benchmark comparison in planning
Journal of Artificial Intelligence Research
Goal recognition through goal graph analysis
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Efficient implementation of the plan graph in STAN
Journal of Artificial Intelligence Research
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Temporal planning with mutual exclusion reasoning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A new method to index and query sets
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
SHOP: simple hierarchical ordered planner
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A possibilistic planner that deals with non-determinism and contingency
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Generalizing GraphPlan by formulating planning as a CSP
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Total-order planning with partially ordered subtasks
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Friends or foes? on planning as satisfiability and abstract CNF encodings
Journal of Artificial Intelligence Research
Planned and traversable play-out: a flexible method for executing scenario-based programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Modeling and analyzing architectural change with alloy
Proceedings of the 2010 ACM Symposium on Applied Computing
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
Brothers in Arms? On AI Planning and Cellular Automata
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
Artificial Intelligence
Structured reachability analysis for Markov decision processes
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |