Hidde de Jong
Senior research scientist INRIA

INRIA Rhône-Alpes
655 avenue de l'Europe, Montbonnot
38334 Saint Ismier cedex
France

Tel. +33 4 76 61 53 35
Fax +33 4 76 61 54 08

Secretary (Françoise de Coninck)
Tel. +33 4 76 61 53 63

Hidde.de-Jong@inrialpes.fr
http://www-helix.inrialpes.fr/artic...

 Curriculum vitae
 Research interests
 Current projects and collaborations
 Courses and presentations
 Organizational and other activities
 Selected publications

Curriculum vitae

I was born on July 7th 1968 in Delft (the Netherlands). I completed secondary school (VWO) at the Twents Carmellyceum in Oldenzaal, after which I went to study at the University of Twente in Enschede. Between 1986 and 1994 I obtained M.Sc. degrees in Computer Science (cum laude), Management Science (cum laude), and Philosophy of Science, Technology, and Society (cum laude).

In 1993 I started my Ph.D. thesis in the Knowledge-Based Systems group, headed by professor Nicolaas Mars, at the faculty of Computer Science of the University of Twente. My thesis research focused on the development and use of qualitative reasoning techniques for the model-based analysis of measurements in science and engineering. In addition, I maintained a strong interest in the potential role of computers in making scientific discoveries. In 1998 I obtained my Ph.D. degree (cum laude).

In the same year, I joined the Institut National de Recherche en Informatique et en Automatique (INRIA) in France as a research scientist (chargé de recherche). I started to work in the SHERPA research group, headed by François Rechenmann, at the Rhône-Alpes research unit of INRIA in Grenoble. Since 2000, I have been a member of the HELIX research group in bioinformatics, created by François Rechenmann. I mainly work on the development of computational methods for the qualitative analysis of genetic regulatory networks.

In the fall of 2004, I obtained my `Habilitation à diriger des recherches' from the Université Joseph Fourier in Grenoble. I was appointed senior research scientist (directeur de recherche) at INRIA in the next year.

top of page

Research interests

Mathematical modeling of dynamical systems is a basic ingredient of research in practically every domain of science and engineering. Since most of the models developed for real applications are too difficult to solve by analytical means, numerical simulation is routinely used to investigate the behavior of the system being modeled. In many situations though, numerical simulation is difficult to apply, because reliable values for the parameters and initial conditions are not available. In addition, instead of giving precise numerical predictions of the behavior, it is often more appropriate to know which qualitatively-different behaviors are compatible with the structure of the system.

The above considerations explain my interest in developing qualitative methods for the analysis of dynamical systems. The mathematical foundations for such methods have been laid down in the 20th century, the qualitative theory of differential equations being the prime example. A variety of computational methods based on these mathematical results have been developed at the interface of computer science and applied mathematics. Examples that come to mind are methods for the qualitative reasoning about physical systems (artificial intelligence) and methods for the computational analysis of hybrid systems (control theory and theoretical computer science).

The aim of my research is to develop computational methods for the qualitative analysis of dynamical systems and their implementation in working computer tools. I strongly believe in the cross-fertilization of theory and application. This has led me to develop the above-mentioned methods in the context of a biological problem of high scientific interest, the analysis of genetic regulatory networks underlying the development of functioning of living organisms. With my colleagues, I work on the development of a method for qualitative modeling and simulation of these networks, based on a class of piecewise-linear differential equations that have been well-studied in theoretical biology. This method has been implemented in Java in the computer tool Genetic Network Analyzer (GNA). In collaboration with experimental biologists, we use GNA to analyze large and complex genetic regulatory networks of biological interest, such as the networks controlling the initiation of sporulation in Bacillus subtilis and the nutritional stress response in Escherichia coli.

top of page

Current projects and collaborations

My current research focuses on the development of Genetic Network Analyzer, a computer tool for the qualitative modeling and simulation of genetic regulatory networks. The aim of GNA is to assist biologists and bioinformaticians in constructing a model of a genetic regulatory network using knowledge about regulatory interactions in combination with gene expression data. GNA has been developed in collaboration with Michel Page (INRIA Rhône-Alpes; Université Pierre Mendès France, Grenoble), with the help of a number of other people, most notably Grégory Batt and Céline Hernandez (now at Swiss Institute of Bioinformatics). Jean-Luc Gouzé (INRIA Sophia-Antipolis), Tewfik Sari (Université de Haute-Alsace, Mulhouse), and Richard Casey (now at RMB International) have made contributions to the mathematical foundations of GNA, while Hans Geiselmann (Université Joseph Fourier, Grenoble), Jean Houmard (ENS Paris), Irina Mihalcescu, Delphine Ropers (INRIA Rhône-Alpes), and Dominique Schneider (Université Joseph Fourier, Grenoble) have been actively involved in the application of the tool to the modeling of bacterial regulatory networks or the experimental verification of the model predictions through time-series measurements of gene expression.

Several extensions of the tool are currently under development. In order to scale up the qualitative analysis to large and complex networks, we are in the process of combining GNA with model checking and other formal verification tools. Initiated by the PhD thesis work of Gregory Batt, this direction is currently being further explored in collaboration with Estelle Dumas (INRIA Rhône-Alpes), Gregor Gössler (INRIA Rhône-Alpes), Radu Mateescu (INRIA Rhône-Alpes), Pedro Monteiro (INRIA Rhône-Alpes and INESC-ID), and Adrien Richard (INRIA Rhône-Alpes). Experimental measurements of gene expression are not only useful for model validation, but also for model identification, that is, the complete or partial inference of the model from experimental data. The latter problem is being studied in collaboration with Samuel Drulhe (INRIA Rhône-Alpes) and Giancarlo Ferrari-Trecate, by adapting identification techniques developed for hybrid systems. A further extension concerns the application of the qualitative simulation approach to integrated genetic regulatory and metabolic networks. Involving many of the people mentioned above, this project is being directed by Daniel Kahn (INRIA Rhône-Alpes and INRA). Recently, the company Genostar Technologies SA has taken over the distribution of GNA and integrated the program into its IOGMA platform for explorative genomics. GNA remains freely available for non-profit, academic research though. With Bruno Besson and François Rechenmann (INRIA Rhône-Alpes) we are developing tools for facilitating the construction of simulation models in the IOGMA environment.

GNA has been used in several research projects involving mathematicians, computer scientists, and biologists in France and abroad. I have been directly involved in the following projects:

 Modeling and simulation of genetic regulatory networks: Signal transduction by cyclic nucleotides in the cyanobacterium Synechocystis PCC 6803 (2000-2002), Programme Bioinformatique inter-EPST.
 Validation of models of genetic regulatory networks: Global regulation of transcription in Escherichia coli and Synechocystis PCC 6803 (2002-2004), Programme Bioinformatique inter-EPST.
 GDyn: Dynamic analysis of genetic regulatory networks (2002-2004), Action de Recherche Coopérative INRIA. Article in INRIA newsletter
 BacAttract: Theoretical and experimental analysis of the attractors of genetic regulatory networks: Global regulation of transcription in Escherichia coli and Synechocystis PCC 6803 (2003-2006), ACI IMPBio
 Hygeia: Hybrid Systems for Biochemical Network Modeling and Analysis (2005-2007), NEST-2003-1 ADVENTURE. Article in INRIA year report
 Experimental verification of the predictions of a model of the E. coli nutritional stres response (2005-2007), CPER.
 COBIOS: Engineering and Control of Biological Systems: A New Way to Tackle Complex Diseases and Biotechnological Innovation (2007-2009), NEST-2005-2 PATHFINDER.
 EC-MOAN: Scalable Modeling and Analysis Techniques to Study Emergent Cell Behavior; Understanding the E. coli Stress Response (2007-2009), NEST-2005-2 PATHFINDER.
 MetaGenoReg: Towards an Understanding of the Interrelations between Metabolic and Gene Regulation: E. coli Carbon Metabolism as a Test Case (2006-2009), ANR Biologie systémique (BIOSYS).

top of page

Courses and presentations

I have given courses in bioinformatics and systems biology, in particular on the modeling and simulation of genetic regulatory networks, at the Institut National des Sciences Appliquées (INSA) in Lyon, the Claude Bernard University, also in Lyon, the Ecole Normale Supérieure in Paris, and in the Ph.D. Program in Computational Biology of the Instituto Gulbenkian de Ciencia in Lisbon (Portugal). The latest version of these courses, providing a general introduction and an overview of the qualitative modeling and simulation approach, are available, as well as a set of computer exercises for a practical training course on Genetic Network Analyzer (GNA).

I also gave a course at the CIMPA-UNESCO summer school on Mathematical and Computational Methods in Biology held in Valdivia (Chile) early 2004, and more recently at the EPSRC (Engineering and Physical Research Council) Graduate Course on Networks in Bristol (UK) as well as at ICE-EM Summer Symposium in Bioinformatics, BioInfoSummer 2006 in Canberra (Australia). The Powerpoint presentations of lectures on Modeling and simulation of genetic regulatory networks using ordinary differential equations and Qualitative modeling and simulation of genetic regulatory networks are available.

During the Taiwanese Bioinformatics conference BIT2005, I gave an invited talk on the qualitative modeling and simulation of genetic regulatory networks, while Delphine Ropers presented a tutorial on GNA. Another recent presentation is a keynote lecture at the Twentieth International Workshop on Qualitative Reasoning (QR-06) held at Dartmouth College in Hanover, NH (USA).

top of page

Organizational and other activities

I have been involved in the organization of a few international meetings, notably the ECCB 2003 Satellite Meeting on Modeling and Simulation of Genetic Regulatory Networks (with Denis Thieffry) and the JOBIM 2004 Satellite Meeting on Dynamical Modelling of Biological Regulatory Networks (with Claudine Chaouiya, Sébastien Provencher, and Denis Thieffry). The latter meeting has given rise to a special issue of BioSystems, which appeared in 2006. With Bastien Fernandez and Denis Thieffry, I organized the Spring School on Dynamical Modelling of Biological Regulatory Networks in Les Houches in the French Alps.

I have been a member of the Scientific Committee of the French working group VICANNE, concerned with the dynamical modeling of biological regulatory networks. For this working group, Delphine Ropers and I organized a meeting on integrated models of gene regulation and metabolism in Grenoble (May 2004). In addition, within the framework of VICANNE, Claudine Chaouiya and I organized the JOBIM 2005 Satellite Meeting on Dynamical Modelling of Biological Regulatory Networks on the theme "Measuring for modeling, modeling for measuring". Within the National Working Group on Molecular Bioinformatics (GDR CNRS 3003), I coordinate with Stéphane Robin the organization of meetings on transcriptomics, proteomics, modeling, inference and analysis of biological networks. I am a member of the Société Française de BioInformatique (SFBI).

I am a member of the Editorial Boards of the ACM/IEEE Transactions on Computational Biology and Bioinformatics (2005-) and the Journal of Mathematical Biology (2008-). Moreover, I have been on the program committee of a number of national and international conferences, like the international conference on Intelligent Systems for Molecular Biology (ISMB) (2005), the Computational Methods in Systems Biology (CSMB) conference (2008-), the Journées Ouvertes Biologie Informatique Mathématiques (JOBIM) (2004-2006), the International Workshop on Qualitative Reasoning (QR) (2002-), the La Doua meeting on Integrative Post-Genomics (IPG) (2005-2007) and the associated RIAMS Workshop (2006-2007), the IEEE Workshop on Genomic Signal Processing and Statistics (2005-2006), and the Conference on Algorithms and Computational Methods for Biochemical and Evolutionary Networks (2004-2005).

For INRIA Rhône-Alpes, I am the local correspondant of the departments of European Partnerships and International Relations of INRIA, while I am also a member of the Scientific and Technological Orientation Council (COST) for International Relations.

top of page

Selected publications

2008

 G. Batt, H. de Jong, M. Page, J. Geiselmann (2008), Symbolic reachability analysis of genetic regulatory networks using qualitative abstractions, Automatica, 44(4):982-989. For longer version, see Technical Report INRIA, RR-6136.
 H. de Jong, M. Page (2008), Search for steady states of piecewise-linear differential equation models of genetic regulatory networks, ACM/IEEE Transactions on Computational Biology and Bioinformatics, in press.
 S. Drulhe, G. Ferrari-Trecate, H. de Jong (2008), The switching threshold reconstruction problem for piecewise affine models of genetic regulatory networks, IEEE Transactions on Automatic Control, 53(1):153-165. Special issue on systems biology.
 P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas, H. de Jong (2008), Temporal logic patterns for querying dynamic models of cellular interaction networks, Bioinformatics, in press. Special issue ECCB-2005.
 D. Ropers, H. de Jong, J. Geiselmann (2008), Mathematical modeling of genetic regulatory networks: Stress responses in Escherichia coli, P. Fu, M. Latterich, S. Panke, Systems and Synthetic Biology, Wiley & Sons, in press.

2007

 G. Batt, H. de Jong, J. Geiselmann, J.-L. Gouzé, M. Page, D. Ropers, T. Sari, D. Schneider (2007), Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux, Technique et Science Informatique, 26(1-2):11-45.
 F. Grognard, H. de Jong, J.-L. Gouzé (2007), Piecewise-linear models of genetic regulatory networks: Theory and example, I. Queinnec, S. Tarbouriech, G. Garcia, S. Niculescu (eds), Biology and Control Theory: Current Challenges, Lecture Notes in Control and Information Sciences (LNCIS) 357, Springer-Verlag, Berlin, 137-159.
 M.W.J.M. Musters, H. de Jong, P.P.J. van den Bosch, N.A.W. van Riel (2007), Qualitative analysis of nonlinear biochemical networks with piecewise-affine functions, A. Bemporad, A. Bicchi, G. Buttazzo (eds), Hybrid Systems: Computation and Control, HSCC 2007, Lecture Notes in Computer Science 4416, Springer-Verlag, Berlin, 727-730.
 D. Ropers, H. de Jong, J. Geiselmann (2007), Modélisation de la réponse au stress nutritionnel de la bactérie Escherichia coli, Biofutur, 275:36-39.

2006

 G. Batt, R. Casey, H. de Jong, J. Geiselmann, J.-L. Gouzé, M. Page, D. Ropers, T. Sari, D. Schneider (2006), Qualitative analysis of the dynamics of genetic regulatory networks using piecewise-linear models, E. Pecou, S. Martinez, A. Maass (eds.), Mathematical and Computational Methods in Biology, Editions Hermann, Paris, 206-239.
 R. Casey, H. de Jong, J.-L. Gouzé (2006), Piecewise-linear models of genetic regulatory networks: Equilibria and their stability, Journal of Mathematical Biology, 52(1):27-56.
 C. Chaouiya, H. de Jong, D. Thieffry (2006), Dynamical modeling of biological regulatory networks, BioSystems, 84(2):77-80. Introduction to special issue.
 H. de Jong, D. Ropers (2006), Strategies for dealing with incomplete information in the modeling of molecular interaction networks, Briefings in Bioinformatics, 7(4):354-363.
 S. Drulhe, G. Ferrari-Trecate, H. de Jong, A. Viari (2006), Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks, J. Hespanha, A. Tiwari (eds), Hybrid Systems: Computation and Control, HSCC 2006, Lecture Notes in Computer Science 3927, Springer-Verlag, Berlin, 184-199.
 H. de Jong, D. Ropers (2006), Qualitative approaches towards the analysis of genetic regulatory networks, Z. Szallasi, V. Periwal, J. Stelling (eds), System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, MIT Press, Cambridge, MA, 125-148.
 D. Ropers, H. de Jong, M. Page, D. Schneider, J. Geiselmann (2006), Qualitative simulation of the carbon starvation response in Escherichia coli, BioSystems, 84(2):124-152.
 I. Vatcheva, O. Bernard, H. de Jong, N.J.I. Mars (2006), Experiment selection for the discrimination of semi-quantitative models of dynamical systems, Artificial Intelligence, 170(4-5):472-506.

2005

 G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, D. Schneider (2005), Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach. L.P. Kaelbling (ed.), Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), Morgan Kauffman, San Francisco, CA., 370-375.
 G. Batt, D. Ropers, H. de Jong, J. Geiselmann, R. Mateescu, M. Page, D. Schneider (2005), Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in Escherichia coli, Bioinformatics, 21(Suppl 1):i19-i28, special issue ISMB-2005.
 G. Batt, H. de Jong, J. Geiselmann, M. Page, D. Ropers, D. Schneider (2005), Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in Escherichia coli, M. Morari, L. Thiele (eds), Hybrid Systems: Computation and Control, HSCC 2005, Lecture Notes in Computer Science 3414, Springer-Verlag, Berlin, 134-150.
 H. de Jong (2005), Qualitative simulation and related approaches for the analysis of dynamical systems, Knowledge Engineering Review, 19(2):93-132.
 H. de Jong, J. Geiselmann (2005), Modeling and simulation of genetic regulatory networks by ordinary differential equations, J. Chen, E.R. Dougherty, I. Shmulevich, Z.J. Wang (eds), Genomic Signal Processing and Statistics, Hindawi Publishing Corporation, New York, 201‑239.
 H. de Jong, D. Ropers, C. Chaouiya, D. Thieffry (2005), Modélisation, analyse et simulation de réseaux de régulation génique, Biofutur, 252:36-40.
 C. Ranquet, A. Toussaint, H. de Jong, G. Maenhaut-Michel, J. Geiselmann (2005), Control of bacteriophage Mu lysogenic repression, Journal of Molecular Biology, 353(1):186-195.
 F. Rechenmann, H. de Jong (2005), Le vivant en équations, La Recherche, 383:32-37.

2004

 G. Batt, D. Bergamini, H. de Jong, H. Gavarel, R. Mateescu (2004), Model checking genetic regulatory networks using GNA and CADP, Eleventh International SPIN Workshop on Model Checking of Software, SPIN 2004, Lecture Notes in Computer Science 2989, Springer-Verlag, Berlin, 158-163.
 H. de Jong (2004), Modélisation et simulation qualitative de réseaux de régulation génique, report presented for obtaining the `Habilitation à diriger des recherches', Joseph Fourier University, Grenoble.
 H. de Jong, J. Geiselmann (2004), Modélisation et simulation de réseaux de régulation génique par des équations différentielles ordinaires, J.-F. Boulicaut, O. Gandrillon (eds), Informatique pour l'analyse du transcriptome, Hermès, Paris, 143-185.
 H. de Jong, J. Geiselmann, G. Batt, C. Hernandez, M. Page (2004), Qualitative simulation of the initiation of sporulation in Bacillus subtilis, Bulletin of Mathematical Biology, 66(2):261-300.
 H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann (2004), Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathematical Biology, 66(2):301-340. Recommended by Faculty of 1000
 D. Eveillard, D. Ropers, H. de Jong, C. Branlant, A. Bockmayr (2004), A multi-scale constraint programming model of alternative splicing regulation, Theoretical Computer Science, 135(1):3-24.

2003

 H. de Jong (2003), Simulation qualitative, L. Travé-Massuyès and P. Dague (eds), Modèles et raisonnements qualitatifs, Hermès, Paris, 269-329.
 H. de Jong (2003), Modeling and simulation of genetic regulatory networks, L. Benvenuti, A. De Santis, L. Farina (eds), Positive Systems, POSTA 2003, Lectures Notes in Control and Information Sciences 294, Springer-Verlag, Berlin, 111-118.
 H. de Jong, J. Geiselmann, C. Hernandez, M. Page (2003), Genetic Network Analyzer: Qualitative simulation of genetic regulatory networks, Bioinformatics, 19(3):336-344. Recommended by Faculty of 1000
 H. de Jong, J. Geiselmann, D. Thieffry (2003), Qualitative modeling and simulation of developmental regulatory networks, S. Kumar, P.J. Bentley (eds), On Growth, Form, and Computers, Academic Press, London, 109-134.
 H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann (2003), Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach, A. Pnueli, O. Maler (eds), Hybrid Systems: Computation and Control, HSCC 2003, Lecture Notes in Computer Science 2623, Springer-Verlag, Berlin, 267-282.
 D. Eveillard, D. Ropers, H. de Jong, C. Branlant, A. Bockmayr (2003), Multiscale modeling of alternative splicing regulation, C.Priami (ed.), Computational Methods in Systems Biology, CMSB-03, Lecture Notes in Computer Science 2602, Springer-Verlag, Berlin, 75-87.
 D. Schneider, A. Latifi, H. de Jong, J. Geiselmann (2003), Dynamics and simulation of the genetic regulatory networks in bacteria, S.G. Pandalai (ed.), Recent Research Developments in Genetics 3:55-83.

2002

 H. de Jong(2002), Modeling andsimulation of genetic regulatory Systems: A literature review, Journal of Computational Biology, 9(1):69-105. Top 5 most read papers
 H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann (2002), Dealing with discontinuities in the qualitative simulation of genetic regulatory networks, Proceedings of Fifteenth European Conference on Artifical Intelligence, ECAI-02, F. van Harmelen (ed.), IOS Press, Amsterdam, 412-416.
 C. Hernandez, H. de Jong, J. Geiselmann, M. Page (2002), VisualGNA: A graphical interface for the qualitative simulation of genetic regulatory networks, J. Nicolas, C. Thermes (eds), Recueil des Actes des Journées Ouvertes Biologie Informatique Mathématiques, JOBIM 2002, Saint-Malo, 335-336.
 D. Thieffry, H. de Jong (2002), Modélisation, analyse et simulation des réseaux génétiques, Médécine/Sciences,18(4):492-502.

2001

 H. de Jong, M. Page, C. Hernandez, J. Geiselmann (2001), Qualitative simulation of genetic regulatory networks: Method and application, B. Nebel (ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, Morgan Kaufmann, San Francisco, CA, 67-73.
 I. Vatcheva, O. Bernard,H.de Jong, J.-L. Gouzé, N.J.I. Mars (2001), Discrimination of semi-quantitative models by experiment selection: Method and application in population biology, B. Nebel (ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, Morgan Kaufmann, San Francisco, CA, 74-79.

2000

 H.de Jong, M. Page (2000), Qualitative simulation of large and complex genetic regulatory systems, W.Horn (ed.), Proceedings of the Fourteenth European Conference on Artificial Intelligence, ECAI 2000, IOS Press, Amsterdam, 141-145.
 I. Vatcheva, H. de Jong, N.J.I. Mars (2000), Selection of perturbation experiments for model discrimination, W.Horn (ed.), Proceedings of the Fourteenth European Conference on Artificial Intelligence, ECAI 2000, IOS Press, Amsterdam, 191-195.

1999

 H. de Jong, F. van Raalte (1999), Comparative envisionment construction: A technique for the comparative analysis of dynamical systems, Artificial Intelligence, 115(2), 145-214.
 H. de Jong, N.J.I. Mars, P.E. van der Vet (1999), Computer-supported resolution of measurement conflicts: A case-study in materials science, Foundations of Science, 4(4):427-461.
 I. Vatcheva, H. de Jong (1999), Semi-quantitativecomparative analysis, T.D. Dean (ed.), Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99, Morgan Kaufmann, San Francisco, CA, 1034-1040.

1998

 H. de Jong (1998), Computer-supported analysis of scientific measurements, CTIT Ph.D. Series 98-23, Ph.D. thesis in Computer Science, University of Twente, Enschede, the Netherlands.

1997

 H. de Jong, A. Rip (1997), The computer revolution in science: Steps towards the realization of computer-supported discovery environments, Artificial Intelligence, 91(2):225-256.
 H. de Jong, F. van Raalte (1997), Comparative analysis of structurally different dynamical systems, M.E. Pollack(ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97, Morgan Kaufmann, San Francisco, CA, 486-491.

1996

 H. de Jong, N.J.I. Mars, P.E. van der Vet (1996), CEC: Comparative analysis by envisionment construction, W. Wahlster (ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence, ECAI-96, John Wiley & Sons, Chichester, 476-480.

1995

 H. de Jong, A. Rip (1995), Ontdekkingspraktijk in plaats van logica: Wetenschappelijk ontdekken in computerondersteunde ontdekkingsomgevingen, Kennis en Methode, XIX(2):131-159.

1994

 N.J.I. Mars, H. de Jong, P.-H. Speel, W.G. ter Stal, P.E. van der Vet (1994), Semi-automatic knowledge acquisition in Plinius: An engineering approach, B. Gaines, M. Musen (eds), Proceedings of the Eighth Banff Knowledge Acquisition for Knowledge-based Systems Workshop, KAW-94, Banff, 1994, 4-1-4-15.

1993

 H. de Jong, N.J.I. Mars, P.E. van der Vet (1993), Consistency of scientific knowledge bases, A.D. Preece, K. Bellman, J. Combs, C. Culbert, D. O'Leary, L. Miller, N. Sizemore, R. Stachowitz (eds), Working Notes of the AAAI-93 Workshop on Validation and Verification of Knowledge-Based Systems, AAAI Press, Menlo Park, CA, 64-65.

top of page