2015
-
Javier Álvez, Paqui Lucio, German Rigau. Improving the Competency of First-Order Ontologies. K-CAP 2015: 15:1-15:8
-
Javier Álvez, Paqui Lucio, German Rigau. Evaluating the Competency of a First-Order Ontology. K-CAP 2015: 28:1-28:4
-
Simone Bova, Hubie Chen. The complexity of equivalence, entailment, and minimization in existential positive logic. J. Comput. Syst. Sci. 81(2): 443-457
-
Hubie Chen, Florent R. Madelaine, Barnaby Martin. Quantified Constraints and Containment Problems. Logical Methods in Computer Science 11(3)
-
Hubie Chen, Moritz Müller. The Fine Classification of Conjunctive Queries and Parameterized Logarithmic Space TOCT 7(2): 7
-
Hubie Chen, Matthew Valeriote. Learnability of Solutions to Conjunctive Queries: The Full Dichotomy. COLT 2015: 326-337
-
Hubie Chen, Stefan Mengel. A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries. ICDT 2015: 110-126
-
Hubie Chen. Parameter Compilation. IPEC 2015: 127-137
-
Montserrat Hermo, Ana Ozaki. Exact Learning of Multivalued Dependencies. ALT 2015: 73-88
-
Marisa Navarro. Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. EPTCS 200, 2015
-
Marisa Navarro, Fernando Orejas, Elvira Pino. Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency. Springer Lecture Notes in Computer Science 9200: 539-561
-
K. Rustan M. Leino, Paqui Lucio. An Assertional Proof of the Stability and Correctness of Natural Mergesort. ACM Trans. Comput. Log. 17(1): 6