On the public citation graph

Transactions and Change in Logic Databases

https://doi.org/10.1007/bfb0055493
0 signed · 47 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/bfb0055495openalex-snapshot
Specification of dynamics for knowledge-based systems
inferredcites →https://doi.org/10.1007/bfb0055496openalex-snapshot
On active deductive databases: The statelog approach
inferredcites →https://doi.org/10.1007/bfb0055497openalex-snapshot
Active-U-Datalog: Integrating active rules in a logical update language
inferredcites →https://doi.org/10.1007/bfb0055500openalex-snapshot
The dynamics of database views
inferredcites →https://doi.org/10.1007/bfb0055504openalex-snapshot
Analysing rational properties of change operators based on forward chaining

What points at this work

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

inferred← citeshttps://doi.org/10.1007/11504245_12openalex-snapshot
Temporal Evolution and Local Patterns
inferred← citeshttps://doi.org/10.1007/11546207_1openalex-snapshot
Nonmonotonic Reasoning in FLORA-2
inferred← citeshttps://doi.org/10.1007/3-540-44652-4_43openalex-snapshot
A Priori Revision
inferred← citeshttps://doi.org/10.1007/3-540-44794-6_12openalex-snapshot
Interesting Fuzzy Association Rules in Quantitative Databases
inferred← citeshttps://doi.org/10.1007/3-540-45241-9_15openalex-snapshot
Soundcheck for SQL
inferred← citeshttps://doi.org/10.1007/3-540-45408-x_27openalex-snapshot
A Logic-Based Approach for Adaptive Information Filtering Agents
inferred← citeshttps://doi.org/10.1007/3-540-45632-5_17openalex-snapshot
Some Alternative Formulations of the Event Calculus
inferred← citeshttps://doi.org/10.1007/3-540-46466-2_3openalex-snapshot
Logical Update Queries as Open Nested Transactions
inferred← citeshttps://doi.org/10.1007/3-540-46466-2_6openalex-snapshot
Specifying Active Rules for Database Maintenance
inferred← citeshttps://doi.org/10.1007/978-3-540-25957-2_9openalex-snapshot
A New Approach for Mining Association Rules in Data Warehouses
inferred← citeshttps://doi.org/10.1007/978-3-540-31880-4_57openalex-snapshot
Developments on a Multi-objective Metaheuristic (MOMH) Algorithm for Finding Interesting Sets of Classification Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-39964-3_43openalex-snapshot
$\mathcal{F}$ lora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web
inferred← citeshttps://doi.org/10.1007/978-3-540-69858-6_16openalex-snapshot
Intensional Question Answering Using ILP: What Does an Answer Mean?
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-540-77094-7_24openalex-snapshot
A Method of Fair Use in Digital Rights Management
inferred← citeshttps://doi.org/10.1007/978-3-540-88655-6_24openalex-snapshot
Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
inferred← citeshttps://doi.org/10.1007/978-3-642-05082-4_1openalex-snapshot
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-13059-5_44openalex-snapshot
Improving Bayesian Learning Using Public Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-17505-3_13openalex-snapshot
Data Model for Scientific Models and Hypotheses
inferred← citeshttps://doi.org/10.1007/978-3-642-19724-6_5openalex-snapshot
ETALIS: Rule-Based Reasoning in Event Processing
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-24206-9_16openalex-snapshot
Dedalus: Datalog in Time and Space
inferred← citeshttps://doi.org/10.1007/978-3-642-28472-4_19openalex-snapshot
Formalizing Production Systems with Rule-Based Ontologies
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.1007/978-3-642-32925-8_12openalex-snapshot
Declarative Datalog Debugging for Mere Mortals
inferred← citeshttps://doi.org/10.1007/978-3-642-32925-8_14openalex-snapshot
Confluence Analysis for Distributed Programs: A Model-Theoretic Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-32925-8_18openalex-snapshot
Logical Foundations of Continuous Query Languages for Data Streams
inferred← citeshttps://doi.org/10.1007/978-3-642-34654-5_3openalex-snapshot
Exploring the Rationality of Some Syntactic Merging Operators
inferred← citeshttps://doi.org/10.1007/s10115-009-0281-4openalex-snapshot
Inductive database languages: requirements and examples
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50013-7openalex-snapshot
Logic and Databases: A History of Deductive Databases
inferred← citeshttps://doi.org/10.1016/b978-155860829-0/50014-0openalex-snapshot
A Model-Based Mediator System for Scientific Data Management
inferred← citeshttps://doi.org/10.1016/j.artint.2021.103634openalex-snapshot
Knowledge-based programs as building blocks for planning
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/j.ic.2019.104485openalex-snapshot
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
inferred← citeshttps://doi.org/10.1016/j.jcss.2014.01.005openalex-snapshot
Positive Dedalus programs tolerate non-causality
inferred← citeshttps://doi.org/10.1016/j.jlap.2013.07.002openalex-snapshot
An extended constraint deductive database: Theory and implementation
inferred← citeshttps://doi.org/10.1016/j.websem.2014.02.001openalex-snapshot
Streaming the Web: Reasoning Over Dynamic Data
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00087-9openalex-snapshot
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
inferred← citeshttps://doi.org/10.1017/s1471068410000116openalex-snapshot
Inductive Logic Programming in Databases: From Datalog to
inferred← citeshttps://doi.org/10.1145/1836089.1836115openalex-snapshot
Tabling for transaction logic
inferred← citeshttps://doi.org/10.1145/2463664.2465218openalex-snapshot
On the expressive power of update primitives
inferred← citeshttps://doi.org/10.1201/b11250-5openalex-snapshot
Access Control Administration
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.