Publications and communications of Pascal Gribomont

Demaret, J.-N., Van Lishout, F., & Gribomont, P. (2008). Hierarchical Planning and Learning for Automatic Solving of Sokoban Problems [Paper presentation]. 20th Belgium-Netherlands Conference on Artificial Intelligence, Enschede, Netherlands.

Van Lishout, F., & Gribomont, P. (2006). Single-player games: introduction to a new solving method combining classical state-space modelling with a multi-agent representation [Paper presentation]. 18th Belgium-Netherlands Conference on Artificial Intelligence, Namur, Belgium.

Fontaine, P., & Gribomont, P. (2005). Combining Non-stably Infinite, Non-first Order Theories. Electronic Notes in Theoretical Computer Science, 125 (3), 37-51. doi:10.1016/j.entcs.2004.06.066

Fontaine, P., & Gribomont, P. (2003). Decidability of invariant validation for paramaterized systems. Lecture Notes in Computer Science, 2619, 97–112. doi:10.1007/3-540-36577-x_8