On the public citation graph

A new deductive approach to planning

0 signed · 112 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_3openalex-snapshot

On Closed World Data Bases

inferredcites →https://doi.org/10.1007/978-3-642-71385-9_28openalex-snapshot

Lazy Theory Unification in Prolog: An Extension of the Warren Abstract Machine

inferredcites →https://doi.org/10.1007/978-3-642-75100-4_7openalex-snapshot

Plan Generation by Linear Proofs: On Semantics

inferredcites →https://doi.org/10.1007/978-3-642-83397-7_21openalex-snapshot

A Deductive Solution for Plan Generation

inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot

Foundations of Logic Programming

inferredcites →https://doi.org/10.1007/bf03037463openalex-snapshot

Linearity and plan generation

inferredcites →https://doi.org/10.1007/bfb0015791openalex-snapshot

Foundations of Equational Logic Programming

inferredcites →https://doi.org/10.1016/0004-3702(87)90092-0openalex-snapshot

Planning for conjunctive goals

inferredcites →https://doi.org/10.1016/0743-1066(84)90010-4openalex-snapshot

A theory of complete logic programs with equality

inferredcites →https://doi.org/10.1016/0743-1066(84)90023-2openalex-snapshot

Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption

inferredcites →https://doi.org/10.1016/0743-1066(89)90028-9openalex-snapshot

Extending SLD resolution to equational horn clauses using E-unification

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.50022-2openalex-snapshot

Achieving Several Goals Simultaneously**The research reported herein was sponsored by the National Science Foundation under Grant GJ-36146.

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.1016/b978-0-934613-30-9.50004-4openalex-snapshot

ON THE SEMANTICS OF STRIPS

inferredcites →https://doi.org/10.1016/s0747-7171(89)80012-4openalex-snapshot

Unification theory

inferredcites →https://doi.org/10.1109/jcai15434.2009openalex-snapshot

2009 International Joint Conference on Artificial Intelligence

inferredcites →https://doi.org/10.1145/1005937.1005947openalex-snapshot

Logic for problem solving

inferredcites →https://doi.org/10.1145/362566.362568openalex-snapshot

Toward automatic program synthesis

inferredcites →https://doi.org/10.1609/aimag.v9i2.680openalex-snapshot

DARPA Santa Cruz Workshop on Planning

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/1-4020-3069-xopenalex-snapshot

Reasoning Robots: The Art and Science of Programming Robotic Agents

inferred← citeshttps://doi.org/10.1007/1-4020-3069-x_1openalex-snapshot

Special Fluent Calculus

inferred← citeshttps://doi.org/10.1007/11916291_4openalex-snapshot

Requirements Analysis of an Agent’s Reasoning Capability

inferred← citeshttps://doi.org/10.1007/3-540-44404-1_28openalex-snapshot

The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus

inferred← citeshttps://doi.org/10.1007/3-540-44404-1_29openalex-snapshot

Solving Planning Problems by Partial Deduction

inferred← citeshttps://doi.org/10.1007/3-540-44957-4_49openalex-snapshot

A New Equational Foundation for the Fluent Calculus

inferred← citeshttps://doi.org/10.1007/3-540-44957-4_50openalex-snapshot

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

inferred← citeshttps://doi.org/10.1007/3-540-44957-4_51openalex-snapshot

Decidability Results for the Propositional Fluent Calculus

inferred← citeshttps://doi.org/10.1007/3-540-45406-3_5openalex-snapshot

Functional and Constraint Logic Programming

inferred← citeshttps://doi.org/10.1007/3-540-45596-5_4openalex-snapshot

Qualified Ramifications

inferred← citeshttps://doi.org/10.1007/3-540-45619-8_6openalex-snapshot

Reasoning about Actions with CHRs and Finite Domain Constraints

inferred← citeshttps://doi.org/10.1007/3-540-45628-7_23openalex-snapshot

Logic-Based Hybrid Agents

inferred← citeshttps://doi.org/10.1007/3-540-45656-2_43openalex-snapshot

Planning with Noisy Actions (Preliminary Report)

inferred← citeshttps://doi.org/10.1007/3-540-45941-3_16openalex-snapshot

Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation

inferred← citeshttps://doi.org/10.1007/3-540-48238-5_11openalex-snapshot

A Theory of First-Order Counterfactual Reasoning

inferred← citeshttps://doi.org/10.1007/3-540-49545-2_17openalex-snapshot

Towards State Update Axioms: Reifying Successor State Axioms

inferred← citeshttps://doi.org/10.1007/3-540-58216-9_37openalex-snapshot

Towards efficient calculi for resource-oriented deductive planning

inferred← citeshttps://doi.org/10.1007/3-540-58467-6_2openalex-snapshot

Representing concurrent actions and solving conflicts

inferred← citeshttps://doi.org/10.1007/3-540-58520-6_47openalex-snapshot

Deductive plan generation

inferred← citeshttps://doi.org/10.1007/3-540-60156-2_13openalex-snapshot

Modeling cooperating agents scenarios by deductive planning methods and logical fiberings

inferred← citeshttps://doi.org/10.1007/3-540-60939-3_15openalex-snapshot

Solving deductive planning problems using program analysis and transformation

inferred← citeshttps://doi.org/10.1007/3-540-60983-0_9openalex-snapshot

An abstract machine for reasoning about situations, actions, and causality

inferred← citeshttps://doi.org/10.1007/3-540-61208-4_13openalex-snapshot

Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison

inferred← citeshttps://doi.org/10.1007/3-540-61708-6_41openalex-snapshot

Massively parallel reasoning about actions

inferred← citeshttps://doi.org/10.1007/978-3-030-16202-3openalex-snapshot

Functional and Constraint Logic Programming

inferred← citeshttps://doi.org/10.1007/978-3-030-22102-7_17openalex-snapshot

Do Humans Reason with $$\mathcal{E}$$ -Matchers?

inferred← citeshttps://doi.org/10.1007/978-3-031-23161-2_300700openalex-snapshot

Knowledge Representation and Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-319-11113-1_3openalex-snapshot

Planning with Transaction Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-19686-2_2openalex-snapshot

State Space Planning Using Transaction Logic

inferred← citeshttps://doi.org/10.1007/978-3-319-23264-5_45openalex-snapshot

Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic

inferred← citeshttps://doi.org/10.1007/978-3-540-73847-3_36openalex-snapshot

θ-Subsumption Based on Object Context

inferred← citeshttps://doi.org/10.1007/978-3-540-88282-4_24openalex-snapshot

On Linear Logic Planning and Concurrency

inferred← citeshttps://doi.org/10.1007/978-3-642-04985-9_8openalex-snapshot

Rule-Based Event Processing and Reaction Rules

inferred← citeshttps://doi.org/10.1007/978-3-642-76982-5_36openalex-snapshot

Entwurf eines Hilfesystems für Petrinetzmodellierer

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-3-7091-7557-6_5openalex-snapshot

An Equational Constraint Logic approach to Conceptual Modelling

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/978-94-015-9383-0_20openalex-snapshot

Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms

inferred← citeshttps://doi.org/10.1007/978-94-017-0464-9_1openalex-snapshot

Rewriting Logic as a Logical and Semantic Framework

inferred← citeshttps://doi.org/10.1007/978-94-017-0795-4_26openalex-snapshot

Requirements Specification and Automated Evaluation of Dynamic Properties of a Component-Based Design

inferred← citeshttps://doi.org/10.1007/978-94-017-1317-7_1openalex-snapshot

Action and Change in Rewriting Logic

inferred← citeshttps://doi.org/10.1007/bf00881829openalex-snapshot

Default reasoning by deductive planning

inferred← citeshttps://doi.org/10.1007/bf01530895openalex-snapshot

Computing change and specificity with equational logic programs

inferred← citeshttps://doi.org/10.1007/bf03037298openalex-snapshot

Globally linear connection method

inferred← citeshttps://doi.org/10.1007/bfb0013045openalex-snapshot

On deductive planning and the frame problem

inferred← citeshttps://doi.org/10.1007/bfb0021986openalex-snapshot

Towards resource handling in logic programming: The PPL framework and its semantics

inferred← citeshttps://doi.org/10.1007/bfb0095044openalex-snapshot

On the combination of partial action descriptions

inferred← citeshttps://doi.org/10.1007/s10489-006-0024-0openalex-snapshot

Specification, analysis and simulation of the dynamics within an organisation

inferred← citeshttps://doi.org/10.1007/s13218-024-00837-wopenalex-snapshot

In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning

inferred← citeshttps://doi.org/10.1007/s40497-025-00495-8openalex-snapshot

Personality traits, entrepreneurship education, perceived financial access, entrepreneurial intentions and entrepreneurial behavior: a Vietnamese youth perspective

inferred← citeshttps://doi.org/10.1016/b978-0-12-801416-5.00016-4openalex-snapshot

Logics for Commonsense Reasoning

inferred← citeshttps://doi.org/10.1016/b978-0-12-801416-5.09974-5openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/b978-012369388-4/50079-5openalex-snapshot

References

inferred← citeshttps://doi.org/10.1016/b978-1-55860-932-7.x5083-3openalex-snapshot

Knowledge representation and reasoning

inferred← citeshttps://doi.org/10.1016/b978-155860932-7/50102-3openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/c2014-0-00192-xopenalex-snapshot

Commonsense Reasoning: An Event Calculus Based Approach

inferred← citeshttps://doi.org/10.1016/j.artint.2006.05.001openalex-snapshot

Event calculus and temporal action logics compared

inferred← citeshttps://doi.org/10.1016/j.artint.2010.04.005openalex-snapshot

A semantic characterization of a useful fragment of the situation calculus with knowledge

inferred← citeshttps://doi.org/10.1016/j.artint.2010.11.003openalex-snapshot

John McCarthy's legacy

inferred← citeshttps://doi.org/10.1016/j.ic.2009.02.008openalex-snapshot

On linear logic planning and concurrency

inferred← citeshttps://doi.org/10.1016/j.jal.2015.08.001openalex-snapshot

A history based approximate epistemic action theory for efficient postdictive reasoning

inferred← citeshttps://doi.org/10.1016/j.knosys.2005.05.002openalex-snapshot

Integration of behavioural requirements specification within compositional knowledge engineering

inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00131-xopenalex-snapshot

The Qualification Problem: A solution to the problem of anomalous models

inferred← citeshttps://doi.org/10.1016/s0004-3702(96)00033-1openalex-snapshot

Ramification and causality

inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00064-2openalex-snapshot

Let's plan it deductively!

inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00084-8openalex-snapshot

Reasoning about actions: steady versus stabilizing state constraints

inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00033-8openalex-snapshot

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

inferred← citeshttps://doi.org/10.1016/s0096-0551(96)00007-0openalex-snapshot

Towards resource handling in logic programming: The PPL framework and fits semantics

inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00124-0openalex-snapshot

Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems

inferred← citeshttps://doi.org/10.1016/s1389-0417(02)00102-xopenalex-snapshot

Modelling the dynamics of reasoning processes: Reasoning by assumption

inferred← citeshttps://doi.org/10.1017/s1471068405002358openalex-snapshot

FLUX: A logic programming method for reasoning agents

inferred← citeshttps://doi.org/10.1023/a:1010558931274openalex-snapshot

The Concurrent, Continuous Fluent Calculus

inferred← citeshttps://doi.org/10.1023/a:1018900105153openalex-snapshot

Temporal representation and reasoning in artificial intelligence: Issues and approaches

inferred← citeshttps://doi.org/10.1023/a:1020820000972openalex-snapshot

Plans, Affordances, And Combinatory Grammar

inferred← citeshttps://doi.org/10.1080/08839510701527226openalex-snapshot

SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES

inferred← citeshttps://doi.org/10.1093/jigpal/4.3.355openalex-snapshot

Representing Concurrent Actions and Solving Conflicts

inferred← citeshttps://doi.org/10.1109/iscid.2008.60openalex-snapshot

Predicate/Transition Net Based Model for Reasoning about Actions

inferred← citeshttps://doi.org/10.1145/2685328.2685332openalex-snapshot

On the projection problem in active knowledge bases with incomplete information

inferred← citeshttps://doi.org/10.1145/3608486openalex-snapshot

Explanatory Denotational Semantics for Complex Event Patterns

inferred← citeshttps://doi.org/10.12681/eadd/25325openalex-snapshot

A formal theory for reasoning about action, knowledge and time

inferred← citeshttps://doi.org/10.1609/aimag.v22i3.1582openalex-snapshot

Planning in the Fluent Calculus Using Binary Decision Diagrams

inferred← citeshttps://doi.org/10.1613/jair.1965openalex-snapshot

FluCaP: A Heuristic Search Planner for First-Order MDPs

inferred← citeshttps://doi.org/10.4018/978-1-60566-402-6.ch010openalex-snapshot

Rules Capturing Events and Reactivity

inferred← citeshttps://doi.org/10.4324/9781315782379-124openalex-snapshot

Analysis of the Dynamics of Reasoning Using Multiple Representations

inferred← citeshttps://doi.org/10.48550/arxiv.1312.3372openalex-snapshot

On resources and tasks

inferred← citeshttps://doi.org/10.48550/arxiv.1408.2027openalex-snapshot

A Heuristic Search Algorithm for Solving First-Order MDPs

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0404050openalex-snapshot

A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0610167openalex-snapshot

ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0611047openalex-snapshot

The Reaction RuleML Classification of the Event / Action / State Processing and Reasoning Space

inferred← citeshttps://doi.org/10.5840/monist199982111openalex-snapshot

Simulation, Theory, and Cut Elimination

inferred← citeshttps://doi.org/10.70675/05e81ceaz2b8bz46daz9c91z0847209710bbopenalex-snapshot

Models of Ethical Reasoning

inferred← citeshttps://doi.org/10.7551/mitpress/4316.003.0028openalex-snapshot

Representing Actions in Equational Logic Programming

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.