Publications

Export 261 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Campos, E., Granados, A., Jiménez, S., and Garrido, J., Tutor Informatico: Increasing the Selfteaching in Down Syndrome People, Computers Helping People with Special Needs, 9th International Conference, {ICCHP} 2004, Paris, France, July 7-9, 2004, Proceedings, 2004, pp. 202–205.
Carvalho, C., Dalmau, V., Markovic, P., and Maróti, M., CD(4) has bounded width, Algebra Universalis, vol. 60, 2009, pp. 293-307.
Carvalho, C., Dalmau, V., Markovic, P., and Maróti, M., CD(4) has bounded width, CoRR, vol. abs/0709.1934, 2007.
Carvalho, C., Dalmau, V., and Krokhin, A. A., CSP duality and trees of bounded pathwidth, Theor. Comput. Sci., vol. 411, 2010, pp. 3188-3208.
Carvalho, C., Dalmau, V., and Krokhin, A. A., Two new homomorphism dualities and lattice operations, J. Log. Comput., vol. 21, 2011, pp. 1065-1092.
Carvalho, C., Dalmau, V., and Krokhin, A. A., Caterpillar Duality for Constraint Satisfaction Problems, LICS, 2008, pp. 307-316.
Cate, Bten, Dalmau, V., and Kolaitis, P. G., Learning schema mappings, ACM Trans. Database Syst., vol. 38, 2013, p. 28.
Cate, Bten, Dalmau, V., and Kolaitis, P. G., Learning schema mappings, ICDT, 2012, pp. 182-195.
Cate, Bten, and Dalmau, V., The Product Homomorphism Problem and Applications, 18th International Conference on Database Theory (ICDT 2015), 2015.
Chen, H., and Dalmau, V., Looking Algebraically at Tractable Quantified Boolean Formulas, SAT, 2004, pp. 71-79.
Chen, H., and Dalmau, V., Decomposing Quantified Conjunctive (or Disjunctive) Formulas, SIAM J. Comput., vol. 45, 2016, pp. 2066-2086.
Chen, H., and Dalmau, V., From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction, CSL, 2005, pp. 232-247.
Chen, H., and Dalmau, V., (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability, CP, 2004, pp. 182-196.
Chen, H., and Dalmau, V., Beyond Hypertree Width: Decomposition Methods Without Decompositions, CP, 2005, pp. 167-181.
Chen, H., Dalmau, V., and Grußien, B., Arc consistency and friends, J. Log. Comput., vol. 23, 2013, pp. 87-108.
Chinellato, E., Ognibene, D., Sartori, L., and Demiris, Y., Time to Change: Deciding When to Switch Action Plans during a Social Interaction, Biomimetic and Biohybrid Systems, Springer Berlin Heidelberg, 2013, pp. 47–58.
Coles, A. Jane, Coles, A., Olaya, Á. García, Jiménez, S., López, C. Linares, Sanner, S., and Yoon, S., A Survey of the Seventh International Planning Competition, {AI} Magazine, vol. 33, 2012.
Crosby, M., Jonsson, A., and Rovatsos, M., A Single-Agent Approach to Multiagent Planning, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), 2014.

Pages