Communications of the ACM
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)
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
An expert system for a resource allocation problem
Communications of the ACM
A society model for office information systems
ACM Transactions on Information Systems (TOIS)
Integrated processing produces robust understanding
Computational Linguistics
Tree resolution and generalized semantic tree
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Envoys in electronic mail systems
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
IEEE Transactions on Computers
Formal representation of a conceptual knowledge model for a database based expert system
SIGCPR '85 Proceedings of the twenty-first annual conference on Computer personnel research
The architecture of the hardware unification unit and an implementation
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
APL '86 Proceedings of the international conference on APL
Intelligent interfaces: user models and planners
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
IBM Systems Journal
Retargetable microcode synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
An overview of the PRISM project
ACM SIGARCH Computer Architecture News
APL2 implementations of unification
APL '87 Proceedings of the international conference on APL: APL in transition
A knowledge-based approach to multiple query processing in distributed database system
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Abstract interaction tools: a language for user interface management systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Database Systems (TODS)
Communications of the ACM
On the consistency assumption, monotone criterion and the monotone restriction
ACM SIGART Bulletin
Problems in modelling tasks and task views
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Learning Dominance Relations in Combined Search Problems
IEEE Transactions on Software Engineering
Efficient Branch-and-Bound Algorithms on a Two-Level Memory System
IEEE Transactions on Software Engineering
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
A Planning Model with Problem Analysis and Operator Hierarchy
IEEE Transactions on Pattern Analysis and Machine Intelligence
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
Resourceful systems and software fault tolerance
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs
IEEE Transactions on Software Engineering
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
EDGE - a graph based tool for specifying interaction
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Planning in an expert system for automated information retrieval
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Parallel expert system search techniques for a real-time application
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Computing, research, and war: if knowledge is power, where is responsibility?
Communications of the ACM
Recognition and Shape Synthesis of 3-D Objects Based on Attributed Hypergraphs
IEEE Transactions on Pattern Analysis and Machine Intelligence
Control strategies for two-player games
ACM Computing Surveys (CSUR)
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
SAIRVO: a temporal planning system
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A Bayesian Approach to Reconstruction from Incomplete Projections of a Multiple Object 3D Domain
IEEE Transactions on Pattern Analysis and Machine Intelligence
EPS II: estate planning with prototypes
ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law
Knowledge representation on the connection machine
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
On the Number of Acceptable Task Assignments in Distributed Computing Systems
IEEE Transactions on Computers
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
Expected-Outcome: A General Model of Static Evaluation
IEEE Transactions on Pattern Analysis and Machine Intelligence
Representing knowledge with functions and Boolean arrays
IBM Journal of Research and Development
ERNEST: A Semantic Network System for Pattern Understanding
IEEE Transactions on Pattern Analysis and Machine Intelligence
Gral: an extensible relational database system for geometric applications
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Parallel processing of recursive queries in distributed architectures
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Speculative computation in multilisp
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Coupling a UI framework with automatic generation of context-sensitive animated help
UIST '90 Proceedings of the 3rd annual ACM SIGGRAPH symposium on User interface software and technology
A model-directed image understanding system for computer vision
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
The consistency problem of knowledge bases
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Adaptive multiagent planning in a distributed environment
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Pipelined OR-parallelism architecture for parallel execution of Prolog
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Using focusing search algorithms and a strong heuristic to solve the findpath problem in robotics
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
Journal of the ACM (JACM)
Statistical parsing of messages
HLT '90 Proceedings of the workshop on Speech and Natural Language
HLT '90 Proceedings of the workshop on Speech and Natural Language
An 86,000-word recognizer based on phonemic models
HLT '90 Proceedings of the workshop on Speech and Natural Language
An overview of the A architecture for optimisation problems in a logic programming environment
ACM SIGARCH Computer Architecture News
Hypertext and structured object representation: an unifying view
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
An Efficient Channel Routing Algorithm to Yield an Optimal Solution
IEEE Transactions on Computers
Fragmenting Relations Horizontally Using a Knowledge-Based Approach
IEEE Transactions on Software Engineering
Rule-based optimization and query processing in an extensible geometric database system
ACM Transactions on Database Systems (TODS)
Efficient local search for very large-scale satisfiability problems
ACM SIGART Bulletin
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
3-D Shape Recovery Using Distributed Aspect Matching
IEEE Transactions on Pattern Analysis and Machine Intelligence - Special issue on interpretation of 3-D scenes—part II
An Algebraic Approach to Feature Interactions
IEEE Transactions on Pattern Analysis and Machine Intelligence
Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps
IEEE Transactions on Pattern Analysis and Machine Intelligence
IEEE Transactions on Pattern Analysis and Machine Intelligence
Learning efficient query processing strategies
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Process programming by hindsight
ICSE '92 Proceedings of the 14th international conference on Software engineering
A combined symbolic/numeric approach for the integration of stiff nonlinear systems of ODE's
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
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
Plane parallel a maze router and its application to FPGAs
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Programming by multiset transformation
Communications of the ACM
BankXX: a program to generate argument through case-base research
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A hybrid of neural net and branch and bound techniques for seismic horizon tracking
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
An actor dependency model of organizational work: with application to business process reengineering
COCS '93 Proceedings of the conference on Organizational computing systems
An integrated optimal task assignment policy
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A second generation user interface design environment: the model and the runtime architecture
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Plan recognition for context sensitive help
IUI '93 Proceedings of the 1st international conference on Intelligent user interfaces
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Connect 4 as a problem in artificial intelligence and robotics
ACM SIGCSE Bulletin
Planning the Motions of a Mobile Robot in a Sensory Uncertainty Field
IEEE Transactions on Pattern Analysis and Machine Intelligence
IEEE Transactions on Software Engineering
Intelligent scissors for image composition
SIGGRAPH '95 Proceedings of the 22nd annual conference on Computer graphics and interactive techniques
N-Tuple Features for OCR Revisited
IEEE Transactions on Pattern Analysis and Machine Intelligence
Finding the ith largest of n for small i,n
ACM SIGACT News
Different levels of expertise for an expert system in information retrieval
SIGIR '85 Proceedings of the 8th annual international ACM SIGIR conference on Research and development in information retrieval
Latchup-aware placement and parasitic-bounded routing of custom analog cells
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
A parallel implementation of cost-based abductive reasoning
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
ISPD '98 Proceedings of the 1998 international symposium on Physical design
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL
Machine Learning - Special issue on applications of machine learning and the knowledge discovery process
Heuristic search in cyclic AND/OR graphs
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
Control strategies in HTN planning: theory versus practice
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
A heuristic cost estimation method for optimizing assignment of tasks to processors
Proceedings of the 1999 ACM symposium on Applied computing
Methodologies for teaching new programming languages: a case study teaching LISP
Proceedings of the 2nd Australasian conference on Computer science education
Top-down search for coordinating the hierarchical plans of multiple agents
Proceedings of the third annual conference on Autonomous Agents
Manufacturable feature recognition and its integration with process planning
Proceedings of the fifth ACM symposium on Solid modeling and applications
Scripting highly autonomous simulation behavior using case-based reasoning
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Contingent planning under uncertainty via stochastic satisfiability
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
Expert systems development in LISP and Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
A rule-based approach for simulation errors in discrete sequential processes
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
PROTEST: a tool for probabilistic testability analysis
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Knowlege-based expert systems and their application(tutorial session
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Towards an implementation of a knowledge-based system design and simulation environment
WSC '88 Proceedings of the 20th conference on Winter simulation
Constraint-driven generation of model structures
WSC '87 Proceedings of the 19th conference on Winter simulation
Optimization of extended database query languages
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
ANSS '86 Proceedings of the 19th annual symposium on Simulation
Modelling database based expert systems at the conceptual level
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Deleting Repeated Goals in the Problem Reduction Format
Journal of the ACM (JACM)
Search Algorithms Under Different Kinds of Heuristics—A Comparative Study
Journal of the ACM (JACM)
Best first search in and/or graphs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A flexible interactive control structure for rule-based systems
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
A methodology for multiple rule system integration and resolutions within a singular knowledge base
CSC '87 Proceedings of the 15th annual conference on Computer Science
Heuristic search in networks with modifiable estimate
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
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Implemention of parallel Prolog on tree machines
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A technique for comparing search algorithm run-times
CSC '86 Proceedings of the 1986 ACM fourteenth 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
A linguistic geometry for technology transfer
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Experiences in developing in object-oriented modeling environment for manufacturing systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Data integration using similarity joins and a word-based information representation language
ACM Transactions on Information Systems (TOIS)
Parallel Search of Strongly Ordered Game Trees
ACM Computing Surveys (CSUR)
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
An application of artificial intelligence to operations research
Communications of the ACM
Dynamic Task Scheduling Using Online Optimization
IEEE Transactions on Parallel and Distributed Systems
ACM president's letter: the challenge of the fifth generation
Communications of the ACM
A minimum cost path search algorithm through tile obstacles
Proceedings of the 2001 international symposium on Physical design
Technical correspondence: on price/performance in U.S. computer systems
Communications of the ACM
Technical correspondence: measuring the level of computerization in a country
Communications of the ACM
Technical corrections: Onspelling correction and beyond
Communications of the ACM
Computing the nxm shortest path efficiently
Journal of Experimental Algorithmics (JEA)
Coarse-to-Fine Dynamic Programming
IEEE Transactions on Pattern Analysis and Machine Intelligence
Artificial intelligence implications for information retrieval
SIGIR '83 Proceedings of the 6th annual international ACM SIGIR conference on Research and development in information retrieval
Adaptive dynamic scene analysis
Imaging and vision systems
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Algorithmics and applications of tree and graph searching
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Approximate Match of Rules Using Backpropagation Neural Networks
Machine Learning
Statistical cross-language information retrieval using n-best query translations
SIGIR '02 Proceedings of the 25th annual international ACM SIGIR conference on Research and development in information retrieval
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Afterword: from this revolution to the next
Smart machines in education
Range nesting: a fast method to evaluate quantified queries
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Heuristic allocation based on a dynamic programming state-space representation
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the 9th International Congress on computational and applied mathematics
On the asymptotic performance of IDA*
Annals of Mathematics and Artificial Intelligence
An ordering on subgoals for planning
Annals of Mathematics and Artificial Intelligence
A propositional theorem prover to solve planning and other problems
Annals of Mathematics and Artificial Intelligence
Planning and Control in Artificial Intelligence: A Unifying Perspective
Applied Intelligence
An Approximate Solution of a Variational Problem by the Shortest Path Method
Automation and Remote Control
A Study of Two Sampling Methods for Analyzing Large Datasets with ILP
Data Mining and Knowledge Discovery
Genetic Programming and Evolvable Machines
Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning
Journal of Intelligent and Robotic Systems
Plan-N-Scan: A Robotic System for Collision-Free Autonomous Exploration and Workspace Mapping
Journal of Intelligent and Robotic Systems
Search Heuristics for Box Decomposition Methods
Journal of Global Optimization
Collaborative Multimedia Presentations in Mobile Environments
Multimedia Tools and Applications
Using simulated annealing to obtain optimal linear end-member mixtures of hyperspectral data
Computers & Geosciences
The DARPA Advanced Logistics Project
Annals of Mathematics and Artificial Intelligence
Temporal Reasoning for a Collaborative Planning Agent in a Dynamic Environment
Annals of Mathematics and Artificial Intelligence
Diagnosis Strategies for Hardware or Software Systems
Journal of Electronic Testing: Theory and Applications
Efficient Multiplexer Synthesis Techniques
IEEE Design & Test
Graph Partitioning Using Learning Automata
IEEE Transactions on Computers
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
An Intelligent Search Method for Query Optimization by Semijoins
IEEE Transactions on Knowledge and Data Engineering
On the Multiple-Query Optimization Problem
IEEE Transactions on Knowledge and Data Engineering
Parallel Rule Firing in Production Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
An Expectation-Driven Response Understanding Paradigm
IEEE Transactions on Knowledge and Data Engineering
Explicit Graphs in a Functional Model for Spatial Databases
IEEE Transactions on Knowledge and Data Engineering
Rule-Based System Validation through Automatic Identification of Equivalence Classes
IEEE Transactions on Knowledge and Data Engineering
A Framework for Learning in Search-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Structured Development of Problem Solving Methods
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Presentation Planning for Distributed VoD Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
A Speech Understanding and Dialog System with a Homogeneous Linguistic Knowledge Base
IEEE Transactions on Pattern Analysis and Machine Intelligence
IEEE Transactions on Pattern Analysis and Machine Intelligence
Interleaving a Join Sequence with Semijoins in Distributed Query Processing
IEEE Transactions on Parallel and Distributed Systems
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
A Case Study: Acquiring Strategic Knowledge for Expert System Development
IEEE Expert: Intelligent Systems and Their Applications
Parallel Rule-Based Fuzzy Inference on Mesh-Connected Systolic Arrays
IEEE Expert: Intelligent Systems and Their Applications
Planning for Space Telerobotics: The Remote Mission Specialist
IEEE Expert: Intelligent Systems and Their Applications
Imbedding Rule Inferencing in Applications
IEEE Expert: Intelligent Systems and Their Applications
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
UVT: A Unification-Based Tool for Knowledge Base Verification
IEEE Expert: Intelligent Systems and Their Applications
IEEE Intelligent Systems
A taxonomy of scheduling in general-purpose distributed computing systems
IEEE Transactions on Software Engineering
Specification and Analysis of Real-Time Problem Solvers
IEEE Transactions on Software Engineering
Chunking in Soar: The Anatomy of a General Learning Mechanism
Machine Learning
Explanation-Based Generalization: A Unifying View
Machine Learning
An algorithm using length-r paths to approximate subgraph isomorphism
Pattern Recognition Letters
A Knowledge Representation Model for Multiuser Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
Combining Joint and Semi-Join Operations for Distributed Query Processing
IEEE Transactions on Knowledge and Data Engineering
Selection of Views to Materialize Under a Maintenance Cost Constraint
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Symbolic Heuristic Search Using Decision Diagrams
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
A Comparison of Algorithms for Maximum Common Subgraph on Randomly Connected Graphs
Proceedings of the Joint IAPR International Workshop on Structural, Syntactic, and Statistical Pattern Recognition
Anatomy of a Mudular Multiple Query Optimizer
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Partial Order Reduction in Directed Model Checking
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
GraphDB: Modeling and Querying Graphs in Databases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Assessing the Computational Effort for Structural 3D Vehicle Recognition
Proceedings of the Joint IAPR International Workshops on Advances in Pattern Recognition
Modelling Intelligent Behaviour: The Markov Decision Process Approach
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Scheduling as Heuristic Search with State Space Reduction
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Scalable and Dynamic Grouping of Continual Queries
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
FORK: A System for Object- and Rule-Oriented Programming
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Knowledge Representation in Planning: A PDDL to OCLh Translation
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Maximum Flows and Critical Vertices in AND/OR Graphs
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Using Approximation Hardness to Achieve Dependable Computation
RANDOM '98 Proceedings of the Second International Workshop on Randomization and Approximation Techniques in Computer Science
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Solving Kriegspiel-Like Problems: Examining Efficient Search Methods
CG '00 Revised Papers from the Second International Conference on Computers and Games
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
On Constrained Minimum Vertex Covers of Bipartite Graphs: Improved Algorithms
WG '01 Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science
Perceptual Components for Context Aware Computing
UbiComp '02 Proceedings of the 4th international conference on Ubiquitous Computing
Agents' Interaction in Virtual Storytelling
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
A Bottom-Up Approach to Multimedia Teachware
ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
Where Is the Hole Punch? Object Localization Capabilities on a Specific Bureau Task
Proceedings of the 23rd DAGM-Symposium on Pattern Recognition
Heuristic Algorithms for Designing a Data Warehouse with SPJ Views
DaWaK '99 Proceedings of the First International Conference on Data Warehousing and Knowledge Discovery
Computing the n × m Shortest Paths Efficently
ALENEX '99 Selected papers from the International Workshop on Algorithm Engineering and Experimentation
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Systematic chemical process synthesis
Formal engineering design synthesis
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Theoretical Computer Science
Mental representation and processing of geographic knowledge
Artificial Intelligence
Performance of algorithms for initial placement
DAC '84 Proceedings of the 21st Design Automation Conference
The rectangle placement language
DAC '84 Proceedings of the 21st Design Automation Conference
The CRITTER system: Automated critiquing of digital circuit designs
DAC '84 Proceedings of the 21st Design Automation Conference
A new general triangulation method for planar contours
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
An effective graphics user interface for rules and inference mechanisms
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
VLSI architectures for high speed recognition of context-free languages and finite-state languages
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
MULTI - a LISP based multiprocessing system
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Verification system for formal requirements description
ICSE '82 Proceedings of the 6th international conference on Software engineering
Representation of factual information by equations and their evaluation
ICSE '82 Proceedings of the 6th international conference on Software engineering
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Microassembly and area reduction techniques for PLA microcode
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Automation of simulation model generation from system specifications
WSC '84 Proceedings of the 16th conference on Winter simulation
Integrating knowledge in problem solving search procedures
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Simulation of phonemic errors using artificial intelligence symbol processing techniques
ANSS '84 Proceedings of the 17th annual symposium on Simulation
Intelligent Heterogeneous Multimedia and Intelligent Active Visual DB and KB
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
First order heterogeneous agent computations
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Locating moving entities in indoor environments with teams of mobile robots
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
SAT-based planning in complex domains: concurrency, constraints and nondeterminism
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Contingent planning under uncertainty via stochastic satisfiability
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
Lessons learned from a second generation assembly planning system
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
A New Cell-subdivision Approach to Plan Free Translations in Cluttered Environments
Journal of Intelligent and Robotic Systems
Learning attack strategies from intrusion alerts
Proceedings of the 10th ACM conference on Computer and communications security
Automatic knowledge acquisition in a digital circuit design system
EURO-DAC '90 Proceedings of the conference on European design automation
ACM SIGKDD Explorations Newsletter
Online Recognition of Chinese Characters: The State-of-the-Art
IEEE Transactions on Pattern Analysis and Machine Intelligence
Statistical Models for Monolingual and Bilingual Information Retrieval
Information Retrieval
Learning Generalized Policies from Planning Examples Using Concept Languages
Applied Intelligence
Constrained minimum vertex cover in bipartite graphs: complexity and parameterized algorithms
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
Mathematical Structures in Computer Science
An intelligent collision avoidance system for AUVs using fuzzy relational products
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Informatics and computer science intelligent systems applications
Integrating text planning and linguistic choice without abandoning modularity: the IGEN generator
Computational Linguistics
ANLC '88 Proceedings of the second conference on Applied natural language processing
Applying integer programming to AI planning
The Knowledge Engineering Review
A natural language interface using a world model
EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
Decoding algorithm in statistical machine translation
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Natural, language information retrieval system dialog
EACL '83 Proceedings of the first conference on European chapter of the Association for Computational Linguistics
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
Perspectives on parsing issues
ACL '81 Proceedings of the 19th annual meeting on Association for Computational Linguistics
ACM SIGCSE Bulletin
DCKR: knowledge representation in prolog and its application to natural language processing
COLING '86 Proceedings of the 11th coference on Computational linguistics
Understanding of stories for animation
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
A (Sub)Graph Isomorphism Algorithm for Matching Large Graphs
IEEE Transactions on Pattern Analysis and Machine Intelligence
An Effective Near-Optimal State-Space Search Method: An Application to a Scheduling Problem
Artificial Intelligence Review
Proceedings of the 12th annual ACM international conference on Multimedia
Learning diagnostic policies from examples by systematic search
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Selection of Views to Materialize in a Data Warehouse
IEEE Transactions on Knowledge and Data Engineering
Conformant planning via symbolic model checking and heuristic search
Artificial Intelligence
The Journal of Supercomputing
Is probabilistic congestion estimation worthwhile?
Proceedings of the 2005 international workshop on System level interconnect prediction
Reasonable breadth-biased: A algorithms
ACM SIGART Bulletin
Knowledge-based expert systems: a brief bibliography
ACM SIGART Bulletin
Substructure similarity search in graph databases
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
An A* algorithm for very large vocabulary continuous speech recognition
HLT '91 Proceedings of the workshop on Speech and Natural Language
Learning policies for sequential time and cost sensitive classification
UBDM '05 Proceedings of the 1st international workshop on Utility-based data mining
A capability maturity model for knowledge-based decisionmaking
Information-Knowledge-Systems Management
Formation Planning and Control of UGVs with Trailers
Autonomous Robots
The GENISYS data definition facilities
SSDBM'83 Proceedings of the 2nd international workshop on Proceedings of the Second International Workshop on Statistical Database Management
Finding optimal satisficing strategies for and-or trees
Artificial Intelligence
Metacognition in computation: a selected research review
Artificial Intelligence
SMDS: a top-down approach to self-management for dynamic collaboration systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Strong planning under partial observability
Artificial Intelligence
Modeling and querying moving objects in networks
The VLDB Journal — The International Journal on Very Large Data Bases
Differences between novice and expert systems analysts: what do we know and what do we do?
Journal of Management Information Systems
Feature-based similarity search in graph structures
ACM Transactions on Database Systems (TODS)
AND/OR search spaces for graphical models
Artificial Intelligence
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Shape modeling and matching in identifying protein structure from low-resolution images
Proceedings of the 2007 ACM symposium on Solid and physical modeling
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
ACM SIGARCH Computer Architecture News - Special issue on the 2006 reconfigurable and adaptive architecture workshop
IEEE Transactions on Computers
Exploiting functional dependencies in declarative problem specifications
Artificial Intelligence
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
Computing the throughput of Concatenation State Machines
Journal of Discrete Algorithms
CADeComp: Context-aware deployment of component-based applications
Journal of Network and Computer Applications
Policy-based self-adaptive architectures: a feasibility study in the robotics domain
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Agent-based distributed architecture for mobile robot control
Engineering Applications of Artificial Intelligence
Shape modeling and matching in identifying 3D protein structures
Computer-Aided Design
Mathematical Structures in Computer Science
Visual search light model for mental problem solving
Neurocomputing
Best-First AND/OR Search for 0/1 Integer Programming
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
ECML '07 Proceedings of the 18th European conference on Machine Learning
Computers and Operations Research
V-Compiler: a next-generation tool for microprogramming
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Task decomposition on abstract states, for planning under nondeterminism
Artificial Intelligence
Robotics and Autonomous Systems
A hierarchical approach to recognition of handwritten Bangla characters
Pattern Recognition
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Optimal Privacy-Aware Path in Hippocratic Databases
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Linear connectivity problems in directed hypergraphs
Theoretical Computer Science
A theoretic and practical framework for scheduling in a stochastic environment
Journal of Scheduling
Leaf classification using navigation-based skeletons
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Mixed deterministic and probabilistic networks
Annals of Mathematics and Artificial Intelligence
Engineering Self-Adaptive Systems through Feedback Loops
Software Engineering for Self-Adaptive Systems
Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies
Software Engineering for Self-Adaptive Systems
Weighted A∗ search -- unifying view and application
Artificial Intelligence
Planning Long Dynamically Feasible Maneuvers for Autonomous Vehicles
International Journal of Robotics Research
Dynamic and communicative teaching methods with artificial intelligence techniques support
EE'08 Proceedings of the 5th WSEAS/IASME international conference on Engineering education
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
An Information Roadmap Method for Robotic Sensor Path Planning
Journal of Intelligent and Robotic Systems
Teleo-reactive programs for agent control
Journal of Artificial Intelligence Research
Analysis of strategic knowledge in back of the envelope reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
State agnostic planning graphs and the application to belief-space planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Best-first AND/OR search for graphical models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Generating plans in concurrent, probabilistic, over-subscribed domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
On reasonable and forced goal orderings and their use in an agenda-driven planning algorithm
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Conformant planning via symbolic model checking
Journal of Artificial Intelligence Research
An approximate 0-1 edge-labeling algorithm for constrained bin-packing problem
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Integrating learning from examples into the search for diagnostic policies
Journal of Artificial Intelligence Research
Planning graph heuristics for belief space search
Journal of Artificial Intelligence Research
The generalized A* architecture
Journal of Artificial Intelligence Research
Online planning algorithms for POMDPs
Journal of Artificial Intelligence Research
AND/OR multi-valued decision diagrams (AOMDDs) for graphical models
Journal of Artificial Intelligence Research
A heuristic search approach to planning with continuous resources in stochastic domains
Journal of Artificial Intelligence Research
Solving #SAT and Bayesian inference with backtracking search
Journal of Artificial Intelligence Research
Practical methods for proving termination of general logic programs
Journal of Artificial Intelligence Research
Accelerating partial-order planners: some techniques for effective search control and pruning
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
Plan synthesis: a logical perspective
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
An application of AI techniques to structuring objects into an optimal conceptual hierarchy
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Heuristic search theory: survey of recent results
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Some remarks on heuristic search algorithms
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Model-based probabilistic reasoning for electronics troubleshooting
IJCAI'83 Proceedings of the Eighth 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
Planning using a temporal world model
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
The statistical inference method in heuristic search techniques
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
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
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A: an efficient near admissible heuristic search algorithm
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A weighted technique in heuristic search
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
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
An analysis of consecutively bounded depth-first search with applications in automated deduction
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
Minimizing response times in real time planning and search
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A computational framework for granularity and its application to educational diagnosis
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
PHI: a logic-based tool for intelligent help systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Case retrieval through multiple indexing and heuristic search
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
PLANLOG: a language framework for the integration of procedural and logical programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Strategies for learning search control rules: an explanation-based approach
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Noise and knowledge acquisition
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
DANTES: an expert system for real-time network troubleshooting
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Performance in practical problem solving
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Reasoning by cases and the formation of conditional programs
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Controlling production firing: the FCL language
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A comparison of analytic and experimental goal regression for machine learning
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Generating rules from examples
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Planning for gene regulatory network intervention
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Best-first utility-guided search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Hierarchical heuristic forward search in Stochastic domains
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
AEMS: an anytime online search algorithm for approximate policy refinement in large POMDPs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A methodology for proving termination of general logic programs
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Coordination of action and perception in a surveillance robot
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Moving containers in small terminal as STRIPS planning problem
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Scoring functions of approximation of STRIPS planning by linear programming
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Factorization of combinatorial problems with blocking meta-heuristics
ECC'09 Proceedings of the 3rd international conference on European computing conference
Fast track article: Game-based e-retailing in GOLEM agent environments
Pervasive and Mobile Computing
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Learning admissible heuristics while solving problems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Multi-agent robot systems as distributed autonomous systems
Advanced Engineering Informatics
Discourse planning as an optimization process
INLG '94 Proceedings of the Seventh International Workshop on Natural Language Generation
Total-order planning with partially ordered subtasks
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Partitioning activities for agents
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
Dynamic semantics for tense and aspect
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The focussed D* algorithm for real-time replanning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Inductive learning of search control rules for planning
Artificial Intelligence
Field review: Metacognition in computation: A selected research review
Artificial Intelligence
Finding optimal satisficing strategies for and-or trees
Artificial Intelligence
Strong planning under partial observability
Artificial Intelligence
Intensional dynamic programming. A Rosetta stone for structured dynamic programming
Journal of Algorithms
A new perspective on efficient and dependable vehicle routing
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Attributed relational graph matching based on the nested assignment structure
Pattern Recognition
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Decoding of a block code by using list or listless algorithms
WOC '08 Proceedings of the Eighth IASTED International Conference on Wireless and Optical Communications
High-speed planning and reducing memory usage of a precomputed search tree using pruning
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Developing visual sensing strategies through next best view planning
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
FAHR: focused A* heuristic recomputation
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
A coarse-to-fine approach for fast path finding for mobile robots
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
A comparison of three maximum common subgraph algorithms on a large database of labeled graphs
GbRPR'03 Proceedings of the 4th IAPR international conference on Graph based representations in pattern recognition
VIEW'06 Proceedings of the 1st first visual information expert conference on Pixelization paradigm
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
Exploiting problem decomposition in multi-objective constraint optimization
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Deterministic POMDPs revisited
UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence
Research on the diagnosis method of crop pests and diseases based on the heuristic search
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 2
Efficient algorithms for node disjoint subgraph homeomorphism determination
DASFAA'08 Proceedings of the 13th international conference on Database systems for advanced applications
2006: celebrating 75 years of AI - history and outlook: the next 25 years
50 years of artificial intelligence
Hierarchical path planning for situated agents in informed virtual geographic environments
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Exploring synergies between digital tv recommender systems and electronic health records
Proceedings of the 8th international interactive conference on Interactive TV&Video
DES modelling and control vs. problem solving methods
International Journal of Intelligent Information and Database Systems
3D path planning with novel multiple 2D layered approach for complex human-robot interaction
CIRA'09 Proceedings of the 8th IEEE international conference on Computational intelligence in robotics and automation
Solving non-deterministic planning problems with pattern database heuristics
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Learning-based robot vision: principles and applications
Learning-based robot vision: principles and applications
A model of two-player evaluation punctions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A parallel implementation of iterative-deepening-A
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The satisfiability of temporal constraint networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Formulating concepts according to purpose
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A model of two-player evaluation punctions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A parallel implementation of iterative-deepening-A
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The satisfiability of temporal constraint networks
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Formulating concepts according to purpose
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Integrating grid-based and topological maps for mobile robot navigation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Anytime synthetic projection: maximizing the probability of goal satisfaction
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Admissible criteria for loop control in planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
ABTWEAK: abstracting a nonlinear, least commitment planner
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Path-focused duplication: a search procedure for general matings
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Combining opinions about the order of rule execution
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
On the NP-ardness of blocks world
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Complexity results for blocks-world planning
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Explanation-based generalization of partially ordered plans
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
A statistical approach to solving the EBL utility problem
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Computation of upper-bounds for stochastic context-free languages
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
On the complexity of domain-independent planning
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Can real-time search algorithms meet deadlines?
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
An optimizing method for structuring inferentially linked discourse
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Generating effective admissible heuristics by abstraction and reconstitution
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Pruning duplicate nodes in depth-first search
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Planning interventions in biological networks
ACM Transactions on Intelligent Systems and Technology (TIST)
Knowledge-Based Systems
Concepts for computer assisted engineering process management
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Exploiting graph properties of game trees
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
ProGolem: a system based on relative minimal generalisation
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
Artificial Intelligence
Best-first heuristic search for multicore machines
Journal of Artificial Intelligence Research
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
Torc: towards an open-source tool flow
Proceedings of the 19th ACM/SIGDA international symposium on Field programmable gate arrays
Crime Travel Demand and Bank Robberies
Social Science Computer Review
ICS'10 Proceedings of the 14th WSEAS international conference on Systems: part of the 14th WSEAS CSCC multiconference - Volume II
Mechanism approach to artificial intelligence and emotion research
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Optimizing in-network aggregate queries in wireless sensor networks for energy saving
Data & Knowledge Engineering
An algebra of product families
Software and Systems Modeling (SoSyM)
Pattern rewriting framework for event processing optimization
Proceedings of the 5th ACM international conference on Distributed event-based system
Tree search and quantum computation
Quantum Information Processing
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
R&D analyst: an interactive approach to normative decision system model construction
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Optimal scheduling with heuristic best first search
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
SSPR'06/SPR'06 Proceedings of the 2006 joint IAPR international conference on Structural, Syntactic, and Statistical Pattern Recognition
Knowledge theory and artificial intelligence
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
Neural networks for mobile robot navigation: a survey
ISNN'06 Proceedings of the Third international conference on Advnaces in Neural Networks - Volume Part II
Contextual learning in the neurosolver
ICANN'06 Proceedings of the 16th international conference on Artificial Neural Networks - Volume Part I
Feature selection for graph-based image classifiers
IbPRIA'05 Proceedings of the Second Iberian conference on Pattern Recognition and Image Analysis - Volume Part II
The temporal knapsack problem and its solution
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Soft-device inheritance in the knowledge grid
AIS-ADM 2005 Proceedings of the 2005 international conference on Autonomous Intelligent Systems: agents and Data Mining
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
Kuaba ontology: design rationale representation and reuse in model-based designs
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Complexity of linear connectivity problems in directed hypergraphs
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Truly adaptive optimization: the basic ideas
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
FM'06 Proceedings of the 14th international conference on Formal Methods
Predicting exceptions in agent-based supply-chains
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
An efficient resource allocation approach in real-time stochastic environment
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
Partial-Order reduction for general state exploring algorithms
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Intelligent tutorial planning based on extended knowledge structure graph
Edutainment'06 Proceedings of the First international conference on Technologies for E-Learning and Digital Entertainment
Engineering Applications of Artificial Intelligence
Importance sampling-based estimation over AND/OR search spaces for graphical models
Artificial Intelligence
Topological value iteration algorithms
Journal of Artificial Intelligence Research
Stochastic enforced hill-climbing
Journal of Artificial Intelligence Research
Self-supervised terrain classification for planetary surface exploration rovers
Journal of Field Robotics
Improving search efficiency using possible subgoals
Mathematical and Computer Modelling: An International Journal
Resolution vs. cutting plane solution of inference problems: Some computational experience
Operations Research Letters
Image segmentation using fuzzy logic, neural networks and genetic algorithms: survey and trends
Machine Graphics & Vision International Journal
The role of identity in agent design
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode
Fundamenta Informaticae - SPECIAL ISSUE ON DEVELOPMENTS IN GRAMMAR SYSTEMS
Models For Dependable Computation with Multiple Inputs and Some Hardness Results
Fundamenta Informaticae
Context Hypothesization Using Probabilistic Knowledge
Fundamenta Informaticae
Algorithms for generating ordered solutions for explicit and/or structures
Journal of Artificial Intelligence Research
Monte-Carlo tree search parallelisation for computer go
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Inexact subgraph isomorphism in MapReduce
Journal of Parallel and Distributed Computing
Application of the fast marching method for outdoor motion planning in robotics
Robotics and Autonomous Systems
Robotics and Autonomous Systems
Proceedings of the Winter Simulation Conference
Image-scenarization: from conceptual models to executable simulation
Proceedings of the Winter Simulation Conference
Image-scenarization: a computer-aided approach for agent-based analysis and design
Proceedings of the Winter Simulation Conference
Anytime algorithms for biobjective heuristic search
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Goal distance estimation for automated planning using neural networks and support vector machines
Natural Computing: an international journal
Survey on assembly sequencing: a combinatorial and geometrical perspective
Journal of Intelligent Manufacturing
Planning in the large: efficient generation of IT change plans on large infrastructures
Proceedings of the 8th International Conference on Network and Service Management
When classification becomes a problem: using branch-and-bound to improve classification efficiency
MLDM'13 Proceedings of the 9th international conference on Machine Learning and Data Mining in Pattern Recognition
Predicting the size of depth-first branch and bound search trees
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Bootstrap learning via modular concept discovery
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial 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
Heuristic search when time matters
Journal of Artificial Intelligence Research
Iterative-deepening search with on-line tree size prediction
Annals of Mathematics and Artificial Intelligence
Machine Vision and Applications
Vector-Value Markov Decision Process for multi-objective stochastic path planning
International Journal of Hybrid Intelligent Systems
Hi-index | 0.18 |