Export 277 results:
Author [ Title(Desc)] 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 
Palacios, H., and Geffner, H., Compiling uncertainty away in conformant planning problems with bounded width, Journal of Artificial Intelligence Research, vol. 35, 2009, p. 623.
Palacios, H., and Geffner, H., Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes), Proc. of AAAI-06, 2006.
Dalmau, V., and Jonsson, P., The complexity of counting homomorphisms seen from the other side, Theor. Comput. Sci., vol. 329, 2004, pp. 315-323.
Gimenez, O., and Jonsson, A., The Complexity of Planning Problems With Simple Causal Graphs, Journal of Artificial Intelligence Research, vol. 31, 2008, pp. 319-351.
Geffner, H., Computational models of planning, Wiley Interdisciplinary Reviews: Cognitive Science, vol. 4, 2013, pp. 341–356.
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.
Jiménez, S., and Jonsson, A., Computing Plans with Control Flow and Procedures using a Classical Planner, Proceedings of the 8th International Annual Symposium on Combinatorial Search (SoCS'15), 2015.
Geffner, H., and Bonet, B., A Concise Introduction to Models and Methods for Automated Planning, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol. 8, 2013, pp. 1–141.
Dalmau, V., Kolaitis, P. G., and Vardi, M. Y., Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics, CP, 2002, pp. 310-326.
Dalmau, V., Constraint Satisfaction Problems in Non-deterministic Logarithmic Space, ICALP, 2002, pp. 414-425.
Lotinac, D., and Jonsson, A., Constructing Hierarchical Task Models Using Invariance Analysis, Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16), 2016.
Ognibene, D., Chinellato, E., Sarabia, M., and Demiris, Y., Contextual action recognition and target localization with an active allocation of attention on a humanoid robot, Bioinspiration & Biomimetics, vol. 8, 2013, p. 035002.
Santamaría, G., and Gómez, V., Convex inference for community discovery in signed networks, NIPS 2015 Workshop: Networks in the Social and Information Sciences, 2015.
Petit, M., Lallée, S., Boucher, J. - D., Pointeau, G., Cheminade, P., Ognibene, D., Chinellato, E., Pattacini, U., Gori, I., Martinez-Hernandez, U., and , The coordinating role of language in real-time multimodal learning of cooperative tasks, Autonomous Mental Development, IEEE Transactions on, vol. 5, 2013, pp. 3–17.
Gómez, V., Azar, M. Gheshlaghi, and Kappen, H. J., Correcting Multivariate Auto-Regressive Models for the Influence of Unobserved Common Input, Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016, 2016, pp. 177–186.
Carvalho, C., Dalmau, V., and Krokhin, A. A., CSP duality and trees of bounded pathwidth, Theor. Comput. Sci., vol. 411, 2010, pp. 3188-3208.
Rankothge, W., Le, F., Russo, A., and Lobo, J., Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms, arXiv preprint arXiv:1702.00369, 2017.
Bodirsky, M., and Dalmau, V., Datalog and Constraint Satisfaction with Infinite Templates, STACS, 2006, pp. 646-659.
Bodirsky, M., and Dalmau, V., Datalog and constraint satisfaction with infinite templates, J. Comput. Syst. Sci., vol. 79, 2013, pp. 79-100.
Pasarella, E., and Lobo, J., A Datalog Framework for Modeling Relationship-based Access Control Policies, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, ACM, 2017, pp. 91–102.
Francès, G., Rubio-Campillo, X., Lancelotti, C., and Madella, M., Decision Making in Agent-Based Models, Multi-Agent Systems, 2014, pp. 370–378.
Nunes, C., Jonsson, A., Camara, O., and Bijnens, B., A Decision Tree Approach for Imprecise Data, Proceedings of the 11th Women in Machine Learning Workshop (WiML'16), 2016.
Ma, J., Le, F., Russo, A., and Lobo, J., Declarative Framework for Specification, Simulation and Analysis of Distributed Applications, IEEE Transactions on Knowledge and Data Engineering, vol. 28, 2016, pp. 1489–1502.
Chen, H., and Dalmau, V., Decomposing Quantified Conjunctive (or Disjunctive) Formulas, SIAM J. Comput., vol. 45, 2016, pp. 2066-2086.
Aragón, P., Kaltenbrunner, A., Calleja-López, A., Pereira, A., Monterde, A., Barandiaran, X. E., and Gómez, V., Deliberative Platform Design: The Case Study of the Online Discussions in Decidim Barcelona, Social Informatics: 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017, Proceedings, Part II, G.Luca Ciampaglia, Mashhadi, A., and Yasseri, T., Cham: Springer International Publishing, 2017, pp. 277–287.