Publications

Export 277 results:
Author Title Type [ Year(Asc)]
2007
Dalmau, V., Krokhin, A. A., and Larose, B., First-order Definable Retraction Problems for Posets and Reflexive Graphs, J. Log. Comput., vol. 17, 2007, pp. 31-51.
Palacios, H., and Geffner, H., From Conformant into Classical Planning: Efficient Translations that may be Complete Too, Proc. 17th Int. Conf. on Automated Planning & Scheduling (ICAPS-07), 2007.
Gimenez, O., and Jonsson, A., On the Hardness of Planning Problems With Simple Causal Graphs, Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS'07), 2007, pp. 152-159.
Bulatov, A. A., Chen, H., and Dalmau, V., Learning intersection-closed classes with signatures, Theor. Comput. Sci., vol. 382, 2007, pp. 209-220.
Herbort, O., Ognibene, D., Butz, M. V., and Baldassarre, G., Learning to select targets within targets in reaching tasks, Development and Learning, 2007. ICDL 2007. IEEE 6th International Conference on, IEEE, 2007, pp. 7–12.
Bailey, D. D., Dalmau, V., and Kolaitis, P. G., Phase transitions of PP-complete satisfiability problems, Discrete Applied Mathematics, vol. 155, 2007, pp. 1627-1639.
Atserias, A., Bulatov, A. A., and Dalmau, V., On the Power of ıt k} -Consistency, ICALP, 2007, pp. 279-290.
Jonsson, A., The Role of Macros in Tractable Planning Over Causal Graphs, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), 2007, pp. 1936-1941.
Keyder, E., and Geffner, H., Set-Additive and TSP Heuristics for Planning with Action Costs and Soft Goals, Workshop on Heuristics for Domain-Independent Planning (ICAPS'07), 2007.
Ramírez, M., and Geffner, H., Structural Relaxations by Variable Renaming and their Compilation for Solving MinCostSAT, Proc. 13th Int. Conf. on Principles and Practice of Constraint Programming (CP-07), Springer, 2007, pp. 605-619.
Bulatov, A. A., and Dalmau, V., Towards a dichotomy theorem for the counting constraint satisfaction problem, Inf. Comput., vol. 205, 2007, pp. 651-678.
Ferrauto, T., Ognibene, D., Caligiore, D., and Baldassarre, G., Trajectory learning through motor babbling: reaching with obstacle avoidance, WIVACE 2007 - Quarto Workshop Italiano di Vita Artificiale e Computazione Evolutiva (Sampieri (RG), Italy, 5-7 Settembre 2007), Universita' di Catania, 2007.
Ferrauto, T., Caligiore, D., Ognibene, D., and Baldassarre, G., A User Interface for Physical Engine Robot Simulators, 2007.
2006
Trigo, P., Jonsson, A., and Coelho, H., Active Learning of Dynamic Bayesian Networks in Markov Decision Processes, Lecture Notes in Artificial Intelligence: Advances in Artificial Intelligence (IBERAMIA'06), 2006, pp. 37-47.
Ognibene, D., and Baldassarre, G., APPRENDIMENTO PER RINFORZO E CODIFICA TRAMITE POPOLAZIONE NEURALE: UN MODELLO PER IL REACHING APPLICATO A DUE TASK, WIVA3 - 3rd Workshop Italiano Vita Artificial, Siena, Italy: 2006.
Jonsson, A., and Barto, A., Causal Graph Based Decomposition of Factored MDPs, Journal of Machine Learning Research, vol. 7, 2006, pp. 2259-2301.
Palacios, H., and Geffner, H., Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes), Proc. of AAAI-06, 2006.
Bodirsky, M., and Dalmau, V., Datalog and Constraint Satisfaction with Infinite Templates, STACS, 2006, pp. 646-659.
Dalmau, V., Generalized Majority-Minority Operations are Tractable, Logical Methods in Computer Science, vol. 2, 2006.
Ognibene, D., Mannella, F., Pezzulo, G., and Baldassarre, G., Integrating reinforcement-learning, accumulator models, and motor-primitives to study action selection and reaching in monkeys, Proceedings of the 7th International Conference on Cognitive Modelling-ICCM06, 2006, pp. 214–219.
Ognibene, D., Rega, A., and Baldassarre, G., A model of reaching that integrates reinforcement learning and population encoding of postures, From Animals to Animats 9: Proceedings of the Ninth International Conference on the Simulation of Adaptive Behavior (SAB2006), Springer Berlin/Heidelberg, 2006, pp. 381–393.
Albore, A., Alechina, N., Bertoli, P., Ghidini, C., Logan, B., and Serafini, L., Model-Cheching Memory Requirements Of Resource-Bounded Reasoners, Proc. of 21st National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts: 2006. Paper AAAI (522.37 KB)
Albore, A., and Bertoli, P., Safe LTL Assumption-Based Planning, Proc. Int. Conf. on Automated Planning & Scheduling (ICAPS-06), Lake District, UK: 2006. Paper ICAPS (273.72 KB)
Bulatov, A. A., and Dalmau, V., A Simple Algorithm for Mal'tsev Constraints, SIAM J. Comput., vol. 36, 2006, pp. 16-27.
Rega, A., Ognibene, D., Gigliotta, O., and Baldassarre, G., Un sistema robotico occhio-braccio per lo studio dei processi neurali sottostanti a compiti di reaching costruito presso il LARAL, WIVA, 2006.

Pages