Three approaches to heuristic search in networks
Journal of the ACM (JACM)
AND/OR graph heuristic search methods
Journal of the ACM (JACM)
Generalized best-first search strategies and the optimality of A*
Journal of the ACM (JACM)
A problem-oriented inferential database system
ACM Transactions on Database Systems (TODS)
A path selection global touter
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Data allocation in distributed database systems
ACM Transactions on Database Systems (TODS)
Large-vocabulary speech recognition: a system for the Italian language
IBM Journal of Research and Development
Efficient Branch-and-Bound Algorithms on a Two-Level Memory System
IEEE Transactions on Software Engineering
Knowledge based system to diagnose faults in discrete event systems
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Search direction by goal failure in goal-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Indeterminate behavior with determinate semantics in parallel programs
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Experience with a stack decoder-based HMM CSR and back-OFF N-gram language models
HLT '91 Proceedings of the workshop on Speech and Natural Language
Journal of the ACM (JACM)
HLT '90 Proceedings of the workshop on Speech and Natural Language
Algorithms for an optimal A search and linearizing the search in the stack decoder
HLT '90 Proceedings of the workshop on Speech and Natural Language
A methodology for detecting shared variable dependencies in logic programs
Journal of Symbolic Computation
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Task Allocation for Maximizing Reliability of Distributed Computer Systems
IEEE Transactions on Computers
Plane parallel a maze router and its application to FPGAs
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Speeding up test pattern generation from behavioral VHDL descriptions containing several processes
EURO-DAC '94 Proceedings of the conference on European design automation
A Fast Statistical Mixture Algorithm for On-Line Handwriting Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence
Dealing with non-functional requirements: three experimental studies of a process-oriented approach
Proceedings of the 17th international conference on Software engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Physical design CAD in deep sub-micron era
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Topologies for the parallel backtracking Prolog engine
MICRO 23 Proceedings of the 23rd annual workshop and symposium on Microprogramming and microarchitecture
Task Allocation Algorithms for Maximizing Reliability of Distributed Computing Systems
IEEE Transactions on Computers
Basic agents for visual/motor coordination of a mobile robot
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Managing performance requirements for information systems
Proceedings of the 1st international workshop on Software and performance
An architecture for exploring large design spaces
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
intelligence
Value-update rules for real-time search
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
View indexing in relational databases
ACM Transactions on Database Systems (TODS)
Construction of relations in relational databases
ACM Transactions on Database Systems (TODS)
Search strategy and selection function for an inferential relational system
ACM Transactions on Database Systems (TODS)
On the Optimal Solutions to AND/OR Series-Parallel Graphs
Journal of the ACM (JACM)
Fuzzy Logic and the Resolution Principle
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Human Oriented Logic for Automatic Theorem-Proving
Journal of the ACM (JACM)
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
An Algorithm for Subgraph Isomorphism
Journal of the ACM (JACM)
Resolution Strategies as Decision Procedures
Journal of the ACM (JACM)
Boundary and Object Detection in Real World Images
Journal of the ACM (JACM)
A Combinatorial Problem Which Is Complete in Polynomial Space
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Efficient Algorithms for Shortest Paths in Sparse Networks
Journal of the ACM (JACM)
An Improved Bidirectional Heuristic Search Algorithm
Journal of the ACM (JACM)
The Power of Dominance Relations in Branch-and-Bound Algorithms
Journal of the ACM (JACM)
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Dynamic Programming as Graph Searching: An Algebraic Approach
Journal of the ACM (JACM)
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Search Algorithms Under Different Kinds of Heuristics—A Comparative Study
Journal of the ACM (JACM)
Bidirectional Heuristic Search Again
Journal of the ACM (JACM)
Decision Quality As a Function of Search Depth on Game Trees
Journal of the ACM (JACM)
A technique for comparing search algorithm run-times
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
The GéoSabrina design: the way to build a GIS above a spatial data server
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
ACM Transactions on Mathematical Software (TOMS)
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
ACM Computing Surveys (CSUR)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Management of Performance Requirements for Information Systems
IEEE Transactions on Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Anomalies in parallel branch-and-bound algorithms
Communications of the ACM
Information derivability analysis in logical information systems
Communications of the ACM
Communications of the ACM
An optimal evaluation of Boolean expressions in an online query system
Communications of the ACM
Optimizing decision trees through heuristically guided search
Communications of the ACM
An application of heuristic search methods to edge and contour detection
Communications of the ACM
Computer science as empirical inquiry: symbols and search
Communications of the ACM
State-space problem-reduction, and theorem proving—some relationships
Communications of the ACM
A heuristic problem solving design system for equipment or furniture layouts
Communications of the ACM
An improved program-synthesizing algorithm and its correctness
Communications of the ACM
COKO III: the Cooper-Koz chess program
Communications of the ACM
Equivalence between AND/OR graphs and context-free grammars
Communications of the ACM
A learning program which plays partnership dominoes
Communications of the ACM
Computer science: a conceptual framework for curriculum planning
Communications of the ACM
Terrain coverage with ant robots: a simulation study
Proceedings of the fifth international conference on Autonomous agents
Computing the nxm shortest path efficiently
Journal of Experimental Algorithmics (JEA)
Performing inferences over relation data bases
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Automatic generation of physical data base structures
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
4×4 Tac-Tix is a second person game
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
A Performance Analysis of Transposition-Table-Driven Work Scheduling in Distributed Search
IEEE Transactions on Parallel and Distributed Systems
Parallel cooperative propositional theorem proving
Annals of Mathematics and Artificial Intelligence
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
Diagnosing double regular systems
Annals of Mathematics and Artificial Intelligence
Efficient and inefficient ant coverage methods
Annals of Mathematics and Artificial Intelligence
Towards Combinatorial Analysis, Adaptation, and Planning of Human-Computer Systems
Applied Intelligence
Automation and Remote Control
Basic Visual and Motor Agents for Increasingly Complex Behavior Generation on a Mobile Robot
Autonomous Robots - Special issue on autonomous agents
Traversability Analysis and Path Planning for a Planetary Rover
Autonomous Robots
Overlaps in Requirements Engineering
Automated Software Engineering
Constraints
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
An Analysis of Initiative Selection in CollaborativeTask-Oriented Discourse
User Modeling and User-Adapted Interaction
Nagging: a scalable fault-tolerant paradigm for distributed search
Artificial Intelligence
Rational Coordination in Multi-Agent Environments
Autonomous Agents and Multi-Agent Systems
KBMS: A Knowledge-Based System for Modeling Software System Specifications
IEEE Transactions on Knowledge and Data Engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Admissibility Proofs for the LCS* Algorithm
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Hierarchical Approach for Engineering Skills Acquisition
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Unifying Single-Agent and Two-Player Search
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
A Survey of Tsume-Shogi Programs Using Variable-Depth Search
CG '98 Proceedings of the First International Conference on Computers and Games
Computing the n × m Shortest Paths Efficently
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
View management in multimedia databases
The VLDB Journal — The International Journal on Very Large Data Bases
Eighteenth national conference on Artificial intelligence
Word reordering and a dynamic programming beam search algorithm for statistical machine translation
Computational Linguistics
An approximate A* algorithm and its application to the SCS problem
Theoretical Computer Science
An approach to building quality into software architecture
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Artificial Intelligence
Optimal task assignment in heterogeneous computing systems
HCW '97 Proceedings of the 6th Heterogeneous Computing Workshop (HCW '97)
Petri Net based search directing heuristics for test generation
DAC '83 Proceedings of the 20th Design Automation Conference
A global routing algorithm for general cells
DAC '84 Proceedings of the 21st Design Automation Conference
Performance of algorithms for initial placement
DAC '84 Proceedings of the 21st Design Automation Conference
Phase coupling and constant generation in an optimizing microcode compiler
MICRO 15 Proceedings of the 15th annual workshop on Microprogramming
Interactive verification of communication software on the basis of CIL
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A parallel Prolog: The construction of a data driven model
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Formalization and automated synthesis of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Guiding sensitization searches using problem reduction graphs
DAC '78 Proceedings of the 15th Design Automation Conference
On the uses of models in education
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
Teaching computer science with APL: An introduction to search procedures
APL '79 Proceedings of the international conference on APL: part 1
Reconsideration of a theorem on admissible ordered search algorithms
ACM '76 Proceedings of the 1976 annual conference
Implementation of a dynamic tree searching algorithm in a chess programme
ACM '73 Proceedings of the ACM annual conference
Limitations in pattern recognition and problem solving
ACM '72 Proceedings of the ACM annual conference - Volume 1
ACM '72 Proceedings of the ACM annual conference - Volume 1
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Towards constructive axiomatic specifications
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A practical method for code generation based on exhaustive search
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Structured programming and automatic program synthesis
Proceedings of the ACM SIGPLAN symposium on Very high level languages
An algorithmic approach to controlling search in three-dimensional image data
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
The integration of a Problem Solving Process in the first course
SIGCSE '79 Proceedings of the tenth SIGCSE technical symposium on Computer science education
ACM '79 Proceedings of the 1979 annual conference
Natural language and voice output for relational data base systems
ACM '78 Proceedings of the 1978 annual conference - Volume 2
The principal continuation and the killer heuristic
ACM '77 Proceedings of the 1977 annual conference
ACM '77 Proceedings of the 1977 annual conference
Real world scene analysis in perspective
ACM '75 Proceedings of the 1975 annual conference
VLSI floorplan generation and area optimization using AND-OR graph search
VLSID '95 Proceedings of the 8th International Conference on VLSI Design
Inductive Verification of Sequential Circuits with a Datapath
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Goal-directed concept acquisition in requirements elicitation
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Signal Processing - Special issue: Fractional signal processing and applications
Evaluation of distributed communication systems
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
The multidisciplinary combinatorial approach (MCA) and its applications in engineering
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Completeness conditions for mixed strategy bidirectional parsing
Computational Linguistics
Robust grammatical analysis for spoken dialogue systems
Natural Language Engineering
An automatic speech recognition system for the Italian language
EACL '87 Proceedings of the third conference on European chapter of the Association for Computational Linguistics
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
Logical Equations with Applications to Automatic Design and Control
Automation and Remote Control
Solution of the Tower of Hanoi problem using a binary tree
ACM SIGPLAN Notices
Artificial Intelligence
Algorithms for Synthesis of Polynomials Implementing Weakly Specified Boolean Functions and Systems
Automation and Remote Control
Fast Branch & Bound Algorithms for Optimal Feature Selection
IEEE Transactions on Pattern Analysis and Machine Intelligence
Automata theory motivated by problem solving
ACM SIGACT News
Incremental heuristic search in AI
AI Magazine
IEEE Transactions on Pattern Analysis and Machine Intelligence
A deductive model of control of a problem solver
ACM SIGART Bulletin
An algorithm to play the game of mastermind
ACM SIGART Bulletin
A CSR-NL interface specification version 1.5
HLT '89 Proceedings of the workshop on Speech and Natural Language
HLT '91 Proceedings of the workshop on Speech and Natural Language
Knowledge base reuse through constraint relaxation
Proceedings of the 3rd international conference on Knowledge capture
Example-based machine translation using efficient sentence retrieval based on edit-distance
ACM Transactions on Asian Language Information Processing (TALIP)
An efficient A* search algorithm for statistical machine translation
DMMT '01 Proceedings of the workshop on Data-driven methods in machine translation - Volume 14
Heuristic shortest path algorithms for transportation applications: state of the art
Computers and Operations Research
Hierarchical hippocratic databases with minimal disclosure for virtual organizations
The VLDB Journal — The International Journal on Very Large Data Bases
Integrating visual goal models into the Rational Unified Process
Journal of Visual Languages and Computing
Robot path planning: complexity, flexibility and application scope
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Proceedings of the 24th international conference on Machine learning
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
Computer science as empirical inquiry: symbols and search
ACM Turing award lectures
ACM Turing award lectures
Extending the Path-Planning Horizon
International Journal of Robotics Research
Physical design refinement: The ‘merge-reduce’ approach
ACM Transactions on Database Systems (TODS)
On Fault-Tolerant Distributor Communication Architecture
IEEE Transactions on Computers
A Triangulation Method for the Sequential Mapping of Points from N-Space to Two-Space
IEEE Transactions on Computers
An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits
IEEE Transactions on Computers
A Hole in Goal Trees: Some Guidance from Resolution Theory
IEEE Transactions on Computers
A Ladder-Structured Decision Tree for Recognizing Tumors in Chest Radiographs
IEEE Transactions on Computers
SCIRTSS: A Search System for Sequential Circuit Test Sequences
IEEE Transactions on Computers
A Branch and Bound Algorithm for Computing k-Nearest Neighbors
IEEE Transactions on Computers
Scheduling Heuristics in a Multiprogramming Environment
IEEE Transactions on Computers
New Results and Techniques in Resolution Theory
IEEE Transactions on Computers
A Branch and Bound Clustering Algorithm
IEEE Transactions on Computers
Resolution, Refinements, and Search Strategies: A Comparative Study
IEEE Transactions on Computers
Uniform Decomposition of Incompletely Specified Sequential Machines
IEEE Transactions on Computers
Artificial Intelligence: Cooperative Computation and Man-Machine Symbiosis
IEEE Transactions on Computers
An expert system using an extended AND-OR graph
Knowledge-Based Systems
2-degree-of-freedom robot path planning using cooperative neural fields
Neural Computation
Robotics and Autonomous Systems
A yield-driven gridless router
Journal of Computer Science and Technology
An optimal multiprocessor combinatorial auction solver
Computers and Operations Research
Multiple UAVs path planning algorithms: a comparative study
Fuzzy Optimization and Decision Making
The computer analysis of chest radiographs
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
KAMET II: An open diagnosis knowledge-acquisition methodology
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Agent Shell for the Development of Tutoring Systems for Expert Problem Solving Knowledge
ITS '08 Proceedings of the 9th international conference on Intelligent Tutoring Systems
Using Genetic Algorithms for Parameter Optimization in Building Predictive Data Mining Models
ADMA '08 Proceedings of the 4th international conference on Advanced Data Mining and Applications
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
A Layered Architecture for Detecting Malicious Behaviors
RAID '08 Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection
Journal of Parallel and Distributed Computing
Towards a shared language for problem-solving in design
SoD '07 Proceedings of the 2007 Symposium on Science of Design
A geometric analysis of heuristic search
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
The architecture of MANIP: a parallel computer system for solving NP-complete problems
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
The assignment of computational tasks among processors in a distributed system
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Optimal Privacy-Aware Path in Hippocratic Databases
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Achieving good connectivity in motion graphs
Graphical Models
PPCP: efficient probabilistic planning with clear preferences in partially-known environments
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Journal of Systems and Software
PBA*: using proactive search to make A* robust to unplanned deviations
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Joint evaluation of multiple speech patterns for speech recognition and training
Computer Speech and Language
OPUS: an efficient admissible algorithm for unordered search
Journal of Artificial Intelligence Research
Robot planning, execution, and monitoring in an uncertain environment
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Fuzzy logic and the resolution principle
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
A paradigm for reasoning by analogy
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
The Locus model of search and its use in image interpretation
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Automated theory formation in mathematics
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
A two-dimensional trim-loss problem with sequencing constraints
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Less than general production system architectures
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Panel on computer game playing
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
A learning system able to synthesize arithmetical functions
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Resolution in a new modal logic
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
An application of decision analysis to strategy-making in game playing
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Utterance and objective: issues in natural language communication
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Artificial intelligence research strategies in the light of AI models of scientific discovery
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Search methods using heuristic strategies
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Representation and analysis of electrical circuits in a deductive system
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
A result on the computational complexity of heuristic estimates for the A* algorithm
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
On A* as a special case of ordered search
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A subdivision algorithm in configuration space for findpath with rotation
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A study of search methods: the effect of constraint satisfaction and adventurousness
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
And-Or graphs applied to RUE resolution
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
EG: a case study in problem solving with king and pawn endings
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Exactly how good are heuristics?: toward a realistic predictive theory of best-first search
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Subgoal protection and unravelling during plan synthesis
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Conceptual overlays: a mechanism for the interpretation of sentence meaning in context
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
An improved bi-directional heuristic search algorithm
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
About the solution of combinatorial problems with problem solving methods
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
The heuristic search and the game of chess a study of quiescence, sacrifices, and plan oriented play
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A problem reduction model for non independent subproblems
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
From dynamic programming to search algorithms with functional costs
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Predicting the length of solutions to problems
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Problem solving approach in data management
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Automatic detection of rib contours in chest radiographs
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Boundary and object detection in real world images
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
DIALOG: a model of diagnostic logic for internal medicine
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A model of human cognitive behavior in writing code for computer programs
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Problem structure and problem solving behavior
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
The bandwidth heuristic search
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
On the mechanization of abductive logic
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A hole in goal trees: some guidance from resolution theory
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A parser for a speech understanding system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Design of a low cost, general purpose robot
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A semantics-based decision theory region analyzer
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A number theory approach to problem representation and solution
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
On a local approach to representation in problem solving
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Implementing search heuristics using the AL1 advice-taking system
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A logic representation of manufacturing control
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A problem similarity approach to devising heuristics: first results
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A parallel searching scheme for multiprocessor systems and its application to combinatorial problems
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Failure processing in a system for designing complex assemblies
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A deductive approach to program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Evaluating queries in deductive databases by generating
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Verification-based learning: a generalisation strategy for inferring problem-reduction methods
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Best-first utility-guided search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Achieving good connectivity in motion graphs
Proceedings of the 2008 ACM SIGGRAPH/Eurographics Symposium on Computer Animation
A quantitative analysis of the alpha-beta pruning algorithm
Artificial Intelligence
Searching for an optimal path in a tree with random costs
Artificial Intelligence
Constrained rationality: formal goals-reasoning approach to strategic decision & conflict analysis
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Internalized plans: A representation for action resources
Robotics and Autonomous Systems
Continuous evaluation of fastest path queries on road networks
SSTD'07 Proceedings of the 10th international conference on Advances in spatial and temporal databases
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Geometric considerations of search behavior
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
ICASSP'92 Proceedings of the 1992 IEEE international conference on Acoustics, speech and signal processing - Volume 1
Geodesic Methods in Computer Vision and Graphics
Foundations and Trends® in Computer Graphics and Vision
An heuristic-based context-free parsing algorithm
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: speech processing - Volume II
An improved search algorithm using incremental knowledge for continuous speech recognition
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: speech processing - Volume II
Toward efficient morphological shape representation
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: image and multidimensional signal processing - Volume V
The interaction between assertional and terminological knowledge in krypton
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Examining mutation landscapes in grammar based genetic programming
EuroGP'11 Proceedings of the 14th European conference on Genetic programming
AIS'11 Proceedings of the Second international conference on Autonomous and intelligent systems
Range based cybernavigation in natural known environments
Transactions on computational science XII
Modeling view selection as a constraint satisfaction problem
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Robot routing approaches for convoy merging maneuvers
TAROS'11 Proceedings of the 12th Annual conference on Towards autonomous robotic systems
ISPA'06 Proceedings of the 2006 international conference on Frontiers of High Performance Computing and Networking
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Load balanced allocation of multiple tasks in a distributed computing system
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Searching in a maze, in search of knowledge: issues in early artificial intelligence
Reasoning, Action and Interaction in AI Theories and Systems
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Minimal disclosure in hierarchical hippocratic databases with delegation
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
Heuristically driven front propagation for geodesic paths extraction
VLSM'05 Proceedings of the Third international conference on Variational, Geometric, and Level Set Methods in Computer Vision
Imitating inscrutable enemies: learning from stochastic policy observation, retrieval and reuse
ICCBR'10 Proceedings of the 18th international conference on Case-Based Reasoning Research and Development
Explaining Activities as Consistent Groups of Events
International Journal of Computer Vision
A survey of view selection methods
ACM SIGMOD Record
A difference technique for automatic inspection of casting parts
Pattern Recognition Letters
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Implementation of robot routing approaches for convoy merging manoeuvres
Robotics and Autonomous Systems
A parallel fipa architecture based on GPU for games and real time simulations
ICEC'12 Proceedings of the 11th international conference on Entertainment Computing
Planning stable paths for urban search and rescue robots
Robot Soccer World Cup XV
A hierarchical approach for primitive-based motion planning and control of autonomous vehicles
Robotics and Autonomous Systems
| Hi-index | 0.26 |