On the public citation graph

Reasoning about noisy sensors (and effectors) in the situation calculus

https://doi.org/10.1007/bfb0013962
0 signed · 31 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-62686-7_26openalex-snapshot
An experiment in using Golog to build a personal banking assistant
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/bf01784885openalex-snapshot
Modelling knowledge and action in distributed systems
inferredcites →https://doi.org/10.1016/0004-3702(90)90019-vopenalex-snapshot
An analysis of first-order logics of probability
inferredcites →https://doi.org/10.1016/0165-4896(94)90005-1openalex-snapshot
Reasoning about knowledge
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.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferredcites →https://doi.org/10.1016/b978-0-934613-04-0.50009-0openalex-snapshot
THE SYNTHESIS OF DIGITAL MACHINES WITH PROVABLE EPISTEMIC PROPERTIES
inferredcites →https://doi.org/10.1016/b978-0-934613-32-3.50026-5openalex-snapshot
The Case for Domain-Specific Frame Axioms
inferredcites →https://doi.org/10.1016/b978-1-55860-332-5.50023-7openalex-snapshot
Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty
inferredcites →https://doi.org/10.1057/jors.1992.139openalex-snapshot
Representing and Reasoning with Probabilistic Knowledge
inferredcites →https://doi.org/10.1093/logcom/4.5.655openalex-snapshot
State Constraints Revisited
inferredcites →https://doi.org/10.1111/j.1467-8640.1988.tb00279.xopenalex-snapshot
Representation and combination of uncertainty with belief functions and possibility measures
inferredcites →https://doi.org/10.1145/153724.153770openalex-snapshot
Knowledge, probability, and adversaries
inferredcites →https://doi.org/10.1201/b19097-5openalex-snapshot
Introduction to Probability and Statistics
inferredcites →https://doi.org/10.2307/j.ctv10vm1qbopenalex-snapshot
A Mathematical Theory of Evidence

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-319-25524-8_6openalex-snapshot
Optimizing Long-Running Action Histories in the Situation Calculus Through Search
inferred← citeshttps://doi.org/10.1007/978-3-642-58322-3_20openalex-snapshot
Probabilistic Projection and Belief Update in the pGOLOG Framework
inferred← citeshttps://doi.org/10.1016/j.artint.2010.04.016openalex-snapshot
The well-designed logical robot: Learning and experience from observations to the Situation Calculus
inferred← citeshttps://doi.org/10.1609/aaai.v24i1.7742openalex-snapshot
Relational Partially Observable MDPs
inferred← citeshttps://doi.org/10.1609/aaai.v28i1.8865openalex-snapshot
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains
inferred← citeshttps://doi.org/10.1609/aaai.v30i1.10108openalex-snapshot
A First-Order Logic of Probability and Only Knowing in Unbounded Domains
inferred← citeshttps://doi.org/10.1609/icaps.v19i1.13387openalex-snapshot
Computing Robust Plans in Continuous Domains
inferred← citeshttps://doi.org/10.1613/jair.1565openalex-snapshot
Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior
inferred← citeshttps://doi.org/10.24963/ijcai.2017/146openalex-snapshot
Non-Determinism and the Dynamics of Knowledge
inferred← citeshttps://doi.org/10.24963/kr.2021/21openalex-snapshot
The Nondeterministic Situation Calculus
inferred← citeshttps://doi.org/10.24963/kr.2021/44openalex-snapshot
On the Progression of Belief
inferred← citeshttps://doi.org/10.24963/kr.2021/54openalex-snapshot
Decidability and Complexity of Some Finitely-valued Dynamic Logics
inferred← citeshttps://doi.org/10.24963/kr.2023/44openalex-snapshot
Concerning Measures in a First-order Logic with Actions and Meta-beliefs
inferred← citeshttps://doi.org/10.3233/faia230401openalex-snapshot
On Explaining Agent Behaviour via Root Cause Analysis: A Formal Account Grounded in Theory of Mind
inferred← citeshttps://doi.org/10.5772/14103openalex-snapshot
Anomaly Based Intrusion Detection and Artificial Intelligence
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.