On the public citation graph

The state of change: A survey

https://doi.org/10.1007/bfb0055494
0 signed · 71 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-09237-4openalex-snapshot
First-Order Dynamic Logic
inferredcites →https://doi.org/10.1007/3-540-50171-1_1openalex-snapshot
Updates, a new frontier
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-4471-3225-7_16openalex-snapshot
A Unified Semantics for Active and Deductive Databases
inferredcites →https://doi.org/10.1007/978-1-4471-3554-8_7openalex-snapshot
Dynamic Database Logic: the First-order Case
inferredcites →https://doi.org/10.1007/978-1-4471-3564-7_18openalex-snapshot
Database Programming in Transaction Logic
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-1-4615-5643-5_5openalex-snapshot
A Logic for Programming Database Transactions
inferredcites →https://doi.org/10.1007/978-3-642-55481-0openalex-snapshot
Programming in Prolog
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf03037173openalex-snapshot
Linear objects: Logical processes with built-in inheritance
inferredcites →https://doi.org/10.1007/bf03037383openalex-snapshot
A Logic-based Calculus of Events
inferredcites →https://doi.org/10.1007/bfb0013826openalex-snapshot
Multiparadigm logic programming
inferredcites →https://doi.org/10.1007/bfb0014171openalex-snapshot
LabFlow-1: A database benchmark for high-throughput workflow management
inferredcites →https://doi.org/10.1007/bfb0018436openalex-snapshot
Action logic and pure induction
inferredcites →https://doi.org/10.1007/bfb0031742openalex-snapshot
Nested transactions in a logical language for active rules
inferredcites →https://doi.org/10.1007/bfb0032420openalex-snapshot
On formalizing database updates: Preliminary report
inferredcites →https://doi.org/10.1007/bfb0055499openalex-snapshot
Results on reasoning about updates in Transaction Logic
inferredcites →https://doi.org/10.1016/0004-3702(93)90025-7openalex-snapshot
Language in action: Categories, lambdas and dynamic logic Johan van Benthem
inferredcites →https://doi.org/10.1016/0022-0000(80)90032-xopenalex-snapshot
Computable queries for relational data bases
inferredcites →https://doi.org/10.1016/0022-0000(82)90003-4openalex-snapshot
Process logic: Expressiveness, decidability, completeness
inferredcites →https://doi.org/10.1016/0022-0000(90)90036-kopenalex-snapshot
Procedural languages for database queries and updates
inferredcites →https://doi.org/10.1016/0022-0000(91)90032-zopenalex-snapshot
Datalog extensions for database queries and updates
inferredcites →https://doi.org/10.1016/0304-3975(92)90182-fopenalex-snapshot
Conditional rewriting logic as a unified model of concurrency
inferredcites →https://doi.org/10.1016/0304-3975(94)90190-2openalex-snapshot
An overview of transaction logic
inferredcites →https://doi.org/10.1016/0743-1066(92)90041-zopenalex-snapshot
Database updates in the event calculus
inferredcites →https://doi.org/10.1016/0743-1066(95)00049-popenalex-snapshot
On specifying database updates
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.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.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
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/b978-1-4832-1452-8.50135-4openalex-snapshot
How to Progress a Database (and Why) I. Logical Foundations
inferredcites →https://doi.org/10.1016/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7024-2openalex-snapshot
Language in Action - Categories, Lambdas and Dynamic Logic
inferredcites →https://doi.org/10.1016/s0743-1066(96)00121-5openalex-snapshot
GOLOG: A logic programming language for dynamic domains
inferredcites →https://doi.org/10.1016/s0743-1066(96)00137-9openalex-snapshot
Reconciling the event calculus with the situation calculus
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/sfcs.1977.32openalex-snapshot
The temporal logic of programs
inferredcites →https://doi.org/10.1145/1005937.1005947openalex-snapshot
Logic for problem solving
inferredcites →https://doi.org/10.1145/115790.115840openalex-snapshot
Glue-Nail
inferredcites →https://doi.org/10.1145/137097.137101openalex-snapshot
New data models and languages---the challenge
inferredcites →https://doi.org/10.1145/15833.15835openalex-snapshot
A logic-programming/object-oriented cocktail
inferredcites →https://doi.org/10.1145/202106.202110openalex-snapshot
Declarative updates of relational databases
inferredcites →https://doi.org/10.1145/275487.275491openalex-snapshot
Logic based modeling and analysis of workflows
inferredcites →https://doi.org/10.1145/308386.308451openalex-snapshot
Database updates in logic programming
inferredcites →https://doi.org/10.1145/567752.567761openalex-snapshot
Process logic
inferredcites →https://doi.org/10.1145/567752.567763openalex-snapshot
Universality of data retrieval languages
inferredcites →https://doi.org/10.21236/ad0785031openalex-snapshot
Situations, Actions, and Causal Laws
inferredcites →https://doi.org/10.21236/ada459656openalex-snapshot
Application of Theorem Proving to Problem Solving
inferredcites →https://doi.org/10.5555/615191.615194openalex-snapshot
The glue-nail deductive database system
inferredcites →https://doi.org/10.5860/choice.26-5107openalex-snapshot
Principles of database and knowledge-base systems
inferredcites →https://doi.org/10.5860/choice.27-0349openalex-snapshot
A logical language for data and knowledge bases
inferredcites →https://doi.org/10.7551/mitpress/4298.003.0017openalex-snapshot
Variants of the Event Calculus
inferredcites →https://doi.org/10.7551/mitpress/4299.003.0022openalex-snapshot
Capturing Database Dynamics by Deferred Updates

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-46466-2_8openalex-snapshot
Declarative Specifications of Complex Transactions
inferred← citeshttps://doi.org/10.1007/978-3-540-30464-7_12openalex-snapshot
Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-39390-0_11openalex-snapshot
Domain Events
inferred← citeshttps://doi.org/10.1007/bfb0055498openalex-snapshot
Logical transactions and serializability
inferred← citeshttps://doi.org/10.1016/j.compind.2008.06.004openalex-snapshot
A conceptual model for the production and transport planning process: An application to the automobile sector
inferred← citeshttps://doi.org/10.1016/j.datak.2005.07.002openalex-snapshot
Modeling events as entities in object-oriented conceptual modeling languages
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80350-5openalex-snapshot
Defining Actions in Concurrent Declarative Programming
inferred← citeshttps://doi.org/10.1017/s1471068402001576openalex-snapshot
Using methods of declarative logic programming for intelligent information agents
inferred← citeshttps://doi.org/10.1080/09537280802476128openalex-snapshot
A reference model for conceptual modelling of production planning processes
inferred← citeshttps://doi.org/10.1093/jigpal/jzx021openalex-snapshot
A complete logic for Database Abstract State Machines1
inferred← citeshttps://doi.org/10.1145/1514894.1514912openalex-snapshot
A logical account of uncertain databases based on linear logic
inferred← citeshttps://doi.org/10.1145/1836089.1836115openalex-snapshot
Tabling for transaction logic
inferred← citeshttps://doi.org/10.1145/303976.304005openalex-snapshot
Workflow, transactions and datalog
inferred← citeshttps://doi.org/10.11606/t.3.2003.tde-28042003-164450openalex-snapshot
Desenvolvimento e implementação de um sistema de planejamento baseado em casos.
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.1602.07486openalex-snapshot
A Complete Logic for Database Abstract State Machines
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.