AMORD: A Deductive Procedure System
Published 1 January 1978
Johan de Kleer, Jon Doyle, Charles Rich, Guy L. Steele, Gerald Jay Sussman
Citations34
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology with support from the Advanced Research Projects Agency of the Department of Defense and Office of Naval Research.
Abstract
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643.
Keywords
Computer Science