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
Citation edge evidence
- A logic for default reasoning→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- Understanding natural language→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- Markov logic networks→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- SOAR: An architecture for general intelligence→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- The Definition of Standard ML→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- A theory of type polymorphism in programming→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- On understanding types, data abstraction, and polymorphism→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- Inductive Logic Programming: Theory and methods→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- The Semantics of Predicate Logic as a Programming Language→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- Inverse entailment and progol→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- Simple Word Problems in Universal Algebras→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
- A Machine-Oriented Logic Based on the Resolution Principle→A Computing Procedure for Quantification TheoryLegacy edge — source detail unavailable
- The Definition of Standard ML→A theory of type polymorphism in programmingLegacy edge — source detail unavailable
- On understanding types, data abstraction, and polymorphism→A theory of type polymorphism in programmingLegacy edge — source detail unavailable
- Inverse entailment and progol→Inductive Logic Programming: Theory and methodsLegacy edge — source detail unavailable
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
Download BibTeX · Download RIS · DOI · Open access copy · OpenAlex record
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…