Generalized best-first search strategies and the optimality of A*
Journal of the ACM (JACM)
Coping with anomalies in parallel branch-and-bound algorithms
IEEE Transactions on Computers - The MIT Press scientific computation series
Knowledge systems: Principles and practice
IBM Journal of Research and Development
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Efficient Branch-and-Bound Algorithms on a Two-Level Memory System
IEEE Transactions on Software Engineering
A Methodology for Solving Problems: Problem Modeling and Heuristic Generation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Control strategies for two-player games
ACM Computing Surveys (CSUR)
Architectural improvements for data-driven VLSI processing arrays
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The (n2-1)-puzzle and related relocation problems
Journal of Symbolic Computation
Journal of the ACM (JACM)
An overview of the A architecture for optimisation problems in a logic programming environment
ACM SIGARCH Computer Architecture News
Minimax Search Algorithms With and Without Aspiration Windows
IEEE Transactions on Pattern Analysis and Machine Intelligence
An Efficient Channel Routing Algorithm to Yield an Optimal Solution
IEEE Transactions on Computers
Computational strategies for object recognition
ACM Computing Surveys (CSUR)
Problems, communications, and common sense
ACM SIGART Bulletin
Artificial intelligence applications to communication network design with bulk facilities
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps
IEEE Transactions on Pattern Analysis and Machine Intelligence
An experiment in constructing an open expert system using a knowledge substrate
IBM Journal of Research and Development
Unstructured tree search on SIMD parallel computers: a summary of results
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Original Contribution: Computer aided neural network engineering
Neural Networks
Flexible controlpath microarchitecture synthesis based on artificial intelligence
EURO-DAC '92 Proceedings of the conference on European design automation
Resolving signal correlations for estimating maximum currents in CMOS combinational circuits
DAC '93 Proceedings of the 30th international Design Automation Conference
A bibliography on minimax trees
ACM SIGACT News
A parallelized search strategy for solving a multicriteria aircraft routing problem
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Studying overheads in massively parallel MIN/MAX-tree evaluation
SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures
Real-Time Bidirectional Search: Coordinated Problem Solving in Uncertain Situations
IEEE Transactions on Pattern Analysis and Machine Intelligence
Document Image Decoding by Heuristic Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
A New Lagrangian Relaxation Based Algorithm for a Class ofMultidimensional Assignment Problems
Computational Optimization and Applications
On parallel evaluation of game trees
Journal of the ACM (JACM)
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Bayesian network models for generation of crisis management training scenarios
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Coordination of heterogeneous distributed cooperative constraint solving
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
An anytime algorithm for gapped block protein threading with pair interactions
RECOMB '99 Proceedings of the third annual international conference on Computational molecular biology
Searching in an unknown environment: an optimal randomized algorithm for the cow-path problem
SODA '93 Proceedings of the fourth annual ACM-SIAM Symposium on Discrete algorithms
Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Optimal constructions of hybrid algorithms
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
Multicriteria vehicle route-planning using parallel A * search
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Rule-based query optimization, revisited
Proceedings of the eighth international conference on Information and knowledge management
Best first search in and/or graphs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Analysis of heurisitc search models
CSC '87 Proceedings of the 15th annual conference on Computer Science
On optimal algorithms for solving bi-valued game trees
CSC '87 Proceedings of the 15th annual conference on Computer Science
Heuristic search in general tree structures: an average case analysis
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Polynomial evaluations of bi-valued game trees
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Performance evaluation of probabilistic tree embedding in cube-connected cycles
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Maintenance of tree structured computations on parallel and distributed computer systems
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
On dynamic tree growing in hypercubes
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Data integration using similarity joins and a word-based information representation language
ACM Transactions on Information Systems (TOIS)
A Graph-Based Method for Face Identification from a Single 2D Line Drawing
IEEE Transactions on Pattern Analysis and Machine Intelligence - Graph Algorithms and Computer Vision
Coarse-to-Fine Dynamic Programming
IEEE Transactions on Pattern Analysis and Machine Intelligence
Emergent situations in interactive storytelling
Proceedings of the 2002 ACM symposium on Applied computing
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Parallel randomized best-first minimax search
Artificial Intelligence
Integrating Petri nets and hybrid heuristic search for the scheduling of FMS
Computers in Industry
Heuristic search and pruning in polynomial constraints satisfaction
Annals of Mathematics and Artificial Intelligence
Efficient and inefficient ant coverage methods
Annals of Mathematics and Artificial Intelligence
An Autonomous Robot for Harvesting Cucumbers in Greenhouses
Autonomous Robots
SALSA: A Language for Search Algorithms
Constraints
Search Heuristics for Box Decomposition Methods
Journal of Global Optimization
Bottom-Up Generation of Hypermedia Documents
Multimedia Tools and Applications
Nonnumeric search results on the EM-4 distributed-memory multiprocessor
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
A Survey of Automated Timetabling
Artificial Intelligence Review
Real-Time Search for Autonomous Agents and Multiagent Systems
Autonomous Agents and Multi-Agent Systems
IBM's Deep Blue Chess Grandmaster Chips
IEEE Micro
Managing Locality Sets: The Model and Fixed-Size Buffers
IEEE Transactions on Computers
An Intelligent Search Method for Query Optimization by Semijoins
IEEE Transactions on Knowledge and Data Engineering
Population-Based Learning: A Method for Learning from Examples Under Resource Constraints
IEEE Transactions on Knowledge and Data Engineering
Genetics-Based Learning of New Heuristics: Rational Scheduling of Experiments and Generalization
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Sequential Decision Models for Expert System Optimization
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Framework for Learning in Search-Based Systems
IEEE Transactions on Knowledge and Data Engineering
State of the Art in Parallel Search Techniques for Discrete Optimization Problems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
An Efficient Path Computation Model for Hierarchically Structured Topographical Road Maps
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Shape Analysis Model with Applications to a Character Recognition System
IEEE Transactions on Pattern Analysis and Machine Intelligence
Enhanced Iterative-Deepening Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
Moving-Target Search: A Real-Time Search for Changing Goals
IEEE Transactions on Pattern Analysis and Machine Intelligence
Occam Algorithms for Computing Visual Motion
IEEE Transactions on Pattern Analysis and Machine Intelligence
On the Efficiency of Parallel Backtracking
IEEE Transactions on Parallel and Distributed Systems
Unstructured Tree Search on SIMD Parallel Computers
IEEE Transactions on Parallel and Distributed Systems
Intelligent Retrieval of Archived Meteorological Data
IEEE Expert: Intelligent Systems and Their Applications
IEEE Intelligent Systems
A new algorithm for the construction of optimal B-trees
Nordic Journal of Computing
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Shared Ensemble Learning Using Multi-trees
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Meta-heuristics: The State of the Art
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Controlled Conspiracy-2 Search
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
The Secret of Selective Game Tree Search, When Using Random-Error Evaluations
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Convergence of a Hill Climbing Genetic Algorithm for Graph Matching
EMMCVPR '99 Proceedings of the Second International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition
Functional Inversion and Communication Complexity
CRYPTO '91 Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology
A Parallel Implementation of the Traveling Salesman Problem on a Sequent Symmetry Mulitprocessor
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
Phoneme Lattice Based A* Search Algorithm for Speech Recognition
TSD '02 Proceedings of the 5th International Conference on Text, Speech and Dialogue
3D Part Recognition Method for Human Motion Analysis
CAPTECH '98 Proceedings of the International Workshop on Modelling and Motion Capture Techniques for Virtual Environments
Lifelong Planning for Mobile Robots
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
SALSA: A Language for Search Algorithms
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Anytime Lower Bounds for Constraint Violation Minimization Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Shogi Processor with a Field Programmable Gate Array
CG '00 Revised Papers from the Second International Conference on Computers and Games
Plausible Move Generation Using Move Merit Analysis with Cut-Off Thresholds in Shogi
CG '00 Revised Papers from the Second International Conference on Computers and Games
Chess Neighborhoods, Function Combination, and Reinforcement Learning
CG '00 Revised Papers from the Second International Conference on Computers and Games
Error Detection with Directed Symbolic Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Agents' Interaction in Virtual Storytelling
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Efficient Search in Very Large Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Eighteenth national conference on Artificial intelligence
Speeding up the calculation of heuristics for heuristic search-based planning
Eighteenth national conference on Artificial intelligence
SetA*: an efficient BDD-based heuristic search algorithm
Eighteenth national conference on Artificial intelligence
On preference-based search in state space graphs
Eighteenth national conference on Artificial intelligence
An average-case analysis of graph search
Eighteenth national conference on Artificial intelligence
Handbook of data mining and knowledge discovery
An approximate A* algorithm and its application to the SCS problem
Theoretical Computer Science
Controlling the learning process of real-time heuristic search
Artificial Intelligence
Declarative Formalization of Reasoning Strategies: A Case Study on Heuristic Nonlinear Planning
Annals of Mathematics and Artificial Intelligence
Efficient Optimization of a Deformable Template Using Dynamic Programming
CVPR '98 Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition
Toward the next generation public traffic information system using Internet
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
Geometric bipartitioning problem and its applications to VLSI
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Fast image search using a multiscale stochastic model
ICIP '95 Proceedings of the 1995 International Conference on Image Processing (Vol.2)-Volume 2 - Volume 2
Performance bounds for planning in unknown terrain
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Asymptotically Optimal Randomized Tree Embedding in Static Networks
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
Computers and Industrial Engineering
Admissibility in opponent-model search
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Heuristic search and computer game playing III
Error analysis in minimax trees
Theoretical Computer Science - Algorithmic combinatorial game theory
Artificial Intelligence
Average-case analysis of best-first search in two representative directed acyclic graphs
Artificial Intelligence
Fast and energy-frugal deterministic test through efficient compression and compaction techniques
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Desing and test of systems on a chip
On the performance of randomized embedding of reproduction trees in static networks
International Journal of Parallel Programming
Gradual Relaxation Techniques with Applications to Behavioral Synthesis
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Incremental heuristic search in AI
AI Magazine
A Comparison of Fast Search Methods for Real-Time Situated Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
An Effective Near-Optimal State-Space Search Method: An Application to a Scheduling Problem
Artificial Intelligence Review
Analysis of randomized load distribution for reproduction trees in linear arrays and rings
Theoretical Computer Science
The Journal of Supercomputing
Rapidly Mixing Random Walks on Hypercubes with Application to Dynamic Tree Evolution
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Quasi-Exact BDD Minimization Using Relaxed Best-First Search
ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design
Introduction to the special volume on reformulation
Artificial Intelligence - Special volume on reformulation
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Finding optimal satisficing strategies for and-or trees
Artificial Intelligence
Selecting evaluation functions in opponent-model search
Theoretical Computer Science - Advances in computer games
Bias and pathology in minimax search
Theoretical Computer Science - Advances in computer games
Computers and Operations Research
Heuristic shortest path algorithms for transportation applications: state of the art
Computers and Operations Research
Cut-and-solve: an iterative search strategy for combinatorial optimization problems
Artificial Intelligence
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Enhancing digital advertising using dynamically configurable multimedia
ICME '03 Proceedings of the 2003 International Conference on Multimedia and Expo - Volume 2
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
Finding an internal state of RC4 stream cipher
Information Sciences: an International Journal
Stochastic and syntactic techniques for predicting phrase breaks
Computer Speech and Language
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
Transportation Science
Proceedings of the 24th international conference on Machine learning
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Construction and optimal search of interpolated motion graphs
ACM SIGGRAPH 2007 papers
Argument diagramming in logic, law and artificial intelligence
The Knowledge Engineering Review
Algorithms for compact letter displays: Comparison and evaluation
Computational Statistics & Data Analysis
A stochastic grammar of images
Foundations and Trends® in Computer Graphics and Vision
Secure XML publishing without information leakage in the presence of data inference
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
State-set branching: Leveraging BDDs for heuristic search
Artificial Intelligence
Speeding up moving-target search
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Comparison and analysis of ten static heuristics-based Internet data replication techniques
Journal of Parallel and Distributed Computing
Proceedings of the 16th international ACM/SIGDA symposium on Field programmable gate arrays
Anytime search in dynamic graphs
Artificial Intelligence
Multiple UAVs path planning algorithms: a comparative study
Fuzzy Optimization and Decision Making
Visual search light model for mental problem solving
Neurocomputing
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Cell Formation with Alternative Routings and Capacity Considerations: A Hybrid Tabu Search Approach
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Directed Unfolding of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Optimal manipulator design for a cucumber harvesting robot
Computers and Electronics in Agriculture
Comparing real-time and incremental heuristic search for real-time situated agents
Autonomous Agents and Multi-Agent Systems
Scaling Search with Pattern Databases
Model Checking and Artificial Intelligence
Transition-Based Directed Model Checking
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Exploring pattern-aware routing in generalized fat tree networks
Proceedings of the 23rd international conference on Supercomputing
Improving optical character recognition through efficient multiple system alignment
Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Simple optimization techniques for A*-based search
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Algorithms and Architectures of Artificial Intelligence
Proceedings of the 2007 conference on Algorithms and Architectures of Artificial Intelligence
The BDD-Based Dynamic A* Algorithm for Real-Time Replanning
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Caching in the TSP Search Space
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Planning Long Dynamically Feasible Maneuvers for Autonomous Vehicles
International Journal of Robotics Research
On A☆ search with stopover areas
International Journal of Geographical Information Science
SP-TAG: a routing algorithm in non-stationary transportation networks
Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services
Properties of forward pruning in game-tree search
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Artificial Intelligence
Memory intensive AND/OR search for combinatorial optimization in graphical models
Artificial Intelligence
The Causal Graph Revisited for Directed Model Checking
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
Heuristic evaluation functions for general game playing
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
On the value of good advice: the complexity of A* search with accurate heuristics
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Explicit-state abstraction: a new method for generating heuristic functions
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Mini-buckets: a general scheme for generating approximations in automated reasoning
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Phase transitions and backbones of the asymmetric traveling salesman problem
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
The generalized A* architecture
Journal of Artificial Intelligence Research
OPUS: an efficient admissible algorithm for unordered search
Journal of Artificial Intelligence Research
Probabilistic planning via heuristic forward search and weighted model counting
Journal of Artificial Intelligence Research
A heuristic search approach to planning with continuous resources in stochastic domains
Journal of Artificial Intelligence Research
Bidirectional heuristic search reconsidered
Journal of Artificial Intelligence Research
A selective macro-learning algorithm and its application to the N × N sliding-tile puzzle
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
A hybrid SSS*/alpha-beta algorithm for parallel search of game trees
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
The complexity of searching several classes of AND/OR graphs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Searching game trees in parallel using SSS*
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Fast recursive formulations for best-first search that allow controlled use of memory
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Conspiracy numbers and caching for searching and/or trees and theorem-proving
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Discovering admissible heuristics by abstracting and optimizing: a transformational approach
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Bidirectional best-first search with bounded error: summary of results
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Complete solution of the eight-puzzle and the benefit of node ordering in IDA
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Highly reactive decision making: a game with time
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
AWA*-a window constrained anytime heuristic search algorithm
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Web page clustering using heuristic search in the web graph
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
State space search for risk-averse agents
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Dynamic weighting A* search-based MAP algorithm for Bayesian networks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The fringe-saving A* search algorithm: a feasibility study
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Experimenting with revisits in game tree search
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
The trailblazer search with a hierarchical abstract map
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A decision rule-based method for feature selection in predictive data mining
Expert Systems with Applications: An International Journal
Using aspiration windows for minimax algorithms
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
High-performance A* search using rapidly growing heuristics
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Machine discovery of effective admissible heuristics
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Limited discrepancy beam search
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Planning with continuous resources in stochastic domains
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An heuristic search based approach for moving objects tracking
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Real-time search in non-deterministic domains
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Systematic versus stochastic constraint satisfaction
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Introduction to the Special Volume on Reformulation
Artificial Intelligence - Special volume on reformulation
Finding optimal satisficing strategies for and-or trees
Artificial Intelligence
Cut-and-solve: An iterative search strategy for combinatorial optimization problems
Artificial Intelligence
Efficient incremental search for moving target search
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A* search with inconsistent heuristics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Experimenting with IDA* search algorithm in heterogeneous pervasive environments
Artificial Intelligence Review
Computers and Operations Research
IEEE Transactions on Information Theory
Finding robust solutions in requirements models
Automated Software Engineering
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Combinatorial Optimization Using Electro-Optical Vector by Matrix Multiplication Architecture
OSC '09 Proceedings of the 2nd International Workshop on Optical SuperComputing
GAMBIT: effective unit testing for concurrency libraries
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
New Approaches to Design and Control of Time Limited Search Algorithms
PReMI '09 Proceedings of the 3rd International Conference on Pattern Recognition and Machine Intelligence
Post-deployment tuning of UMTS cellular networks through dual-homing of RNCs
COMSNETS'09 Proceedings of the First international conference on COMmunication Systems And NETworks
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
A Study of Parts-Based Object Class Detection Using Complete Graphs
International Journal of Computer Vision
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
An analysis of decision quality of minimaxing vs. product propagation
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Biogeography-based optimization combined with evolutionary strategy and immigration refusal
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
A heuristic routing protocol for wireless sensor networks in home automation
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Decomposition of fitness functions in random heuristic search
FOGA'07 Proceedings of the 9th international conference on Foundations of genetic algorithms
UPPAAL/DMC: abstraction-based heuristics for directed model checking
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Playing logic programs with the alpha-beta algorithm
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Reflections on cognitive vision systems
ICVS'03 Proceedings of the 3rd international conference on Computer vision systems
A framework for ontology based rule acquisition from web documents
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
A skat player based on Monte-Carlo simulation
CG'06 Proceedings of the 5th international conference on Computers and games
S-GRID: a versatile approach to efficient query processing in spatial networks
SSTD'07 Proceedings of the 10th international conference on Advances in spatial and temporal databases
Real-time navigation for a mobile robot based on the autonomous behavior agent
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
A taxonomy of theorem-proving strategies
Artificial intelligence today
Assessing regret-based preference elicitation with the UTPREF recommendation system
Proceedings of the 11th ACM conference on Electronic commerce
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Heuristics for resolution in propositional logic
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
A dead end avoidance method for geographic forwarding in MANETs
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
Mobile robot navigation modulated by artificial emotions
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Finding and transferring policies using stored behaviors
Autonomous Robots
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Design-to-fabrication automation for the cognitive machine shop
Advanced Engineering Informatics
The computational complexity of avoiding spurious states in state space abstraction
Artificial Intelligence
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Generalized Fringe-Retrieving A*: faster moving target search on state lattices
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
ESPM: An optimized resource distribution policy in virtual user environment
Future Generation Computer Systems
Asymptotically optimal dynamic tree evolution by rapidly mixing random walks on regular networks
Journal of Parallel and Distributed Computing
Ker volume 25 issue 3 cover and back matter
The Knowledge Engineering Review
Instance-based natural language generation
Natural Language Engineering
A model of two-player evaluation punctions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Optimizing the predictive value of diagnostic decision rules
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Tree edit models for recognizing textual entailments, paraphrases, and answers to questions
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Contract Search: Heuristic Search under Node Expansion Constraints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Predicting the performance of IDA* using conditional distributions
Journal of Artificial Intelligence Research
A model of two-player evaluation punctions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Optimizing the predictive value of diagnostic decision rules
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Near optimal objects packing through dimensional unfolding
IAAI'96 Proceedings of the eighth annual conference on Innovative applications of artificial intelligence
Consistent linear speedups to a first solution in parallel state-space search
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Constructive induction on domain information
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
On optimal game tree propagation for imperfect players
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Moving target search with intelligence
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Performance of IDA on trees and graphs
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Generating effective admissible heuristics by abstraction and reconstitution
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Heuristic search for scheduling flexible manufacturing systems using lower bound reachability matrix
Computers and Industrial Engineering
Heuristics for planning with SAT
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
One-shot supervised reinforcement learning for multi-targeted tasks: RL-SAS
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part II
Analysis of utility-theoretic heuristics for intelligent adaptive network routing
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Searching game trees under memory constraints
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Exploiting graph properties of game trees
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Easy and hard testbeds for real-time search algorithms
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Improving the learning efficiencies of realtime search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Dynamic improvements of heuristic evaluations during search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Formalizing dependency directed backtracking and explanation based learning in refinement search
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Parallel simulated annealing for the set-partitioning problem
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
IEEE Transactions on Communications
Tourist trip planning functionalities: state-of-the-art and future
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Context-enhanced directed model checking
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Optimization and learning for rough terrain legged locomotion
International Journal of Robotics Research
Feature selection applied to data from the Sloan digital sky survey
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part I
Implicit abstraction heuristics
Journal of Artificial Intelligence Research
Theta*: any-angle path planning on grids
Journal of Artificial Intelligence Research
Heuristic and metaheuristic optimization techniques with application to power systems
MMACTEE'10 Proceedings of the 12th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
A method for test system diagnostics based on the principles of artificial intelligence
ITC'84 Proceedings of the 1984 international test conference on The three faces of test: design, characterization, production
An Exponential Model for Infinite Rankings
The Journal of Machine Learning Research
HGA*, an efficient algorithm for path planning in a plane
Scientific and Technical Information Processing
Clone detection through process algebras and Java bytecode
Proceedings of the 5th International Workshop on Software Clones
Abstractions and pattern databases: the quest for succinctness and accuracy
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Development of a navigation system for heterogeneous mobile robots
International Journal of Intelligent Systems Technologies and Applications
Inconsistent heuristics in theory and practice
Artificial Intelligence
Examining mutation landscapes in grammar based genetic programming
EuroGP'11 Proceedings of the 14th European conference on Genetic programming
Service extraction from operator procedures in process industries
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
Post deployment planning of 3G cellular networks through dual homing of NodeBs
ICDCN'10 Proceedings of the 11th international conference on Distributed computing and networking
Interactive structured output prediction: application to chromosome classification
IbPRIA'11 Proceedings of the 5th Iberian conference on Pattern recognition and image analysis
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Multiagent argumentation for cooperative planning in DeLP-POP
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
K*: A heuristic search algorithm for finding the k shortest paths
Artificial Intelligence
Mini-bucket heuristics for improved search
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Flexible and approximate computation through state-space reduction
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
A scheme for approximating probabilistic inference
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Integrating planning and execution in stochastic domains
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Robust planning in uncertain environments
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Possibilistic constraint satisfaction problems or "How to handle soft constraints ?"
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Enhancing trie-based syntactic pattern recognition using AI heuristic search strategies
ICAPR'05 Proceedings of the Third international conference on Advances in Pattern Recognition - Volume Part I
Polymorphic code detection with GA optimized markov models
CMS'05 Proceedings of the 9th IFIP TC-6 TC-11 international conference on Communications and Multimedia Security
An axiomatic approach to robustness in search problems with multiple scenarios
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Symbolic decision theory and autonomous systems
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Counterexamples for timed probabilistic reachability
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Heuristic algorithm for computing fast template motion in video streams
ACIVS'05 Proceedings of the 7th international conference on Advanced Concepts for Intelligent Vision Systems
A two-tiered global path planning strategy for limited memory mobile robots
Robotics and Autonomous Systems
Online selection of the best k-feature subset for object tracking
Journal of Visual Communication and Image Representation
Extended directed search for probabilistic timed reachability
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Multiple overlapping tiles for contextual monte carlo tree search
EvoApplicatons'10 Proceedings of the 2010 international conference on Applications of Evolutionary Computation - Volume Part I
AMF configurations: checking for service protection using heuristics
Proceedings of the 7th International Conference on Network and Services Management
Capacity constrained routing algorithms for evacuation planning: a summary of results
SSTD'05 Proceedings of the 9th international conference on Advances in Spatial and Temporal Databases
Heuristic algorithms for fast and accurate tracking of moving objects in unrestricted environments
BVAI'05 Proceedings of the First international conference on Brain, Vision, and Artificial Intelligence
AND/OR branch-and-bound search for pure 0/1 integer linear programming problems
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Learning algorithms for scheduling using knowledge based model
ICAISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Heuristic search of cut-off points for clinical parameters: defining the limits of obesity
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Computing argumentation in polynomial number of BDD operations: a preliminary report
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Artificial Intelligence in Medicine
Max-Prob: an unbiased rational decision making procedure for multiple-adversary environments
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
A framework for exploring organizational structure in dynamic social networks
Decision Support Systems
Artificial Intelligence in Medicine
Mining coherent subgraphs in multi-layer graphs with edge labels
Proceedings of the 18th ACM SIGKDD international conference on Knowledge discovery and data mining
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Improving the performance of constructive multi-start search using record-keeping
IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
Avoiding and escaping depressions in real-time heuristic search
Journal of Artificial Intelligence Research
Algorithms for generating ordered solutions for explicit and/or structures
Journal of Artificial Intelligence Research
Online speedup learning for optimal planning
Journal of Artificial Intelligence Research
Computers and Industrial Engineering
Planning as satisfiability: Heuristics
Artificial Intelligence
Navigation of mobile robot by using D++ algorithm
Intelligent Service Robotics
Dynamic distributed scheduling algorithm for state space search
Euro-Par'12 Proceedings of the 18th international conference on Parallel Processing
Minimal proof search for modal logic k model checking
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A parallel fipa architecture based on GPU for games and real time simulations
ICEC'12 Proceedings of the 11th international conference on Entertainment Computing
Mcta: heuristics and search for timed systems
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
A theoretical examination of practical game playing: lookahead search
SAGT'12 Proceedings of the 5th international conference on Algorithmic Game Theory
Cooperative dialogues for defeasible argumentation-based planning
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
MR-search: massively parallel heuristic search
Concurrency and Computation: Practice & Experience
Improving recall of regular expressions for information extraction
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
Iterative-Deepening search with on-line tree size prediction
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
Light-assisted A* path planning
Engineering Applications of Artificial Intelligence
The time complexity of A* with approximate heuristics on multiple-solution search spaces
Journal of Artificial Intelligence Research
FriendRouter: real-time path finder in social networks
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Finding objects through stochastic shortest path problems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Multi-domain real-time planning in dynamic environments
Proceedings of the 12th ACM SIGGRAPH/Eurographics Symposium on Computer Animation
Predictive heuristics for decision-making in real-world environments
AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence
Algorithms for generating ordered solutions for explicit AND/OR structures: extended abstract
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A framework of traveling companion discovery on trajectory data streams
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
A GA-based feature selection approach with an application to handwritten character recognition
Pattern Recognition Letters
Remarks on history and presence of game tree search and research
Information Theory, Combinatorics, and Search Theory
A hierarchical approach for primitive-based motion planning and control of autonomous vehicles
Robotics and Autonomous Systems
Iterative-deepening search with on-line tree size prediction
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence Review
Learning optimal bayesian networks: a shortest path perspective
Journal of Artificial Intelligence Research
Perspectives on Uncertainty and Risk in Rough Sets and Interactive Rough-Granular Computing
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
| Hi-index | 0.07 |