Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Experimenting with prototype system DLVK via different approach
Knowledge-Based Systems
Theory and Practice of Logic Programming
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Model compilation for real-time planning and diagnosis with feedback
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Relay Reachability Algorithm for Exploring Huge State Space
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithms for memory hierarchies: advanced lectures
Algorithms for memory hierarchies: advanced lectures
SPIN'03 Proceedings of the 10th international conference on Model checking software
A model-based executive for commanding robot teams
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Hi-index | 0.00 |