Soundness and completeness of a synthesis algorithm based on example computations
Journal of the ACM (JACM)
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Explanation-based learning: a survey of programs and perspectives
ACM Computing Surveys (CSUR)
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
Negotiation behavior during requirements specification
ICSE '90 Proceedings of the 12th international conference on Software engineering
Equate: an object-oriented constraint solver
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Model-based integration of planning and learning
ACM SIGART Bulletin
The role of critiquing in cooperative problem solving
ACM Transactions on Information Systems (TOIS) - Special issue on computer—human interaction
Journal of Symbolic Computation - Special issue on automatic programming
Goal-based process analysis: a method for systematic process redesign
COCS '93 Proceedings of the conference on Organizational computing systems
Applying AI models to the design of exploratory hypermedia systems
HYPERTEXT '93 Proceedings of the fifth ACM conference on Hypertext
Evaluating planners, plans, and planning agents
ACM SIGART Bulletin
Knowledge-level analysis of planning systems
ACM SIGART Bulletin
An intelligent modeling system for simulation manufacturing processes
WSC '87 Proceedings of the 19th conference on Winter simulation
ANSS '86 Proceedings of the 19th annual symposium on Simulation
A theory of nonmonotonic planning
CSC '91 Proceedings of the 19th annual conference on Computer Science
Runtime plan adaptation in structured reactive controllers
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Communications of the ACM
Planning Intelligent Responses in a Natural Language System
Artificial Intelligence Review - Special issue on intelligent help systems for Unix part III: natural language dialogue
intelligence
The evolution of programs: a system for automatic program modification
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A heuristic technique for multi-agent planning
Annals of Mathematics and Artificial Intelligence
AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge
IEEE Transactions on Knowledge and Data Engineering
Chunking in Soar: The Anatomy of a General Learning Mechanism
Machine Learning
Probabilistic, Prediction-Based Schedule Debugging for Autonomous Robot Office Couriers
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
An architecture for application of artificial intelligence to design
DAC '84 Proceedings of the 21st Design Automation Conference
The evolution of programs: Program abstraction and instantiation
ICSE '81 Proceedings of the 5th international conference on Software engineering
The synthesis of structure-changing programs
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Reconstruction of algorithms from memory snapshots of their execution
ACM '76 Proceedings of the 1976 annual conference
A model and an implementation of a logic programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
AMORD explicit control of reasoning
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Social implications of intelligent machines
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Medical Plan-Analysis by computer
ACM SIGBIO Newsletter
Artificial intelligence meets natural stupidity
ACM SIGART Bulletin
A deductive model of control of a problem solver
ACM SIGART Bulletin
A selected descriptor-indexed bibliography to the literature on belief revision
ACM SIGART Bulletin
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Metacognition in computation: a selected research review
Artificial Intelligence
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Kantian Philosophy of Mathematics and Young Robots
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
The well-designed young mathematician
Artificial Intelligence
Creating Brain-Like Intelligence
MABLE: a framework for learning from natural instruction
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Using Meta-reasoning to Improve the Performance of Case-Based Planning
ICCBR '09 Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Planning for contingencies: a decision-based approach
Journal of Artificial Intelligence Research
A principled approach towards symbolic geometric constraint satisfaction
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Structured planning and debugging
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
Failure-driven reminding for incremental learning
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
AUTOPILOT: a distributed planner for air fleet control
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Recognizing intended meaning and speakers' plans
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Plan synthesis: a logical perspective
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Diagnostic reasoning in software fault localization
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Medical plan-analysis: the attending system
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Mechanization of an oracle in a debugging system
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Towards automatic error recovery in robot programs
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
SPAN: integrating problem-solving tactics
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Temporal reasoning involving counterfactnais and disjunctions
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
An adaptive model of decision-making in planning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Simulating student programmers
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Towards a theory of conflict detection and resolution in nonlinear plans
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
To encode or not to encode-1: linear planning
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Vocabularies for problem solver state descriptions
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
A learning system and its psychological implications
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Learning structural descriptions of grammar rules from examples
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Formal objects and feature associations in "ARGOS-II"
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A computational approach to the study of human skill acquisition
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Conversation as planned behavior
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Intelligent case selection and presentation
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
Symbolic execution in algorithm design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Heuristics for inductive learning
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Determining what to learn through component-task modeling
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Subgoal ordering and goal augmentation for heuristic problem solving
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Generate, test and debug: combining associational rules and causal models
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
On the thresholds of knowledge
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Plan debugging in an intentional system
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
The altricial-precocial spectrum for robots
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Planning under uncertainty some key issues
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Field review: Metacognition in computation: A selected research review
Artificial Intelligence
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
Situated agents can have goals
Robotics and Autonomous Systems
Concurrent reactive plans: anticipating and forestalling execution failures
Concurrent reactive plans: anticipating and forestalling execution failures
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Model-based diagnosis of planning failures
AAAI'90 Proceedings of the eighth 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
Learning from goal interactions in planning: goal stack analysis and generalization
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Planning and temporal reasoning under uncertainty
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
An evolutionary behavioral model for decision making
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
Automated outsourcing partnership management using semantic web services
CSCWD'05 Proceedings of the 9th international conference on Computer Supported Cooperative Work in Design II
Mathematical and Computer Modelling: An International Journal
Associative computer: a hybrid connectionistic production system
Cognitive Systems Research
Cognitive Systems Research
Automating the evaluation of planning systems
AI Communications
Hi-index | 0.02 |