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
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
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
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
Contingent planning under uncertainty via stochastic satisfiability
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
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Logic-based subsumption architecture
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Metatheory of actions: Beyond consistency
Artificial Intelligence
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
Answer set planning under action costs
Journal of Artificial Intelligence Research
Reasoning about action: an argumentation-theoretic approach
Journal of Artificial Intelligence Research
Logic-based subsumption architecture
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Expressive reasoning about action in nondeterministic polynomial time
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A circumscriptive formalization of the qualification problem
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Conditional planning with external functions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Knowledge representation for stochastic decision processes
Artificial intelligence today
Journal of Artificial Intelligence Research
Approximation of action theories and its application to conformant planning
Artificial Intelligence
An approximation of action theories of AL and its application to conformant planning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Applications of action languages in cognitive robotics
Correct Reasoning
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Hi-index | 0.00 |