References of "Gribomont, Pascal"
     in
Bookmark and Share    
Full Text
See detailHierarchical Planning and Learning for Automatic Solving of Sokoban Problems
Demaret, Jean-Noël ULg; Van Lishout, François ULg; Gribomont, Pascal ULg

(2008)

Detailed reference viewed: 144 (42 ULg)
Full Text
See detailSingle-player games: introduction to a new solving method combining classical state-space modelling with a multi-agent representation.
Van Lishout, François ULg; Gribomont, Pascal ULg

(2006)

Detailed reference viewed: 54 (19 ULg)
Full Text
See detailEpistemic Logic
Gochet, Paul ULg; Gribomont, Pascal ULg

in Gabbay, Dov; Woods, John (Eds.) Handbook of the History of Logic, vol. 7 (2006)

Detailed reference viewed: 52 (15 ULg)
Full Text
See detailAlgorithms for Relevant Logic
Gochet, Paul ULg; Gribomont, Pascal ULg; Rossetto, Didier

in Vanderveken, Daniel (Ed.) Logic, Thought and Action (2005)

Detailed reference viewed: 14 (3 ULg)
Full Text
See detailCombining Non-stably Infinite, Non-first Order Theories
Fontaine, Pascal; Gribomont, Pascal ULg

in Electronic Notes in Theoretical Computer Science (2005), 125(3), 37-51

Detailed reference viewed: 12 (5 ULg)
Full Text
See detailApplied Logics for Computer Science
Gochet, Paul ULg; Gribomont, Pascal ULg

in Weingartner, Paul (Ed.) Alternative Logics. Do Sciences Nedd Them? (2004)

Detailed reference viewed: 18 (6 ULg)
Full Text
See detailDecidability of invariant validation for paramaterized systems
Fontaine, Pascal; Gribomont, Pascal ULg

in Lecture Notes in Computer Science (2003), 2619

Detailed reference viewed: 13 (3 ULg)
Full Text
See detailSimplification of boolean verification conditions
Gribomont, Pascal ULg

in Theoretical Computer Science (2000), 239(1), 165-185

Detailed reference viewed: 27 (10 ULg)
See detailLogique : méthodes pour l'intelligence artificielle
Gochet, Paul ULg; Gribomont, Pascal ULg; Thayse, André

Book published by Hermès (2000)

Detailed reference viewed: 83 (9 ULg)
See detailEléments de programmation en Scheme
Gribomont, Pascal ULg

Book published by Dunod (2000)

Detailed reference viewed: 51 (10 ULg)