Reasoning with models
- 1 November 1996
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 87 (1-2) , 187-213
- https://doi.org/10.1016/s0004-3702(96)00006-9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- On the hardness of approximate reasoningArtificial Intelligence, 1996
- Structure identification in relational dataArtificial Intelligence, 1992
- Construction of asymptotically good low-rate error-correcting codes through pseudo-random graphsIEEE Transactions on Information Theory, 1992
- Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation servicesArtificial Intelligence, 1991
- Model-preference default theoriesArtificial Intelligence, 1990
- Making believers out of computersArtificial Intelligence, 1986
- Design by example: An application of Armstrong relationsJournal of Computer and System Sciences, 1986
- On the Structure of Armstrong Relations for Functional DependenciesJournal of the ACM, 1984
- Horn clauses and database dependenciesJournal of the ACM, 1982
- The decision problem for some classes of sentences without quantifiersThe Journal of Symbolic Logic, 1943