On the public citation graph
Results on reasoning about updates in Transaction Logic
0 signed · 26 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-64823-2_21openalex-snapshot
Transaction datalog: A compositional language for transaction programming
inferredcites →https://doi.org/10.1007/978-1-4615-5643-5_5openalex-snapshot
A Logic for Programming Database Transactions
inferredcites →https://doi.org/10.1016/0304-3975(94)90190-2openalex-snapshot
An overview of transaction 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.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferredcites →https://doi.org/10.1145/210332.210335openalex-snapshot
Logical foundations of object-oriented and frame-based languages
inferredcites →https://doi.org/10.1145/275487.275491openalex-snapshot
Logic based modeling and analysis of workflows
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/3-540-44957-4_72openalex-snapshot
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
inferred← citeshttps://doi.org/10.1007/3-540-64823-2_21openalex-snapshot
Transaction datalog: A compositional language for transaction programming
inferred← citeshttps://doi.org/10.1007/978-3-319-21542-6_17openalex-snapshot
How to Combine Event Stream Reasoning with Transactions for the Semantic Web
inferred← citeshttps://doi.org/10.1007/978-3-319-22002-4_10openalex-snapshot
A Procedure for an Event-Condition-Transaction Language
inferred← citeshttps://doi.org/10.1007/978-3-540-72200-7_18openalex-snapshot
A Unified Semantics for Constraint Handling Rules in Transaction Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-20895-9_31openalex-snapshot
Transaction Logic with External Actions
inferred← citeshttps://doi.org/10.1007/978-3-642-24769-9_50openalex-snapshot
A Proposal for Transactions in the Semantic Web
inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_8openalex-snapshot
Reactive Event Calculus for Monitoring Global Computing Applications
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)41030-5openalex-snapshot
On the Treatment of the Ramification Problem with Transaction Logic
inferred← citeshttps://doi.org/10.1145/1805974.1805976openalex-snapshot
A logic for state-modifying authorization policies
inferred← citeshttps://doi.org/10.1145/1836089.1836115openalex-snapshot
Tabling for transaction logic
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2011.162openalex-snapshot
Transaction Logic with Defaults and Argumentation Theories
inferred← citeshttps://doi.org/10.48550/arxiv.1405.3790openalex-snapshot
Transaction Logic with (Complex) Events
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.