STRIPS: a new approach to the application of theorem proving to problem solving
Richard Fikes, Nils J. Nilsson
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
- Intelligent agents: theory and practice→STRIPS: a new approach to the application of theorem proving to problem solvingLegacy edge — source detail unavailable
- Towards a general theory of action and time→STRIPS: a new approach to the application of theorem proving to problem solvingLegacy edge — source detail unavailable
- A Roadmap of Agent Research and Development→STRIPS: a new approach to the application of theorem proving to problem solvingLegacy edge — source detail unavailable
- Intention is choice with commitment→STRIPS: a new approach to the application of theorem proving to problem solvingLegacy edge — source detail unavailable
- Software agents: an overview→STRIPS: a new approach to the application of theorem proving to problem solvingLegacy edge — source detail unavailable
- STRIPS: a new approach to the application of theorem proving to problem solving→Problem-Solving Methods in Artificial IntelligenceLegacy edge — source detail unavailable
- Software agents: an overview→Intelligent agents: theory and practiceLegacy edge — source detail unavailable
- Software agents: an overview→Intention is choice with commitmentLegacy edge — source detail unavailable
- Intelligent agents: theory and practice→Towards a general theory of action and timeLegacy edge — source detail unavailable
- Intelligent agents: theory and practice→Intention is choice with commitmentLegacy edge — source detail unavailable
- A Roadmap of Agent Research and Development→Intelligent agents: theory and practiceLegacy edge — source detail unavailable
- Intention is choice with commitment→Towards a general theory of action and timeLegacy edge — source detail unavailable
What this paper cites, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| Problem-Solving Methods in Artificial Intelligence | 1971 | 1,622 |
What cites it, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| Intelligent agents: theory and practice | 1995 | 6,724 |
| Towards a general theory of action and time | 1984 | 2,572 |
| A Roadmap of Agent Research and Development | 1998 | 2,099 |
| Intention is choice with commitment | 1990 | 1,868 |
| Software agents: an overview | 1996 | 1,591 |
Links
Topics
| Logic, programming, and type systems | Computer Science |
| Software Testing and Debugging Techniques | Computer Science |
| Formal Methods in Verification | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports2 author record(s) attached.
- supports9 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 88a60cdbb94c6a13…