Strips: A new approach to the application of theorem proving to problem solving

1971 · Artificial Intelligence · 4,090 citations · 12 from inside this corpus

No abstract in the source record.

13 of 13 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

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
Problem-Solving Methods in Artificial Intelligence	1971	1,622

What cites it, inside the corpus

Paper	Year	Cited
Maintaining knowledge about temporal intervals	1983	7,580
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
Qualitative process theory	1984	2,039
Intention is choice with commitment	1990	1,868
The FF Planning System: Fast Plan Generation Through Heuristic Search	2001	1,859
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains	2003	1,746
Plans and situated actions: The problem of human-machine communication	1990	1,681
Software agents: an overview	1996	1,591
Fast planning through planning graph analysis	1997	1,562
How Can the Human Mind Occur in the Physical Universe?	2007	1,497

Links

DOI · OpenAlex record

Topics

Logic, programming, and type systems	Computer Science
Logic, Reasoning, and Knowledge	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.
supports18 reference(s) recorded.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:46+00:00.

sha256 bba2969b3567609a…