On functional dependencies in q-Horn theories
Artificial Intelligence
SLFD Logic: Elimination of Data Redundancy in Knowledge Representation
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
A New Algebraic Tool for Automatic Theorem Provers
Annals of Mathematics and Artificial Intelligence
Artificial Intelligence
Fundamental study: The multiple facets of the canonical direct unit implicational basis
Theoretical Computer Science
A subclass of Horn CNFs optimally compressible in polynomial time
Annals of Mathematics and Artificial Intelligence
Computing premises of a minimal cover of functional dependencies is intractable
Discrete Applied Mathematics
| Hi-index | 0.00 |