Non-monotonic logic I

References

Page 1

	Year	Citations
Strips: A new approach to the application of theorem proving to problem solving Richard Fikes, Nils J. Nilsson Artificial Intelligence EngineeringAutomated ReasoningProof ComplexityFormal MethodsProof Assistant	1971	4K
A Machine-Oriented Logic Based on the Resolution Principle John A. Robinson Journal of the ACM Applied LogicComputational LogicEngineeringData ScienceAutomated Reasoning	1965	3.9K
The psychology of computer vision Patrick Henry Winston Pattern Recognition Early VisionCognitive ScienceMachine VisionEngineeringEye Tracking	1976	2.6K
Logic, Methodology and Philosophy of Science. Max Black, Ernest Nagel, Patrick Suppes, The Philosophical Review Formal LogicAutomated ReasoningPhilosophy Of LogicLogical AnalysisEpistemology	1963	2K
A truth maintenance system Jon Doyle Artificial Intelligence EngineeringDynamic Epistemic LogicAutomated ReasoningVerificationFormal Methods	1979	1.8K
Outline of a Theory of Truth Saul A. Kripke The Journal of Philosophy Philosophy Of LanguageAutomated ReasoningPhilosophy Of LogicDoxastic LogicEpistemology	1975	1.5K
Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis Richard Stallman, Gerald Jay Sussman Artificial Intelligence Logic SynthesisEngineeringCircuit DesignProgram AnalysisAutomated Reasoning	1977	708
Singular Terms, Truth-Value Gaps, and Free Logic Bas C. van Fraassen The Journal of Philosophy Automated ReasoningMany-valued LogicPhilosophy Of LogicSemanticsSingular Terms	1966	601
Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot Carl Hewitt Defense Technical Information Center (DTIC)	1972	318
The Justification of Deduction Susan Haack Mind Issue 337Deductive MethodAbductive ReasoningAutomated ReasoningLaw	1976	206

Page 1