Planning and meta-planning (MOLGEN: Part 2)

References

Page 1

	Year	Citations
A Cognitive Model of Planning* Barbara Hayes‐Roth, Frederick Hayes‐Roth Cognitive Science CognitionTask PlanningSocial SciencesCognitive ArchitectureCognitive Development	1979	1.2K
Planning in a hierarchy of abstraction spaces Earl D. Sacerdoti Artificial Intelligence Artificial IntelligenceEngineeringAi PlanningAutomated ReasoningAutomation	1974	1.2K
An Overview of KRL, a Knowledge Representation Language Daniel G. Bobrow, Terry Winograd Cognitive Science EngineeringKnowledge Representation LanguageKnowledge-based ReasoningSemanticsSemantic Web	1977	895
Planning with constraints (MOLGEN: Part 1) Mark Stefik Artificial Intelligence Mathematical ProgrammingPlanning TheoryPart 1EngineeringAi Planning	1981	814
An examination of a frame-structured representation system Mark Stefik Artificial IntelligenceEngineeringIntelligent SystemsKnowledge-based ReasoningSemantics	1979	89
Experiments with a Heuristic Compiler Herbert A. Simon Journal of the ACM Heuristic CompilerEngineeringCompiler TechnologyBibliometricsComputational Complexity	1963	66
Rule-based understanding of signals H. Penny Nii, Edward A. Feigenbaum ACM SIGART Bulletin EngineeringProduction Rule RepresentationSignal RecognitionPattern-invoked Inference MethodsData Science	1977	52
A network-based knowledge representation and its natural deduction system Richard Fikest, Gary G. Hendrix International Joint Conference on Artificial Intelligence EngineeringKnowledge-based ReasoningSemanticsSemantic WebFormal Verification	1977	45
A knowledge-based system for automatic program construction D Barstow International Joint Conference on Artificial Intelligence Automatic Program ConstructionEngineeringAutomated ReasoningProgram AnalysisAutomatic Programming	1977	32
Generalized procedure calling and content-directed invocation Randall Davis EngineeringVerificationEvaluation StrategySoftware AnalysisFormal Verification	1977	24

Page 1