Horn minimization by iterative decomposition

Annals of Mathematics and Artificial Intelligence

Volumn 23, Issue 3-4, 1998, Pages 321-343

  Boros, Endre ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22444455171     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018932728409     Document Type: Article

References (16)

1. G. Ausiello, A. D'Atri and D. Sacca, Minimal representation of directed hypergraphs, SIAM Journal on Computing 15 (1986) 418-431.
2. E. Boros and O. Čepek, On the complexity of Horn minimization, RUTCOR Research Report RRR 1-94, Rutgers University, New Brunswick, NJ (January 1994).
3. O. Čepek, Structural properties and minimization of Horn Boolean functions, Doctoral dissertation, Rutgers University, New Brunswick, NJ (October 1995).
4. R. Dechter and J. Pearl, Structure identification in relational data, Artificial Intelligence 58 (1992) 237-270.
5. C. Delobel and R.G. Casey, Decomposition of a data base and the theory of Boolean switching functions, IBM Journal of Research and Development 17 (1973) 374-386.
6. W.F. Dowling and J.H. Gallier, Linear time algorithms for testing the satisfiability of propositional Horn formulae, Journal of Logic Programming 3 (1984) 267-284.
7. M.R. Garey and D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (W.H. Freeman, San Francisco, 1979).
8. P.L. Hammer and A. Kogan, Horn functions and their DNFs, Information Processing Letters 44 (1992) 23-29.
9. P.L. Hammer and A. Kogan, Optimal compression of propositional Horn knowledge bases: Complexity and approximation, Artificial Intelligence 64 (1993) 131-145.
10. P.L. Hammer and A. Kogan, Knowledge compression - logic minimization for expert systems, in: Computers as Our Better Partners, Proceedings of the IISF/ACM Japan International Symposium (World Scientific, Singapore, 1994) pp. 306-312.
11. P.L. Hammer and A. Kogan, Quasi-acyclic propositional Horn knowledge bases: Optimal compression, IEEE Transactions on Knowledge and Data Engineering 7(5) (1995) 751-762.
12. A. Itai and J.A. Makowsky, Unification as a complexity measure for logic programming, Journal of Logic Programming 4 (1987) 105-117.
13. D.E. Knuth, The Art of Computer Programming, Vol. 1, Fundamental Algorithms (Addison-Wesley, Reading, MA, 1968) (second edition 1973).
14. D. Maier, Minimal covers in the relational database model, Journal of the ACM 27 (1980) 664-674.
15. M. Minoux, LTUR: A simplified linear time unit resolution algorithm for Horn formulae and computer implementation, Information Processing Letters 29 (1988) 1-12.
16. R.E. Tarjan, Depth first search and linear graph algorithms, SIAM Journal on Computing 2 (1972) 146-160.