Publications

Export 261 results:
Author Title Type [ Year(Asc)]
2004
Vidal, V., and Geffner, H., Branching and Pruning: An Optimal Temporal POCL Planner based on Constraint Programming, Proceedings of 19th Nat. Conf. on Artificial Intelligence (AAAI-04), D. McGuiness and Ferguson, G., AAAI Press/MIT Press, 2004, pp. 570-577. Paper AIJ 2006 (291.11 KB)
Dalmau, V., and Jonsson, P., The complexity of counting homomorphisms seen from the other side, Theor. Comput. Sci., vol. 329, 2004, pp. 315-323.
Klaus, J., Miesenberger, K., Zagler, W. L., and Burger, D., Computers Helping People with Special Needs, 9th International Conference, ICCHP 2004, Paris, France, July 7-9, 2004, Proceedings, Lecture Notes in Computer Science, vol. 3118, 2004.
Dalmau, V., Krokhin, A. A., and Larose, B., First-Order Definable Retraction Problems for Posets and Reflexive Graph, LICS, 2004, pp. 232-241.
Albore, A., and Bertoli, P., Generating Safe Assumption-Based Plans for Partially Observable, Nondeterministic Domains, Proceedings of the National Conference on Artificial Intelligence (AAAI), Palo Alto, USA: AAAI Press, 2004, pp. 495–500.
Bulatov, A. A., Chen, H., and Dalmau, V., Learnability of Relatively Quantified Generalized Formulas, ALT, 2004, pp. 365-379.
Martin, M., and Geffner, H., Learning Generalized Policies from Planning Examples Using Concept Languages, Appl. Intelligence, vol. 20, 2004, pp. 9–19.
Chen, H., and Dalmau, V., Looking Algebraically at Tractable Quantified Boolean Formulas, SAT, 2004, pp. 71-79.
Aguilera, S., Jiménez, S., Bolaños, D., Torre, M. - S., and Colás, J., A New Mobile Text Telephony System Based on GPRS Communications, Computers Helping People with Special Needs, 9th International Conference, {ICCHP} 2004, Paris, France, July 7-9, 2004, Proceedings, 2004, pp. 1160–1166.
Chen, H., and Dalmau, V., (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability, CP, 2004, pp. 182-196.
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.
2001
Jonsson, A., and Barto, A., Automated State Abstraction for Options using the U-Tree Algorithm, Advances in Neural Information Processing Systems (NIPS'00), 2001, pp. 1054-1060.

Pages