Epistemic logic P Gochet, P Gribomont Handbook of the History of Logic 7, 99-195, 2006 | 113 | 2006 |
Epistemic logic P Gochet, P Gribomont Handbook of the History of Logic 7, 99-195, 2006 | 113 | 2006 |
" Logique", méthodes pour l'informatique fondamentale P Gochet, P Gribomont Revue de Métaphysique et de Morale 97 (4), 573, 1992 | 84 | 1992 |
From standard logic to logic programming: introducing a logic based approach to artificial intelligence P Gochet, E Gregoire, P Gribomont, G Louis, E Sanchez, D Snyers, ... John Wiley & Sons, Inc., 1988 | 80 | 1988 |
" Logique", méthodes pour l'informatique fondamentale P Gochet, P Gribomont Revue de Métaphysique et de Morale 97 (4), 573, 1992 | 79 | 1992 |
" Logique", méthodes pour l'informatique fondamentale P Gochet, P Gribomont Revue de Métaphysique et de Morale 97 (4), 573, 1992 | 79 | 1992 |
Automated verification of szymanski's algorithm EP Gribomont, G Zenner International Conference on Tools and Algorithms for the Construction and …, 1998 | 31 | 1998 |
Decidability of invariant validation for paramaterized systems P Fontaine, EP Gribomont International Conference on Tools and Algorithms for the Construction and …, 2003 | 20 | 2003 |
Logique: Méthodes pour l'intelligence artificielle P Gochet, P Gribomont, A Thayse Hermès, Paris, France, 2000 | 18 | 2000 |
Concurrency without toil: a systematic method for parallel program design EP Gribomont Science of Computer Programming 21 (1), 1-56, 1993 | 18 | 1993 |
From modal logic to deductive databases: introducing a logic based approach to artificial intelligence P Gochet Wiley, 1989 | 18* | 1989 |
Combining non-stably infinite, non-first order theories P Fontaine, P Gribomont Electronic Notes in Theoretical Computer Science 125 (3), 37-51, 2005 | 17 | 2005 |
Temporal logic P Gribomont, P Wolper John Wiley and Sons, 1989 | 16 | 1989 |
Using BDDs with combinations of theories P Fontaine, EP Gribomont Logic for Programming, Artificial Intelligence, and Reasoning: 9th …, 2002 | 15 | 2002 |
CAVEAT: technique and tool for computer aided verification and transformation EP Gribomont, D Rossetto Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 14 | 1995 |
Simplification of boolean verification conditions EP Gribomont Theoretical Computer Science 239 (1), 165-185, 2000 | 13 | 2000 |
Proving systolic arrays E Pascal Gribomont Colloquium on Trees in Algebra and Programming, 185-199, 1988 | 13 | 1988 |
Logique. Volume 1: méthodes pour l'informatique fondamentale P Gochet | 12* | 1991 |
Stepwise refinement and concurrency: the finite-state case EP Gribomont Science of computer programming 14 (2-3), 185-228, 1990 | 12 | 1990 |
Hierarchical planning and learning for automatic solving of Sokoban problems JN Demaret, F Van Lishout, P Gribomont 20th Belgium-Netherlands Conference on Artificial Intelligence, 2008 | 11 | 2008 |