Planning as constraint satisfaction: solving the planning graph by compiling it into CSP
Artificial Intelligence
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Encoding domain knowledge for prositional planning
Logic-based artificial intelligence
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Logic-based artificial intelligence
Compute-intensive methods in artificial intelligence
Annals of Mathematics and Artificial Intelligence
Using genetic programming to learn and improve control knowledge
Artificial Intelligence
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Exploring artificial intelligence in the new millennium
Contingent planning under uncertainty via stochastic satisfiability
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Applying integer programming to AI planning
The Knowledge Engineering Review
A logic programming approach to knowledge-state planning: Semantics and complexity
ACM Transactions on Computational Logic (TOCL)
Skoll: Distributed Continuous Quality Assurance
Proceedings of the 26th International Conference on Software Engineering
A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers
Journal of Automated Reasoning
Processes and continuous change in a SAT-based planner
Artificial Intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Modelling and solving English Peg Solitaire
Computers and Operations Research
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
A competitive and cooperative approach to propositional satisfiability
Discrete Applied Mathematics - Special issue: Discrete algorithms and optimization, in honor of professor Toshihide Ibaraki at his retirement from Kyoto University
Learning parallel portfolios of algorithms
Annals of Mathematics and Artificial Intelligence
Discrete Applied Mathematics
Exploiting hierarchy and structure to efficiently solve graph coloring as SAT
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Search in the patience game ‘Black Hole’
AI Communications - Constraint Programming for Planning and Scheduling
Long-distance mutual exclusion for planning
Artificial Intelligence
Learning from planner performance
Artificial Intelligence
Adaptive Algorithmic Hybrids for Human-Level Artificial Intelligence
Proceedings of the 2007 conference on Advances in Artificial General Intelligence: Concepts, Architectures and Algorithms: Proceedings of the AGI Workshop 2006
Random SAT Instances à la Carte
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
Weighted A∗ search -- unifying view and application
Artificial Intelligence
Continuous time in a SAT-based planner
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Effective approaches for partial satisfaction (over-subscription) planning
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Towards efficient sampling: exploiting random walk strategies
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Performing Bayesian inference by weighted model counting
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Planning as satisfiability with preferences
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Filtering, decomposition and search space reduction for optimal sequential planning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Counting models using extension rules
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Accuracy of admissible heuristic functions in selected planning domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Planning graph as a (dynamic) CSP: exploiting EBL, DDB and other CSP search techniques in Graphplan
Journal of Artificial Intelligence Research
OBDD-based universal planning for synchronized agents in non-deterministic domains
Journal of Artificial Intelligence Research
On reachability, relevance, and resolution in the planning as satisfiability approach
Journal of Artificial Intelligence Research
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of Artificial Intelligence Research
AltAltp: online parallelization of plans with heuristic state search
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
Using memory to transform search on the planning graph
Journal of Artificial Intelligence Research
Optiplan: unifying IP-based and graph-based planning
Journal of Artificial Intelligence Research
Temporal planning using subgoal partitioning and resolution in SGPlan
Journal of Artificial Intelligence Research
SATzilla: portfolio-based algorithm selection for SAT
Journal of Artificial Intelligence Research
A critical assessment of benchmark comparison in planning
Journal of Artificial Intelligence Research
SAT encodings of state-space reachability problems in numeric domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Total-order planning with partially ordered subtasks
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A simplifier for propositional formulas with many binary clauses
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Brothers in Arms? On AI Planning and Cellular Automata
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Hi-index | 0.00 |