Horn approximations of empirical data
- 1 March 1995
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 74 (1) , 129-145
- https://doi.org/10.1016/0004-3702(94)00072-9
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Learning conjunctions of Horn clausesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Learning to reasonJournal of the ACM, 1997
- Reasoning with modelsArtificial Intelligence, 1996
- Knowledge compilation and theory approximationJournal of the ACM, 1996
- Structure identification in relational dataArtificial Intelligence, 1992
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- On the Structure of Armstrong Relations for Functional DependenciesJournal of the ACM, 1984
- Some Philosophical Problems from the Standpoint of Artificial IntelligencePublished by Elsevier ,1981
- On sentences which are true of direct unions of algebrasThe Journal of Symbolic Logic, 1951
- The decision problem for some classes of sentences without quantifiersThe Journal of Symbolic Logic, 1943