LoRea (Logic and Reasoning) - GIU 21/044
Universidad Complutense de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadoras/es de Universidad Complutense de Madrid (6)
2011
-
Negative results on learning multivalued dependencies with queries
Information Processing Letters, Vol. 111, Núm. 19, pp. 968-972
2010
-
A complete axiomatization of strict equality
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
1999
-
Learning minimal covers of functional dependencies with queries
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69
1988
-
Some general incompleteness results for partial correctness logics
Information and Computation, Vol. 79, Núm. 1, pp. 22-42