On the public citation graph

Reasoning about action and change

https://doi.org/10.1007/bf00173701
0 signed · 74 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/3-540-58467-6_22openalex-snapshot
Probabilistic justification of default reasoning
inferredcites →https://doi.org/10.1007/978-1-4613-0609-2_21openalex-snapshot
A Note on Boolean Modal Logic
inferredcites →https://doi.org/10.1007/978-1-4613-0897-3_17openalex-snapshot
Modal Environment for Boolean Speculations
inferredcites →https://doi.org/10.1007/978-94-009-0553-5_2openalex-snapshot
Monotonic Solution of The Frame Problem in The Situation Calculus
inferredcites →https://doi.org/10.1007/bf00370324openalex-snapshot
Application of modal logic to programming
inferredcites →https://doi.org/10.1007/bf00370325openalex-snapshot
Applying modal logic
inferredcites →https://doi.org/10.1007/bf01057652openalex-snapshot
Five faces of minimality
inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot
A logic for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(87)90043-9openalex-snapshot
Nonmonotonic logic and temporal projection
inferredcites →https://doi.org/10.1016/0004-3702(88)90011-2openalex-snapshot
Reasoning about action I
inferredcites →https://doi.org/10.1016/0004-3702(88)90020-3openalex-snapshot
Reasoning about action II
inferredcites →https://doi.org/10.1016/0004-3702(91)90004-4openalex-snapshot
Nonmonotonic reasoning in the framework of situation calculus
inferredcites →https://doi.org/10.1016/0004-3702(91)90068-uopenalex-snapshot
Nonmonotonicity and the scope of reasoning
inferredcites →https://doi.org/10.1016/0004-3702(91)90069-vopenalex-snapshot
Propositional knowledge base revision and minimal change
inferredcites →https://doi.org/10.1016/0022-0000(79)90046-1openalex-snapshot
Propositional dynamic logic of regular programs
inferredcites →https://doi.org/10.1016/0022-0000(82)90003-4openalex-snapshot
Process logic: Expressiveness, decidability, completeness
inferredcites →https://doi.org/10.1016/0167-6423(87)90035-9openalex-snapshot
Statecharts: a visual formalism for complex systems
inferredcites →https://doi.org/10.1016/0304-3975(81)90110-9openalex-snapshot
The temporal semantics of concurrent programs
inferredcites →https://doi.org/10.1016/0890-5401(91)90026-xopenalex-snapshot
An essay in combinatory dynamic logic
inferredcites →https://doi.org/10.1016/b978-0-12-450010-5.50026-8openalex-snapshot
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
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-32-3.50009-5openalex-snapshot
FORMAL THEORIES OF ACTION
inferredcites →https://doi.org/10.1016/b978-0-934613-32-3.50010-1openalex-snapshot
MANY AGENTS ARE BETTER THAN ONE
inferredcites →https://doi.org/10.1017/cbo9780511526664.008openalex-snapshot
Planning from first principles
inferredcites →https://doi.org/10.1093/logcom/2.1.5openalex-snapshot
Using the Universal Modality: Gains and Questions
inferredcites →https://doi.org/10.1093/logcom/4.5.513openalex-snapshot
Narratives in the Situation Calculus
inferredcites →https://doi.org/10.1145/357084.357090openalex-snapshot
A Deductive Approach to Program Synthesis
inferredcites →https://doi.org/10.1145/800133.804362openalex-snapshot
A practical decision method for propositional dynamic logic (Preliminary Report)
inferredcites →https://doi.org/10.22028/d291-24866openalex-snapshot
A new logical framework for deductive planning
inferredcites →https://doi.org/10.2307/2273958openalex-snapshot
Vaughan R. Pratt. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional dynamic logic of regular programs.…
inferredcites →https://doi.org/10.4064/-9-1-31-46openalex-snapshot
A completeness theorem in the modal logic of programs

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470996751.ch30openalex-snapshot
Alethic Modal Logics and Semantics
inferred← citeshttps://doi.org/10.1007/11526988_5openalex-snapshot
Personalization for the Semantic Web
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_61openalex-snapshot
A Semantics for Persistency in Propositional Dynamic Logic
inferred← citeshttps://doi.org/10.1007/3-540-45241-9_5openalex-snapshot
Programming Goal-Driven Web Sites Using an Agent Logic Language
inferred← citeshttps://doi.org/10.1007/3-540-45402-0_18openalex-snapshot
Encoding Solutions of the Frame Problem in Dynamic Logic
inferred← citeshttps://doi.org/10.1007/3-540-45446-2_26openalex-snapshot
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
inferred← citeshttps://doi.org/10.1007/3-540-45656-2_11openalex-snapshot
Postdiction Problems in Dynamic Logic
inferred← citeshttps://doi.org/10.1007/3-540-45683-x_10openalex-snapshot
Consistency of Action Descriptions
inferred← citeshttps://doi.org/10.1007/3-540-45757-7_30openalex-snapshot
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem
inferred← citeshttps://doi.org/10.1007/3-540-61313-7_98openalex-snapshot
Modal logic for modelling actions and agents
inferred← citeshttps://doi.org/10.1007/978-3-540-24630-5_6openalex-snapshot
A Modal Logic Framework for Human-Computer Spoken Interaction
inferred← citeshttps://doi.org/10.1007/978-3-540-25984-8_18openalex-snapshot
PDL with Negation of Atomic Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-76837-1_65openalex-snapshot
Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization
inferred← citeshttps://doi.org/10.1007/978-3-540-89197-0_66openalex-snapshot
An Imperative Account of Actions
inferred← citeshttps://doi.org/10.1007/978-3-642-00207-6_9openalex-snapshot
Annotation and Matching of First-Class Agent Interaction Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-10439-8_54openalex-snapshot
Modeling Abstract Behavior: A Dynamic Logic Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_5openalex-snapshot
Knowledge Representation and Non-monotonic Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-642-24288-5_6openalex-snapshot
Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-32695-0_79openalex-snapshot
τε2asp : Implementing $\mathcal{TE}$ via Answer Set Programming
inferred← citeshttps://doi.org/10.1007/978-981-4560-50-4_29openalex-snapshot
Physics Simulation Games
inferred← citeshttps://doi.org/10.1007/978-981-4560-52-8_29-1openalex-snapshot
Physics Simulation Games
inferred← citeshttps://doi.org/10.1007/s10472-010-9176-zopenalex-snapshot
A description logic based situation calculus
inferred← citeshttps://doi.org/10.1007/s10472-013-9334-1openalex-snapshot
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
inferred← citeshttps://doi.org/10.1007/s10849-005-9008-4openalex-snapshot
Means-End Relations and a Measure of Efficacy
inferred← citeshttps://doi.org/10.1007/s11229-006-9036-xopenalex-snapshot
A Semantics for Means-end Relations
inferred← citeshttps://doi.org/10.1007/s11704-013-2195-2openalex-snapshot
A survey on temporal logics for specifying and verifying real-time systems
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103601openalex-snapshot
An action language for multi-agent domains
inferred← citeshttps://doi.org/10.1016/s0049-237x(03)80019-8openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03018-0openalex-snapshot
Chapter 18 Temporal Action Logics
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)x0300-6openalex-snapshot
Handbook of Knowledge Representation
inferred← citeshttps://doi.org/10.1023/b:aire.0000044296.89727.ffopenalex-snapshot
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
inferred← citeshttps://doi.org/10.1023/b:amai.0000031196.24935.b5openalex-snapshot
Programming Rational Agents in a Modal Action Logic
inferred← citeshttps://doi.org/10.1145/944519.944540openalex-snapshot
A model for the conversation multimodal man-machine
inferred← citeshttps://doi.org/10.22028/d291-26295openalex-snapshot
Incremental decision procedures for modal logics with nominals and eventualities
inferred← citeshttps://doi.org/10.3166/jancl.15.189-213openalex-snapshot
PDL with negation of atomic programs
inferred← citeshttps://doi.org/10.3166/jancl.15.215-239openalex-snapshot
Frame problem in dynamic logic
inferred← citeshttps://doi.org/10.3233/mgs-130202openalex-snapshot
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
inferred← citeshttps://doi.org/10.4204/eptcs.226.9openalex-snapshot
A Canonical Model Construction for Iteration-Free PDL with Intersection
inferred← citeshttps://doi.org/10.48550/arxiv.1511.01960openalex-snapshot
An Action Language for Multi-Agent Domains: Foundations
inferred← citeshttps://doi.org/10.48550/arxiv.2405.09711openalex-snapshot
STAR: A Benchmark for Situated Reasoning in Real-World Videos
inferred← citeshttps://doi.org/10.5555/1402298.1402336openalex-snapshot
Annotation and matching of first-class agent interaction protocols
inferred← citeshttps://doi.org/10.5555/1838206.1838363openalex-snapshot
Characterising and matching iterative and recursive agent interaction protocols
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.