Towards a general theory of action and time
Artificial Intelligence
A new polynomial-time algorithm for linear programming
Combinatorica
Arc and path consistence revisited
Artificial Intelligence
Planning for conjunctive goals
Artificial Intelligence
Integer and combinatorial optimization
Integer and combinatorial optimization
Comments on Mohr and Henderson's path consistency algorithm
Artificial Intelligence
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition
Artificial Intelligence
A practical use of Jackson's preemptive schedule for solving the job shop problem
Annals of Operations Research
Artificial Intelligence - Special issue on knowledge representation
Temporal reasoning based on semi-intervals
Artificial Intelligence
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
Partial constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
EXCALIBUR: a program for planning and reasoning with processes
Artificial Intelligence
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Solution reuse in dynamic constraint satisfaction problems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Improved CLP scheduling with task intervals
Proceedings of the eleventh international conference on Logic programming
Temporal planning with continuous change
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Omnipotence without omniscience: efficient sensor management for planning
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Planning under time constraints in stochastic domains
Artificial Intelligence - Special volume on planning and scheduling
An algorithm for probabilistic planning
Artificial Intelligence - Special volume on planning and scheduling
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Anytime algorithms for constraint satisfaction and SAT problems
ACM SIGART Bulletin
Case-based planning: selected methods and systems
AI Communications - Special issue on ECAI-96 Budapest
Fast planning through planning graph analysis
Artificial Intelligence
A theoretical evaluation of selected backtracking algorithms
Artificial Intelligence
Creatures: artificial life autonomous software agents for home entertainment
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Virtual petz (video session): a hybrid approach to creating autonomous, lifelike dogz and catz
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Boosting combinatorial search through randomization
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Cognitive modeling: knowledge, reasoning and planning for intelligent characters
Proceedings of the 26th annual conference on Computer graphics and interactive techniques
Fast planning through greedy action graphs
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
State-space planning by integer optimization
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
CPlan: a constraint programming approach to planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Using iterative repair to automate planning and scheduling of shuttle payload operations
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Ant algorithms for discrete optimization
Artificial Life
Maintaining knowledge about temporal intervals
Communications of the ACM
ELIZA—a computer program for the study of natural language communication between man and machine
Communications of the ACM
Using global constraints for local search
DIMACS workshop on on Constraint programming and large scale discrete optimization
Minimization of the number of breaks in sports scheduling problems using constraint programming
DIMACS workshop on on Constraint programming and large scale discrete optimization
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
Local Search in Combinatorial Optimization
Local Search in Combinatorial Optimization
Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
Journal of Automated Reasoning
A Constraint Programming Framework for Local Search Methods
Journal of Heuristics
Recent Progress in the Design and Analysis of Admissible Heuristic Functions
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Preference-Based Search for Scheduling
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Collective Intelligence and Braess' Paradox
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Local Search with Constraint Propagation and Conflict-Based Heuristics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Anchoring Symbols to Sensor Data: Preliminary Report
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Dynamic Representations and Escaping Local Optima: Improving Genetic Algorithms and Local Search
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Reducing Domains for Search in CLP(FD) and Its Application to Job-Shop Scheduling
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Finding Regions for Local Repair in Partial Constraint Satisfaction
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Scaling up Planning by Teasing out Resource Scheduling
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Numeric State Variables in Constraint-Based Planning
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
A Planning Component for RETSINA Agents
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Local Search Characteristics of Incomplete SAT Procedures
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Branch and Infer: a Unifying Framework for Integer and Finite Domain Constraint Programming
INFORMS Journal on Computing
Passive and active decision postponement in plan generation
Passive and active decision postponement in plan generation
A scheme for unifying optimization and constraint satisfaction methods
The Knowledge Engineering Review
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
Planning for contingencies: a decision-based approach
Journal of Artificial Intelligence Research
Total-order and partial-order planning: a comparative analysis
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
On the use of integer programming models in AI planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
SHOP: simple hierarchical ordered planner
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
To encode or not to encode-1: linear planning
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Using inference to reduce arc consistency computation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Planning executing sensing and replanning for information gathering
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Learning to act using real-time dynamic programming
Artificial Intelligence
IEEE Intelligent Systems
Fusion of soft computing and hard computing for large-scale plants: a general model
Applied Soft Computing
Human-robot interfaces for social interaction
International Journal of Robotics and Automation
Extended artificial chromosomes genetic algorithm for permutation flowshop scheduling problems
Computers and Industrial Engineering
Hi-index | 0.00 |