A Machine-Oriented Logic Based on the Resolution Principle
The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
What this paper cites, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| A Computing Procedure for Quantification Theory | 1960 | 2,623 |
What cites it, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| A logic for default reasoning | 1980 | 3,943 |
| Understanding natural language | 1972 | 2,846 |
| Markov logic networks | 2006 | 2,684 |
| SOAR: An architecture for general intelligence | 1987 | 2,425 |
| The Definition of Standard ML | 1997 | 2,415 |
| A theory of type polymorphism in programming | 1978 | 2,214 |
| On understanding types, data abstraction, and polymorphism | 1985 | 1,681 |
| Inductive Logic Programming: Theory and methods | 1994 | 1,554 |
| The Semantics of Predicate Logic as a Programming Language | 1976 | 1,464 |
| Inverse entailment and progol | 1995 | 1,417 |
| Simple Word Problems in Universal Algebras | 1983 | 1,387 |
Links
Topics
| Logic, Reasoning, and Knowledge | Computer Science |
| Logic, programming, and type systems | Computer Science |
| Semantic Web and Ontologies | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports1 author record(s) attached.
- supports5 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 bba2969b3567609a…