Héctor Palacios's web page

I have moved back to Caracas, Venezuela. Please update your bookmarks. You will be redirected in 5 seconds to my new home page: Hector Palacios.

PhD student under supervision of Hector Geffner
Dept of Technology
Universitat Pompeu Fabra

Postal address:

Departamento de Tecnología, UPF
Paseo de Circunvalación, 8
08003 Barcelona, Spain

Phone: +34 93 542 2917
Fax: +34 93 542 2451
hector.palaciosupf.edu
http://www.tecn.upf.edu/~hpalacio

Research Interest

Decision-theoretic planning: conformant, contingent, probabilistic, non-deterministic, etc
Knowledge compilation languages: DNNF, OBDD
SAT and QBF solving
Tractability (theoretical and empirical) of Planning, SAT and QBF
Constraint Programming and CSPs

Publications

From Conformant into Classical Planning: Efficient Translations That May be Complete Too. H. Palacios and H. Geffner. Proc. of the 17th Int. Conf. on Planning and Scheduling 2007 (ICAPS-07). Providence, CA. AAAI Press. To appear
Fast and Informed Action Selection for Planning with Sensing. A. Albore, H. Palacios, H. Geffner. Proc. 12th Conf. Spanish AI (CAEPIA-07), Springer, Salamanca, 11/07.
Compiling Uncertainty Away: Solving Conformant Planning Problems Using a Classical Planner (Sometimes). H. Palacios and H. Geffner. Proc. 21st Nat. Conf. on Artificial Intelligence (AAAI-2006). Boston - USA. (slides presented at Workshop on Planning Under Uncertainty and Execution Contro - ICAPS 2006)
Mapping Conformant Planning into SAT through Compilation and Projection. H. Palacios and H. Geffner. Lecture Notes in Computer Sciences, vol 4177.
Also presented in CP-2005 1st International Workshop on Quantification in Constraint Programming. Sitges, Spain. Oct/2005. First presented as Reducción de la Planificación Conformante a SAT mediante Compilación a d-DNNF. XI Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA-05). Santiago de Compostela, Spain. Nov/2005. Best paper finalist! (Slides for CAEPIA-05)
Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations. H. Palacios, B. Bonet, A. Darwiche, H. Geffner. Proc. of the 15th Int. Conf. on Planning and Scheduling (ICAPS-05). Monterey, CA. AAAI Press, pp 141-150.
Planning as Branch and Bound: A Constraint Programming Implementation; H. Palacios and H. Geffner. XVIII Latin-American Conference on Informatics (CLEI-2002), Montevideo, Uruguay, 11/2002

Teaching

Procesadores de Lenguajes I (2007)

Ejemplo de Flex: contador.zip
Ejemplo de Bison: fulltime.zip

Taller de Modelització i Simulació II (2005-2006)

Venezuela's presidential elections are on Dec 3 2006. Venezuelan bloggers are making an alternative covering, beyond public and private mass media. More info on Elecciones3D. People to people info.

Web page at Simon Bolivar University (outdated).

Last modified 14/Sep/2007