On the public citation graph
How to clear a block: A theory of plans
0 signed · 57 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-10009-1_25openalex-snapshot
Canonical forms and unification
inferredcites →https://doi.org/10.1007/978-3-642-81955-1_17openalex-snapshot
E-Resolution: Extension of Resolution to Include the Equality Relation
inferredcites →https://doi.org/10.1007/bf00244275openalex-snapshot
Automated deduction by theory resolution
inferredcites →https://doi.org/10.1016/0004-3702(71)90010-5openalex-snapshot
Strips: A new approach to the application of theorem proving to problem solving
inferredcites →https://doi.org/10.1016/0167-6423(87)90025-6openalex-snapshot
The origin of a binary-search paradigm
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50019-2openalex-snapshot
APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This…
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferredcites →https://doi.org/10.1145/357084.357090openalex-snapshot
A Deductive Approach to Program Synthesis
inferredcites →https://doi.org/10.1145/4904.4905openalex-snapshot
Special relations in automated deduction
inferredcites →https://doi.org/10.21236/ad0785031openalex-snapshot
Situations, Actions, and Causal Laws
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/10720246_18openalex-snapshot
Automata-Theoretic Approach to Planning for Temporally Extended Goals
inferred← citeshttps://doi.org/10.1007/10720246_20openalex-snapshot
Deductive Synthesis of Recursive Plans in Linear Logic
inferred← citeshttps://doi.org/10.1007/3-540-45484-5_5openalex-snapshot
Modeling and Programming Devices and Web Agents
inferred← citeshttps://doi.org/10.1007/3-540-45751-8_10openalex-snapshot
Integrating Function Application in State-Based Planning
inferred← citeshttps://doi.org/10.1007/3-540-45809-3_27openalex-snapshot
Proactive Instructions for Furniture Assembly
inferred← citeshttps://doi.org/10.1007/3-540-50939-9_143openalex-snapshot
Inductive proofs by resolution and paramodulation
inferred← citeshttps://doi.org/10.1007/3-540-56804-2_44openalex-snapshot
Constructive matching methodology: Formally creative or Intelligent inductive theorem proving?
inferred← citeshttps://doi.org/10.1007/3-540-58792-6_26openalex-snapshot
Introspective metatheoretic reasoning
inferred← citeshttps://doi.org/10.1007/3-540-58976-7_7openalex-snapshot
Constraint deduction in an interval-based temporal logic
inferred← citeshttps://doi.org/10.1007/3-540-60428-6_45openalex-snapshot
Multilevel refinement planning in an interval-based temporal logic
inferred← citeshttps://doi.org/10.1007/3-540-63912-8_93openalex-snapshot
Breaking security protocols as an AI planning problem
inferred← citeshttps://doi.org/10.1007/3-540-64582-9_734openalex-snapshot
Theory of constructible domains for robotics: Why?
inferred← citeshttps://doi.org/10.1007/978-3-540-89197-0_33openalex-snapshot
State-Based Regression with Sensing and Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-04893-7_19openalex-snapshot
An Epistemic Logic for Planning with Trials
inferred← citeshttps://doi.org/10.1007/978-3-642-78545-0_1openalex-snapshot
KI-Handlungsplanung — Woran wir arbeiten, und woran wir arbeiten sollten
inferred← citeshttps://doi.org/10.1007/978-94-015-9383-0_13openalex-snapshot
Complex Plans in the Fluent Calculus
inferred← citeshttps://doi.org/10.1007/bf00249354openalex-snapshot
Inductive expansion: A calculus for verifying and synthesizing functional and logic programs
inferred← citeshttps://doi.org/10.1007/bf00881831openalex-snapshot
Mechanical verification of strategies
inferred← citeshttps://doi.org/10.1007/bfb0026692openalex-snapshot
Induction of recursive program schemes
inferred← citeshttps://doi.org/10.1007/s13218-010-0071-xopenalex-snapshot
A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1453-5.50026-xopenalex-snapshot
Belief Revision in a Changing World
inferred← citeshttps://doi.org/10.1016/j.cogsys.2010.12.002openalex-snapshot
Inductive rule learning on the knowledge level
inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00041-1openalex-snapshot
What robots can do: robot programs and effective achievability
inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00121-5openalex-snapshot
GOLOG: A logic programming language for dynamic domains
inferred← citeshttps://doi.org/10.1109/aihas.1990.93926openalex-snapshot
Extracting logical theories from DEVS models
inferred← citeshttps://doi.org/10.1109/iama.2009.5228067openalex-snapshot
Planning with trial and errors
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1987.tb00208.xopenalex-snapshot
The bomb in the toilet
inferred← citeshttps://doi.org/10.1142/s0218213099000208openalex-snapshot
ON THE EMERGENCE OF INTELLIGENT GLOBAL BEHAVIORS FROM SIMPLE LOCAL ACTIONS
inferred← citeshttps://doi.org/10.1145/169725.169716openalex-snapshot
The deductive synthesis of database transactions
inferred← citeshttps://doi.org/10.1145/971701.50232openalex-snapshot
A transaction logic for database specification
inferred← citeshttps://doi.org/10.1609/aimag.v10i4.966openalex-snapshot
In defense of reaction plans as caches
inferred← citeshttps://doi.org/10.1609/icaps.v27i1.13815openalex-snapshot
Automatic Extraction of Axioms for Planning
inferred← citeshttps://doi.org/10.1613/jair.5562openalex-snapshot
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
inferred← citeshttps://doi.org/10.21236/ada363524openalex-snapshot
Iterative Macro-Operators Revisited: Applying Program Synthesis to Learning in Planning
inferred← citeshttps://doi.org/10.21236/ada382307openalex-snapshot
Applying Inductive Program Synthesis to Learning Domain-Dependent Control Knowledge - Transforming Plans into Programs
inferred← citeshttps://doi.org/10.22028/d291-24865openalex-snapshot
PHI : a logic-based tool for intelligent help systems
inferred← citeshttps://doi.org/10.22028/d291-24866openalex-snapshot
A new logical framework for deductive planning
inferred← citeshttps://doi.org/10.22028/d291-24967openalex-snapshot
Deduction-based refinement planning
inferred← citeshttps://doi.org/10.2991/agi.2009.35openalex-snapshot
Analytical Inductive Programming as a Cognitive Rule Acquisition Devise
inferred← citeshttps://doi.org/10.48550/arxiv.1703.03916openalex-snapshot
Axioms in Model-based Planners
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0404051openalex-snapshot
Knowledge And The Action Description Language A
inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-439openalex-snapshot
A correctness result for reasoning about one-dimensional planning problems
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.