A Semantically Guided Deductive System for Automatic Theorem Proving

By Raymond Reiter. 1973

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Daniel Khashabi
2. Tushar Khot
3. Dan Roth
4. Swaroop Mishra
5. Shyam Upadhyay
6. Ashish Sabharwal
7. Snigdha Chaturvedi
8. Michael Roth

Citations in the corpus

• Looking Beyond the Surface: A Challenge Set for Reading Comprehension over Multiple Sentences (2018, background): “is a fundamental challenge in AI and it has received significant attention throughout the history of AI (Greene, 1959; McCarthy, 1976; Reiter, 1976; Winograd, 1980).”
• Mental Models in Cognitive Science (1980, unknown): “1975; Braine, 1978) and artificial intelligencers (see Bledsoe, Boger & Henneman, 1972; Reiter, 1973).”