On the public citation graph

A model-based belief revision system

https://doi.org/10.1007/bf00881886
0 signed · 62 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-50701-9_16openalex-snapshot
General theory of cumulative inference
inferredcites →https://doi.org/10.1007/3-540-54563-8_91openalex-snapshot
Updates with equality: Beyond the Herbrand universe assumption
inferredcites →https://doi.org/10.1007/bf01110611openalex-snapshot
Deriving properties of belief update from theories of action
inferredcites →https://doi.org/10.1016/0004-3702(79)90008-0openalex-snapshot
A truth maintenance system
inferredcites →https://doi.org/10.1016/0004-3702(84)90038-9openalex-snapshot
Qualitative process theory
inferredcites →https://doi.org/10.1016/0004-3702(87)90062-2openalex-snapshot
A theory of diagnosis from first principles
inferredcites →https://doi.org/10.1016/0004-3702(88)90011-2openalex-snapshot
Reasoning about action I
inferredcites →https://doi.org/10.1016/0004-3702(91)90043-jopenalex-snapshot
Rationality, transitivity, and contraposition
inferredcites →https://doi.org/10.1016/0004-3702(91)90069-vopenalex-snapshot
Propositional knowledge base revision and minimal change
inferredcites →https://doi.org/10.1016/0004-3702(92)90041-uopenalex-snapshot
What does a conditional knowledge base entail?
inferredcites →https://doi.org/10.1016/0898-1221(90)90112-wopenalex-snapshot
Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
inferredcites →https://doi.org/10.1016/b978-0-934613-32-3.50020-4openalex-snapshot
Reasoning About Action I: A Possible Worlds Approach
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.1017/cbo9780511983474.023openalex-snapshot
The dynamics of belief systems: Foundations versus coherence theories
inferredcites →https://doi.org/10.1093/logcom/8.1.87openalex-snapshot
Updates and counterfactuals
inferredcites →https://doi.org/10.1093/oso/9780198538523.003.0010openalex-snapshot
Updates and subjunctive queries
inferredcites →https://doi.org/10.1093/oso/9780198538615.003.0003openalex-snapshot
A Unified View of Consequence Relation, Belief Revision, and Conditional Logic *
inferredcites →https://doi.org/10.1109/caia.1992.200046openalex-snapshot
Integrating model-based and heuristic features in a real-time expert system for power distribution networks
inferredcites →https://doi.org/10.1109/tse.1985.232506openalex-snapshot
On the Use of an Extended Relational Model to Handle Changing Incomplete Information
inferredcites →https://doi.org/10.1145/28659.28675openalex-snapshot
Specification and implementation of programs for updating incomplete information databases
inferredcites →https://doi.org/10.1145/308386.308465openalex-snapshot
A framework for comparison of update semantics
inferredcites →https://doi.org/10.21236/ada466199openalex-snapshot
Introducing Actions into Qualitative Simulation
inferredcites →https://doi.org/10.48550/arxiv.cs/0202022openalex-snapshot
What does a conditional knowledge base entail?

What points at this work

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

inferred← citeshttps://doi.org/10.1002/int.4550100202openalex-snapshot
A stochastic model of actions and plans for anytime planning under uncertainty
inferred← citeshttps://doi.org/10.1007/11965893_13openalex-snapshot
Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics
inferred← citeshttps://doi.org/10.1007/3-540-36388-2_15openalex-snapshot
Logic Programs for Querying Inconsistent Databases
inferred← citeshttps://doi.org/10.1007/3-540-36596-6_2openalex-snapshot
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets
inferred← citeshttps://doi.org/10.1007/3-540-36596-6_3openalex-snapshot
Towards Unifying Semantic Constraints and Security Constraints
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_62openalex-snapshot
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
inferred← citeshttps://doi.org/10.1007/3-540-46466-2_6openalex-snapshot
Specifying Active Rules for Database Maintenance
inferred← citeshttps://doi.org/10.1007/3-540-46695-9_13openalex-snapshot
Minimal Belief Change and Pareto-Optimality
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-3-319-90050-6_4openalex-snapshot
Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs
inferred← citeshttps://doi.org/10.1007/978-3-540-30597-2_5openalex-snapshot
On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases
inferred← citeshttps://doi.org/10.1007/978-3-642-18690-5_2openalex-snapshot
Query Answering in Inconsistent Databases
inferred← citeshttps://doi.org/10.1007/978-94-011-5054-5_5openalex-snapshot
Logics for Belief Base Updating
inferred← citeshttps://doi.org/10.1007/bf00883931openalex-snapshot
A logic programming system for nonmonotonic reasoning
inferred← citeshttps://doi.org/10.1007/bfb0013580openalex-snapshot
Belief revision through the belief-function formalism in a multi-agent environment
inferred← citeshttps://doi.org/10.1007/bfb0027406openalex-snapshot
Tableaux for diagnosis applications
inferred← citeshttps://doi.org/10.1007/s001990100194openalex-snapshot
Minimal belief change, Pareto-optimality and logical consequence
inferred← citeshttps://doi.org/10.1007/s10115-020-01516-6openalex-snapshot
Specifying and computing causes for query answers in databases via database repairs and repair-programs
inferred← citeshttps://doi.org/10.1007/s10489-023-05074-6openalex-snapshot
Revision of prioritized $$\mathcal {E}\mathcal {L}$$ ontologies
inferred← citeshttps://doi.org/10.1016/j.ic.2004.04.007openalex-snapshot
Minimal-change integrity maintenance using tuple deletions
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.04.026openalex-snapshot
A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
inferred← citeshttps://doi.org/10.1016/s0004-3702(03)00111-5openalex-snapshot
A consistency-based approach for belief change
inferred← citeshttps://doi.org/10.1016/s0169-023x(00)00016-1openalex-snapshot
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
inferred← citeshttps://doi.org/10.1016/s1574-6526(07)03009-xopenalex-snapshot
Chapter 9 Qualitative Modeling
inferred← citeshttps://doi.org/10.1017/s0269888915000132openalex-snapshot
Resolving conflicts in knowledge for ambient intelligence
inferred← citeshttps://doi.org/10.1017/s026988899700204xopenalex-snapshot
Belief revision: from theory to practice
inferred← citeshttps://doi.org/10.1017/s1471068403001832openalex-snapshot
Answer sets for consistent query answering in inconsistent databases
inferred← citeshttps://doi.org/10.1023/a:1020512924736openalex-snapshot
Ordered Semantic Hyper Tableaux
inferred← citeshttps://doi.org/10.1023/a:1026153912205openalex-snapshot
Database Repairs and Analytic Tableaux
inferred← citeshttps://doi.org/10.1093/logcom/14.6.801openalex-snapshot
On Computing Belief Change Operations using Quantified Boolean Formulas
inferred← citeshttps://doi.org/10.1093/logcom/exab061openalex-snapshot
An ASP-based solver for parametrized-difference revision
inferred← citeshttps://doi.org/10.1109/dexa.2006.43openalex-snapshot
Consistent Query Answering By Minimal-Size Repairs
inferred← citeshttps://doi.org/10.1109/mascot.1997.567613openalex-snapshot
Model-based alarm correlation in cellular phone networks
inferred← citeshttps://doi.org/10.1142/9789812819918_0006openalex-snapshot
Belief Revision Under Uncertainty in a Multi Agent Environment
inferred← citeshttps://doi.org/10.1145/1774088.1774383openalex-snapshot
Evidential reasoning for the treatment of incoherent terminologies
inferred← citeshttps://doi.org/10.1145/303976.303983openalex-snapshot
Consistent query answers in inconsistent databases
inferred← citeshttps://doi.org/10.3724/sp.j.1001.2010.00001openalex-snapshot
Family of Extended Dynamic Description Logics
inferred← citeshttps://doi.org/10.3724/sp.j.1001.2010.03494openalex-snapshot
Family of Extended Dynamic Description Logics
inferred← citeshttps://doi.org/10.7551/mitpress/11578.001.0001openalex-snapshot
Qualitative Representations: How People Reason and Learn about the Continuous World
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.