Herbert Simon, pionnier de l'Intelligence Artificielle = Herbert Simon, artificial intelligence pioneerPITRAT, Jacques.Revue d'intelligence artificielle. 2002, Vol 16, Num 1-2, pp 11-16, issn 0992-499XArticle

Formalizing approximate objects and theories: Some initial resultsPARMAR, Aarati.Lecture notes in computer science. 2002, pp 178-195, issn 0302-9743, isbn 3-540-43941-2, 18 p.Conference Paper

Solving curve fitting problems using genetic programmingAHMAD KAMAL, Hanan; HELMY EASSA, Medhat.IEEE Mediterranean electrotechnical conference. 2002, pp 316-321, isbn 0-7803-7527-0, 6 p.Conference Paper

Revisiting Bremermann's genetic algorithm. II. Comparing discrete multiparent recombination to mutationFOGEL, David B; FOGEL, Gary B.SPIE proceedings series. 2001, pp 53-61, isbn 0-8194-4085-XConference Paper

Partial completeness of abstract fixpoint checkingCOUSOT, P.Lecture notes in computer science. 2000, pp 1-25, issn 0302-9743, isbn 3-540-67839-5Conference Paper

Acceptance without minimalityNAYAK, Abhaya C.Lecture notes in computer science. 2000, pp 163-178, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Visualising information : A mosaic of perspectivesCHAOMEI CHEN.Lecture notes in computer science. 2000, pp 120-126, issn 0302-9743, isbn 3-540-41177-1Conference Paper

Possibilistic information measures and selection approachDO VAN THANH.Computers and artificial intelligence. 1999, Vol 18, Num 6, pp 595-610, issn 0232-0274Article

Classification non supervisée par prédiction polynomiale et identification des points faux = Unsupervised clustering based polynomial prediction for identification of misclustered observationsSLAOUI, K; RADOUANE, L.Journal européen des systèmes automatisés. 1999, Vol 33, Num 5-6, pp 685-716, issn 1269-6935Article

Fuzzy Dempster-Shafer reasoning for rule-based classifiersBINAGHI, E; MADELLA, P.International journal of intelligent systems. 1999, Vol 14, Num 6, pp 559-583, issn 0884-8173Article

GRASP : A search Algorithm for propositional satisfiabilityMARQUES-SILVA, J. P; SAKALLAH, K. A.IEEE transactions on computers. 1999, Vol 48, Num 5, pp 506-521, issn 0018-9340Article

Modeling distributed concept representation in Hopfield neural networksCARVALHO, L. A. V.Mathematical and computer modelling. 1999, Vol 30, Num 1-2, pp 225-242, issn 0895-7177Article

DLP and FACTPATEL-SCHNEIDER, P. F; HORROCKS, I.Lecture notes in computer science. 1999, pp 19-23, issn 0302-9743, isbn 3-540-66086-0Conference Paper

Applying an ALC Abox consistency tester to modal logic SAT problemsHAARSLEV, V; MÖLLER, R.Lecture notes in computer science. 1999, pp 24-28, issn 0302-9743, isbn 3-540-66086-0Conference Paper

Cut-free display calculi for nominal tense logicsDEMRI, S; GORE, R.Lecture notes in computer science. 1999, pp 155-170, issn 0302-9743, isbn 3-540-66086-0Conference Paper

Intuitionisitic tableau extractedCALDWELL, J.Lecture notes in computer science. 1999, pp 82-96, issn 0302-9743, isbn 3-540-66086-0Conference Paper

Generating minimal Herbrand models step by stepSCHÜTZ, H.Lecture notes in computer science. 1999, pp 263-277, issn 0302-9743, isbn 3-540-66086-0Conference Paper

A tableau-based decision procedure for a fragment of set theory involving a restricted form of quantificationCANTONE, D; ZARBA, C. G.Lecture notes in computer science. 1999, pp 97-112, issn 0302-9743, isbn 3-540-66086-0Conference Paper

Merge path improvements for minimal model hyper tableauxBAUMGARTNER, P; HORTON, J. D; SPENCER, B et al.Lecture notes in computer science. 1999, pp 51-65, issn 0302-9743, isbn 3-540-66086-0Conference Paper

Evolution of cooperating and competing individuals in a dynamic fitness environmentPARSONS, R. J.SPIE proceedings series. 1999, pp 294-302, isbn 0-8194-3196-6Conference Paper

Optimal piecewise locally linear modellingHARRIS, C. J; HONG, X; FENG, M et al.SPIE proceedings series. 1999, pp 486-493, isbn 0-8194-3196-6Conference Paper

DNA computing : New ideas and paradigmsROZENBERG, G; SALOMAA, A.Lecture notes in computer science. 1999, pp 106-118, issn 0302-9743, isbn 3-540-66224-3Conference Paper

Modelling (un)bounded beliefsGHIDINI, C.Lecture notes in computer science. 1999, pp 145-158, issn 0302-9743, isbn 3-540-66432-7Conference Paper

Extensions to the estimation calculusGOW, J; BUNDY, A; GREEN, I et al.Lecture notes in computer science. 1999, pp 258-272, issn 0302-9743, isbn 3-540-66492-0Conference Paper

On the accuracy and running time of GSATEAST, D; TRUSZCZYNSKI, M.Lecture notes in computer science. 1999, pp 49-61, issn 0302-9743, isbn 3-540-66548-XConference Paper