Automatic OBDD-based generation of universal plans in non-deterministic domains
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Planning Agents in a Multi-agents Intelligent Tutoring System
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Reasoning about Robot Actions: A Model Checking Approach
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Reasoning about Actions in a Multiagent Domain
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Strong planning under partial observability
Artificial Intelligence
A logic-based agent that plans for extended reachability goals
Autonomous Agents and Multi-Agent Systems
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Using α-ctl to Specify Complex Planning Goals
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Task decomposition on abstract states, for planning under nondeterminism
Artificial Intelligence
Strong Cyclic Planning under Partial Observability
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Forward-chaining planning in nondeterministic domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Using domain-configurable search control for probabilistic planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Fusing procedural and declarative planning goals for nondeterministic domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Probabilistic hybrid action models for predicting concurrent percept-driven robot behavior
Journal of Artificial Intelligence Research
Heuristic search + symbolic model checking = efficient conformant planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning in nondeterministic domains under partial observability via symbolic model checking
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Planning as model checking for extended goals in non-deterministic domains
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Strong planning under partial observability
Artificial Intelligence
Implementing tutoring strategies into a patient simulator for clinical reasoning learning
Artificial Intelligence in Medicine
Translating HTNs to PDDL: a small amount of domain knowledge can go a long way
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Incremental Verification for On-the-Fly Controller Synthesis
Electronic Notes in Theoretical Computer Science (ENTCS)
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Active learning of plans for safety and reachability goals with partial observability
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
BioDKM: Bio-inspired domain knowledge modeling method for humanoid delivery robots' planning
Expert Systems with Applications: An International Journal
Planning under uncertainty and its applications
Reasoning, Action and Interaction in AI Theories and Systems
DiscoverHistory: understanding the past in planning and execution
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Hi-index | 0.00 |