On the public citation graph
On formalizing database updates: Preliminary report
0 signed · 41 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/978-1-4612-5196-5_8openalex-snapshot
Towards a Logical Reconstruction of Relational Database Theory
inferredcites →https://doi.org/10.1007/978-3-642-84875-9_3openalex-snapshot
The TaxisDL Software Description Language
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.1016/0004-3702(88)90011-2openalex-snapshot
Reasoning about action I
inferredcites →https://doi.org/10.1016/0743-1066(92)90049-9openalex-snapshot
What should a database know?
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.50026-5openalex-snapshot
The Case for Domain-Specific Frame Axioms
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50014-2openalex-snapshot
A Logic-based Language for Database Updates
inferredcites →https://doi.org/10.1016/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1017/cbo9780511526664.007openalex-snapshot
On the difference between updating a knowledge base and revising it
inferredcites →https://doi.org/10.2307/3612165openalex-snapshot
Machine Intelligence 4. Edited by B. Meltzer and D. Michie. Pp. viii, 508. 100s. 1969. (Edinburgh University Press.)
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-46564-2_11openalex-snapshot
Non-situation Calculus and Database Systems
inferred← citeshttps://doi.org/10.1007/3-540-56921-9_2openalex-snapshot
On the unification of active databases and deductive databases
inferred← citeshttps://doi.org/10.1007/3-540-57802-1_2openalex-snapshot
Object-oriented system specification using defaults
inferred← citeshttps://doi.org/10.1007/978-0-585-26870-5_8openalex-snapshot
Approximate Update of Logical Databases
inferred← citeshttps://doi.org/10.1007/978-1-4471-3225-7_16openalex-snapshot
A Unified Semantics for Active and Deductive Databases
inferred← citeshttps://doi.org/10.1007/978-3-319-43862-7_1openalex-snapshot
On Monotonic Deductive Database Updating Under the Open World Assumption
inferred← citeshttps://doi.org/10.1007/bf01110611openalex-snapshot
Deriving properties of belief update from theories of action
inferred← citeshttps://doi.org/10.1007/bfb0013045openalex-snapshot
On deductive planning and the frame problem
inferred← citeshttps://doi.org/10.1016/0004-3702(93)90109-oopenalex-snapshot
Proving properties of states in the situation calculus
inferred← citeshttps://doi.org/10.1016/0743-1066(94)00025-2openalex-snapshot
A language for updating logic programs and its implementation
inferred← citeshttps://doi.org/10.1016/0743-1066(95)00049-popenalex-snapshot
On specifying database updates
inferred← citeshttps://doi.org/10.1016/b978-1-4832-1452-8.50136-6openalex-snapshot
Modalities Over Actions, I. Model Theory
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00072-7openalex-snapshot
Propositional belief base update and minimal change
inferred← citeshttps://doi.org/10.1016/s0169-023x(97)00028-1openalex-snapshot
Updating intensional predicates in deductive databases
inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00093-3openalex-snapshot
A logical semantics for hypothetical rulebases with deletion
inferred← citeshttps://doi.org/10.1017/s1471068402001564openalex-snapshot
In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510902openalex-snapshot
Minimal and consistent evolution of knowledge bases
inferred← citeshttps://doi.org/10.1109/icde.1993.344082openalex-snapshot
Updating intensional predicates in deductive databases
inferred← citeshttps://doi.org/10.11606/t.3.2014.tde-29122014-165740openalex-snapshot
Um novo processo para refatoração de bancos de dados.
inferred← citeshttps://doi.org/10.31274/rtd-180813-13103openalex-snapshot
Disjunctively incomplete information in relational databases: modeling and related issues
inferred← citeshttps://doi.org/10.48550/arxiv.2108.02587openalex-snapshot
Four-Valued Semantics for Deductive Databases
inferred← citeshttps://doi.org/10.70675/9700f79bzfd1ez4750za24cz6ef2ea76cd21openalex-snapshot
Changement de croyances dans des fragments de la logique propositionnelle
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.