Explaining incompatibilities in data dictionary design through abduction
- 30 September 1994
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 13 (2), 101-139
- https://doi.org/10.1016/0169-023x(94)90001-9
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- First order abduction via tableau and sequent calculiLogic Journal of the IGPL, 1993
- Gentzen-type systems, resolution and tableauxJournal of Automated Reasoning, 1993
- A framework for integrated CASEIEEE Software, 1992
- On the Relationship Between Abduction and DeductionJournal of Logic and Computation, 1991
- Diagnosing multiple faultsArtificial Intelligence, 1987
- Notes on the mathematical aspects of Kripke's theory of truth.Notre Dame Journal of Formal Logic, 1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Diagnostic reasoning based on structure and behaviorArtificial Intelligence, 1984
- A complete, nonredundant algorithm for reversed SkolemizationTheoretical Computer Science, 1983
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976