Issues in Automated Reasoning

Belief Functions

Combining Opinions About the Order of Rule Execution
Jeffrey A. Barnett
477
PDF
Conditions for the Existence of Belief Functions Corresponding to Intervals of Belief
John F. Lemmer, Henry E. Kyburg, Jr.
488
PDF
Explanation, Irrelevance, and Statistical Independence
Solomon E. Shimony
482
PDF

General Deduction Systems

Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics
Ricardo Caferra, Stephane Demri, Michel Herment
421
PDF
Mechanization of Analytic Reasoning About Sets
Alan F. McMichael
427
PDF

Search

A New Admissible Heuristic for Minimal-Cost Proofs
Eugene Charniak, Saadia Husain
446
PDF
Depth-First Versus Best-First Search
Nageshwara Rao Vempaty, Vipin Kumar, Richard E. Korf
434
PDF
Is There any Need for Domain-Dependent Control Information?
Matthew L. Ginsberg, Donald F. Geddis
452
PDF
Optimal Satisficing Tree Searches
Dan Geiger, Jeffrey A. Barnett
441
PDF

Terminological Reasoning

Concept Languages as Query Languages
Maurizio Lenzerini, Andrea Schaerf
471
PDF
Deduction as Parsing: Tractable Classification in the KL-ONE Framework
Marc Vilain
464
PDF
Integrating Rules in Term Subsumption Knowledge Representation Servers
Brian R. Gaines
458
PDF

Truth Maintenance Systems

ACP: Reason Maintenance and Inference Control for Constraint Propagation Over Intervals
Walter Hamscher
506
PDF
An Efficient First-Order Horn-Clause Abduction System Based on the ATMS
Hwee Tou Ng, Raymond J. Mooney
494
PDF
Controlling Inequality Reasoning in a TMS-Based Analog Diagnosis System
David Jerald Goldstone
512
PDF
The Common Order-Theoretic Structure of Version Spaces and ATMS’s (Extended Abstract)
Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, Devika Subramanian
500
PDF