On the public citation graph

Some notes on knowledge assimilation in deductive databases

https://doi.org/10.1007/bfb0055502
0 signed · 120 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.1006/jcss.1995.1051openalex-snapshot
Constraint Query Languages
inferredcites →https://doi.org/10.1007/3-540-16492-8_77openalex-snapshot
Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning
inferredcites →https://doi.org/10.1007/3-540-16780-3_125openalex-snapshot
Causes for events: Their computation and applications
inferredcites →https://doi.org/10.1007/3-540-19074-0_69openalex-snapshot
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
inferredcites →https://doi.org/10.1007/3-540-50171-1_22openalex-snapshot
View update translation via deduction and annotation
inferredcites →https://doi.org/10.1007/3-540-53507-1_94openalex-snapshot
Drawing updates from derivations
inferredcites →https://doi.org/10.1007/3-540-55015-1_26openalex-snapshot
On the efficient computation of the difference between consecutive database states
inferredcites →https://doi.org/10.1007/3-540-60608-4_48openalex-snapshot
Querying semistructured heterogeneous information
inferredcites →https://doi.org/10.1007/3-540-62718-9_18openalex-snapshot
Synthesis of proof procedures for default reasoning
inferredcites →https://doi.org/10.1007/3-540-63792-3_2openalex-snapshot
Inductive logic databases: From extensional to intensional knowledge
inferredcites →https://doi.org/10.1007/978-1-4612-4792-0_13openalex-snapshot
Theorist: A Logical Reasoning System for Defaults and Diagnosis
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-8297-7_6openalex-snapshot
On the Integrity of Typed First Order Data Bases
inferredcites →https://doi.org/10.1007/978-1-4615-9385-0_6openalex-snapshot
Compiling Constraint-Checking Programs from First-Order Formulas
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5openalex-snapshot
Logic and Data Bases
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_11openalex-snapshot
Negation as Failure
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_12openalex-snapshot
Integrity Checking in Deductive Data Bases
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_4openalex-snapshot
Logic for Data Description
inferredcites →https://doi.org/10.1007/978-3-642-29414-3_3openalex-snapshot
Teleo-Reactive Abductive Logic Programs
inferredcites →https://doi.org/10.1007/978-3-642-74688-8_13openalex-snapshot
The Range Form of Databases and Queries or: How to Avoid Floundering
inferredcites →https://doi.org/10.1007/978-3-642-76274-1_1openalex-snapshot
Problems and Promises of Computational Logic
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-83397-7openalex-snapshot
Foundations of Knowledge Base Management
inferredcites →https://doi.org/10.1007/978-3-642-83397-7_22openalex-snapshot
The Limitations of Logic and Its Role in Artificial Intelligence
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf00263192openalex-snapshot
Logic for improving integrity checking in relational data bases?
inferredcites →https://doi.org/10.1007/bf01237920openalex-snapshot
Updating knowledge bases while maintaining their consistency
inferredcites →https://doi.org/10.1007/bf03037170openalex-snapshot
Logic programs with exceptions
inferredcites →https://doi.org/10.1007/bf03037329openalex-snapshot
A knowledge assimilation method for logic databases
inferredcites →https://doi.org/10.1007/bf03037523openalex-snapshot
Updating knowledge bases II
inferredcites →https://doi.org/10.1007/bfb0013086openalex-snapshot
MegaLog — A platform for developing knowledge base management systems
inferredcites →https://doi.org/10.1007/bfb0014177openalex-snapshot
How to tackle schema validation by view updating
inferredcites →https://doi.org/10.1007/bfb0023799openalex-snapshot
Prolegomena to logic programming for non-monotonic reasoning
inferredcites →https://doi.org/10.1007/bfb0031739openalex-snapshot
Towards a unified agent architecture that combines rationality with reactivity
inferredcites →https://doi.org/10.1007/bfb0037029openalex-snapshot
Knowledge assimilation and abduction
inferredcites →https://doi.org/10.1007/bfb0055502openalex-snapshot
Some notes on knowledge assimilation in deductive databases
inferredcites →https://doi.org/10.1007/bfb0055503openalex-snapshot
Applications of belief revision
inferredcites →https://doi.org/10.1007/bfb0055505openalex-snapshot
A practical approach to hypothetical database queries
inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot
A logic for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(86)90032-9openalex-snapshot
Applications of circumscription to formalizing common-sense knowledge
inferredcites →https://doi.org/10.1016/0004-3702(88)90077-xopenalex-snapshot
A logical framework for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(90)90101-5openalex-snapshot
Nonmonotonic reasoning, preferential models and cumulative logics
inferredcites →https://doi.org/10.1016/0142-0496(82)90047-9openalex-snapshot
Database security and integrity
inferredcites →https://doi.org/10.1016/0167-9236(86)90059-xopenalex-snapshot
Some steps towards a DBMS based KBMS
inferredcites →https://doi.org/10.1016/0169-023x(89)90021-9openalex-snapshot
A path finding method for constraint checking in deductive databases
inferredcites →https://doi.org/10.1016/0306-4379(83)90037-6openalex-snapshot
Integrity checking in data base systems
inferredcites →https://doi.org/10.1016/0306-4379(84)90012-7openalex-snapshot
Validating database updates
inferredcites →https://doi.org/10.1016/0743-1066(84)90011-6openalex-snapshot
Making prolog more expressive
inferredcites →https://doi.org/10.1016/0743-1066(87)90009-4openalex-snapshot
Integrity constraint checking in stratified databases
inferredcites →https://doi.org/10.1016/0743-1066(88)90006-4openalex-snapshot
Perspectives in deductive databases
inferredcites →https://doi.org/10.1016/0743-1066(94)00039-9openalex-snapshot
A survey of deductive database systems
inferredcites →https://doi.org/10.1016/0743-1066(94)90024-8openalex-snapshot
Logic programming and negation: A survey
inferredcites →https://doi.org/10.1016/0743-1066(95)94697-xopenalex-snapshot
An argumentation-theoretic foundation for logic programming
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50009-9openalex-snapshot
On the Declarative Semantics of Deductive Databases and Logic Programs
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50013-0openalex-snapshot
A Theorem-Proving Approach to Database Integrity
inferredcites →https://doi.org/10.1016/b978-0-934613-53-8.50034-0openalex-snapshot
FAST MAINTENANCE OF SEMANTIC INTEGRITY ASSERTIONS USING REDUNDANT AGGREGATE DATA**This work was supported by the National Science Foundation under grants MCS-77-05314, MCS-79-07762, and MCS-79-08365
inferredcites →https://doi.org/10.1016/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1016/s0004-3702(97)00015-5openalex-snapshot
An abstract, argumentation-theoretic approach to default reasoning
inferredcites →https://doi.org/10.1016/s0743-1066(97)00026-5openalex-snapshot
The IFF proof procedure for abductive logic programming
inferredcites →https://doi.org/10.1017/cbo9780511526664openalex-snapshot
Belief Revision
inferredcites →https://doi.org/10.1023/a:1009726021843openalex-snapshot
Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals
inferredcites →https://doi.org/10.1038/135131a0openalex-snapshot
Collected Papers of Charles Sanders Peirce
inferredcites →https://doi.org/10.1049/ip-cdt:19970838openalex-snapshot
Logic for verifying public-key cryptographic protocols
inferredcites →https://doi.org/10.1063/1.3060577openalex-snapshot
The Logic of Scientific Discovery
inferredcites →https://doi.org/10.1080/11663081.1995.10510843openalex-snapshot
Knowledge base dynamics, abduction, and database updates
inferredcites →https://doi.org/10.1080/11663081.1997.10510907openalex-snapshot
On having bad contractions, or: no room for recovery
inferredcites →https://doi.org/10.1093/comjnl/12.1.1openalex-snapshot
Integrity of a Mass Storage Filing System
inferredcites →https://doi.org/10.1093/comjnl/15.3.191openalex-snapshot
On preserving the integrity of data bases
inferredcites →https://doi.org/10.1093/comjnl/17.1.52openalex-snapshot
Consistency auditing of databases
inferredcites →https://doi.org/10.1093/comjnl/26.2.124openalex-snapshot
A Step Towards the Automatic Maintenance of the Semantic Integrity of Databases
inferredcites →https://doi.org/10.1093/oso/9780198537922.003.0007openalex-snapshot
The Role of Abduction in Logic Programming
inferredcites →https://doi.org/10.1109/9780470544327openalex-snapshot
Contemporary Cryptology: The Science of Information Integrity
inferredcites →https://doi.org/10.1109/mc.1983.1654206openalex-snapshot
Logic Programming as a Representation of Knowledge
inferredcites →https://doi.org/10.1109/sccc.1997.636868openalex-snapshot
Abduction for knowledge assimilation in deductive databases
inferredcites →https://doi.org/10.1111/j.1467-8640.1989.tb00319.xopenalex-snapshot
Explanation and prediction: an architecture for default and abductive reasoning
inferredcites →https://doi.org/10.1142/9789814535960openalex-snapshot
Advances in Database Research
inferredcites →https://doi.org/10.1145/1005937.1005947openalex-snapshot
Logic for problem solving
inferredcites →https://doi.org/10.1145/1282480.1282483openalex-snapshot
Semantic integrity in a relational data base system
inferredcites →https://doi.org/10.1145/1282480.1282484openalex-snapshot
Functional specifications of a subsystem for data base integrity
inferredcites →https://doi.org/10.1145/182591.182597openalex-snapshot
Constraint checking with partial information
inferredcites →https://doi.org/10.1145/234313.234362openalex-snapshot
Rules in database systems
inferredcites →https://doi.org/10.1145/240455.240463openalex-snapshot
Data mining and knowledge discovery in databases
inferredcites →https://doi.org/10.1145/298514.298572openalex-snapshot
Stable models and non-determinism in logic programs with negation
inferredcites →https://doi.org/10.1145/298514.298582openalex-snapshot
Constraint query languages (preliminary report)
inferredcites →https://doi.org/10.1145/318898.318914openalex-snapshot
Integrity checking for multiple updates
inferredcites →https://doi.org/10.1145/325405.325439openalex-snapshot
Transactions and integrity constraints
inferredcites →https://doi.org/10.1145/356924.356929openalex-snapshot
Logic and Databases: A Deductive Approach
inferredcites →https://doi.org/10.1145/357980.358007openalex-snapshot
A relational model of data for large shared data banks
inferredcites →https://doi.org/10.1145/362384.362685openalex-snapshot
A relational model of data for large shared data banks
inferredcites →https://doi.org/10.1145/500080.500091openalex-snapshot
Implementation of integrity constraints and views by query modification
inferredcites →https://doi.org/10.1145/500087.500091openalex-snapshot
Implementation of integrity constraints and views by query modification
inferredcites →https://doi.org/10.1145/509252.509290openalex-snapshot
Efficient monitoring of database assertions
inferredcites →https://doi.org/10.1145/582353.582361openalex-snapshot
Fast methods for testing quantified relational calculus assertions
inferredcites →https://doi.org/10.1145/58562.59302openalex-snapshot
Maintaining state constraints in relational databases: a proof theoretic basis
inferredcites →https://doi.org/10.1145/74850.74852openalex-snapshot
A logic of authentication
inferredcites →https://doi.org/10.1145/78922.78924openalex-snapshot
Logic-based approach to semantic query optimization
inferredcites →https://doi.org/10.1145/800186.810578openalex-snapshot
The use of theorem-proving techniques in question-answering systems
inferredcites →https://doi.org/10.1145/800296.811504openalex-snapshot
On interaction with data bases
inferredcites →https://doi.org/10.1609/aimag.v18i3.1304openalex-snapshot
Logic and Databases Past, Present, and Future
inferredcites →https://doi.org/10.2307/2274239openalex-snapshot
On the logic of theory change: Partial meet contraction and revision functions
inferredcites →https://doi.org/10.2307/2550489openalex-snapshot
The Logic of Scientific Discovery.
inferredcites →https://doi.org/10.3233/fi-1998-34301openalex-snapshot
Executing Suspended Logic Programs
inferredcites →https://doi.org/10.5860/choice.49-0903openalex-snapshot
Introduction to artificial intelligence
inferredcites →https://doi.org/10.7551/mitpress/1425.003.0013openalex-snapshot
Logical vs. Analogical or Symbolic vs. Connectionist or Neat vs. Scruffy
inferredcites →https://doi.org/10.7551/mitpress/4298.003.0041openalex-snapshot
Reduction of Abductive Logic Programs to Normal Logic Programs
inferredcites →https://doi.org/10.7551/mitpress/4301.003.0050openalex-snapshot
Partial Deduction of the Ground Representation and its Application to Integrity Checking
inferredcites →https://doi.org/10.7551/mitpress/4307.003.0016openalex-snapshot
An Assumption-based Framework for Non-monotonic Reasoning
inferredcites →https://doi.org/10.7551/mitpress/4316.003.0047openalex-snapshot
A slick procedure for integrity checking in deductive databases

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-36596-6_4openalex-snapshot
Historical and Computational Aspects of Paraconsistency in View of the Logic Foundation of Databases
inferred← citeshttps://doi.org/10.1007/3-540-36596-6_5openalex-snapshot
Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling
inferred← citeshttps://doi.org/10.1007/3-540-45241-9_15openalex-snapshot
Soundcheck for SQL
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-540-88737-9_8openalex-snapshot
Towards Rule-Based Minimization of RDF Graphs under Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-15918-3_23openalex-snapshot
On the Termination of the Chase Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-642-23441-5_4openalex-snapshot
Answers that Have Integrity
inferred← citeshttps://doi.org/10.1017/s1471068403001716openalex-snapshot
An abductive framework for computing knowledge base updates
inferred← citeshttps://doi.org/10.4018/978-1-60566-026-4.ch153openalex-snapshot
Database Integrity Checking
inferred← citeshttps://doi.org/10.4018/978-1-60566-058-5.ch016openalex-snapshot
Database Integrity Checking
inferred← citeshttps://doi.org/10.4018/978-1-930708-38-9.ch007openalex-snapshot
Translating Advanced Integrity Checking Technology to SQL
showing the first 11 of 12 · page through all 12
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.