Who Cited It

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

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

Richard Fikes, Nils J. Nilsson

No abstract in the source record.

Strips: A new approach to the application of theorem proving to problem solving (1971)Strips: A new approach to the…Problem-Solving Methods in Artificial Intelligence (1971)Problem-Solving Methods in Ar…Maintaining knowledge about temporal intervals (1983)Maintaining knowledge about t…Intelligent agents: theory and practice (1995)Intelligent agents: theory an…Towards a general theory of action and time (1984)Towards a general theory of a…A Roadmap of Agent Research and Development (1998)A Roadmap of Agent Research a…Qualitative process theory (1984)Qualitative process theoryIntention is choice with commitment (1990)Intention is choice with comm…The FF Planning System: Fast Plan Generation Through Heuristic Search (2001)The FF Planning System: Fast …PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains (2003)PDDL2.1: An Extension to PDDL…Plans and situated actions: The problem of human-machine communication (1990)Plans and situated actions: T…Software agents: an overview (1996)Software agents: an overviewFast planning through planning graph analysis (1997)Fast planning through plannin…How Can the Human Mind Occur in the Physical Universe? (2007)How Can the Human Mind Occur …
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

Citation edge evidence

Each row is directed from the citing work to the cited work. Source status remains readable without the interactive graph.

What this paper cites, inside the corpus

PaperYearCited
Problem-Solving Methods in Artificial Intelligence19711,622

What cites it, inside the corpus

PaperYearCited
Maintaining knowledge about temporal intervals19837,580
Intelligent agents: theory and practice19956,724
Towards a general theory of action and time19842,572
A Roadmap of Agent Research and Development19982,099
Qualitative process theory19842,039
Intention is choice with commitment19901,868
The FF Planning System: Fast Plan Generation Through Heuristic Search20011,859
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains20031,746
Plans and situated actions: The problem of human-machine communication19901,681
Software agents: an overview19961,591
Fast planning through planning graph analysis19971,562
How Can the Human Mind Occur in the Physical Universe?20071,497

Links

Download BibTeX · Download RIS · DOI · OpenAlex record

Topics

Logic, programming, and type systemsComputer Science
Logic, Reasoning, and KnowledgeComputer Science
Formal Methods in VerificationComputer 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…