Automatic orchestration of behaviours through the management of resources and priority levels
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Planning with natural actions in the situation calculus
Logic-based artificial intelligence
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Declarative Formalization of Strategies for Action Selection: Applications to Planning
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
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
A logic programming approach to knowledge-state planning, II: the DLVk system
Artificial Intelligence
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
The domestic robot—a friendly cognitive system takes care of your home
Ambient intelligence
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
Experimenting with prototype system DLVK via different approach
Knowledge-Based Systems
Reasoning about actions with imprecise and incomplete state descriptions
Fuzzy Sets and Systems
Heuristic search + symbolic model checking = efficient conformant planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Combining probabilities, failures and safety in robot control
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
A stochastic model for intrusions
RAID'02 Proceedings of the 5th international conference on Recent advances in intrusion detection
Agreeing on plans through iterated disputes
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Situation based control for cyber-physical environments
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Hi-index | 0.00 |