Evaluation of various image segmentation procedures in the case of the robotic harvesting of apples = Evaluation de diverses procédures de segmentation d'image dans le cas de la récolte robotisée des pommesRABATEL, G; BOURELY, A; SEVILA, F et al.On machine vision systems for the agricultural and bio-industriesSystèmes de vision embarqués pour l'agriculture et l'industrie agro-alimentaire. 1992, 7 p.Book Chapter

SOME THOUGHTS ON DREYFUS' "CRITIQUE OF ARTIFICIAL REASON". = QUELQUES PENSEES SUR: H.L. DREYFUS, "LA CRITIQUE DE LA RAISON ARTIFICIELLE", N.Y.: HARPER AND ROW, 1972WATANABE S.1975; I.E.E.E. TRANS. SYST. MAN CYBERN.; U.S.A.; DA. 1975; VOL. 5; NO 1; PP. 141-145; BIBL. 15 REF.Article

REPORT ON WORKSHOP ON POSSIBILITIES AND LIMITATIONS OF ARTICIAL INTELLIGENCE. = RAPPORT SUR UNE REUNION DE TRAVAIL CONSACREE AUX POSSIBILITES ET AUX LIMITATIONS DE L'INTELLIGENCE ARTIFICIELLEWATANABE S.1974; I.E.E.E. TRANS. SYST. MAN CYBERN.; U.S.A.; DA. 1974; VOL. 4; NO 1; PP. 88Article

AN EXTENSION OF UNIFICATION TO SUBSTITUTIONS WITH AN APPLICATION TO AUTOMATIC THEOREM PROVING.VAN VAALEN J.1974; STICHTG MATH. CENTRUM, INFORMAT.; NEDERL.; DA. 1974; NO 24; PP. 1-20; BIBL. 6 REF.Article

COMPUTER PROOFS OF LIMIT THEOREMS.BLEDSOE WW; BOYER RS; HENNEMAN WH et al.1972; ARTIF. INTELLIG.; U.S.A.; DA. 1972; VOL. 3; PP. 27-60; BIBL. 7 REF.Article

CLUSTERING.1975; IN: 3RD MILWAUKEE SYMP. AUTOM. COMPUT. CONTROL. PROC.; MILWAUKEE, WIS.; 1975; NORTH HOLLYWOOD; WESTERN PERIODICALS; DA. 1975; PP. 201-214; BIBL. DISSEM.Conference Paper

PATTERN RECOGNITION.1975; IN: 3RD MILWAUKEE SYMP. AUTOM. COMPUT. CONTROL. PROC.; MILWAUKEE, WIS.; 1975; NORTH HOLLYWOOD; WESTERN PERIODICALS; DA. 1975; VOL. 249-276; BIBL. DISSEM.Conference Paper

THE CHALLENGES OF BIOCYBERNETICS AND ARTIFICIAL INTELLIGENCE. = LES ENJEUX DE LA BIOCYBERNETIQUE ET DE L'INTELLIGENCE ARTIFICIELLEBREMERMANN HJ.1975; I.E.E.E. TRANS. SYST. MAN CYBERN.; U.S.A.; DA. 1975; VOL. 5; NO 3; PP. 363-365; BIBL. 13 REF.; (NORBERT WIENER COMMEM. SYMP.; BOSTON; 1973)Conference Paper

THEOREM-PROVING SYSTEMSORLOWSKA E.1973; DISSERT. MATH.; POLOGNE; DA. 1973; VOL. 103; PP. 1-55; BIBL. 3 P. 1/2Serial Issue

COMPUTER PROGRAMMING AS A COGNITIVE PARADIGM.HAYES PJ.1975; NATURE; G.B.; DA. 1975; VOL. 254; NO 5501; PP. 563-566; BIBL. 17 REF.Article

WILL INDUSTRIAL ROBOTS CHANGE THE COURSE OF HISTORY. = LES ROBOTS INDUSTRIELS CHANGERONT-ILS LE COURS DE L'HISTOIRE.YONEMOTO K.1975; J. ELECTRON. ENGNG; JAP.; DA. 1975; NO 99; PP. 46-50 (4P.)Article

Concilation and consensus in Iterated belief mergingGAUWIN, O; KONIECZNY, S; MARQUIS, P et al.Annales du LAMSADE. 2004, Num 3, 19 p.Article

NEGOTIATION AS A METAPHOR FOR DISTRIBUTED PROBLEM SOLVINGDAVIS R; SMITH RG.1983; ARTIFICIAL INTELLIGENCE; ISSN 0374-2539; NLD; DA. 1983; VOL. 20; NO 1; PP. 63-109; BIBL. 32 REF.Article

IN DEFENSE OF PROGRAMMING LANGUAGES DESIGNHUET G.1982; ECAI 82. EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE/1982-07-12/ORSAY; DEU; KAISERLAUTERN: IMPR. ABTEILUNG FOTO-REPRO-DRUCK DER UNIVERSITAET KAISERLAUTERN; DA. 1982; PP. 19-27; BIBL. 6 P.Conference Paper

LOGIC MACHINE ARCHITECTURE: KERNEL FUNCTIONSLUSK EL; MCCUNE WW; OVERBEEK RA et al.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 138; PP. 70-84; BIBL. 8 REF.Conference Paper

ROBOTICSLOZANO PEREZ T.1982; ARTIFICIAL INTELLIGENCE; ISSN 0374-2539; NLD; DA. 1982; VOL. 19; NO 2; PP. 137-143Article

A SIMPLE DEDUCTION METHOD FOR MODAL LOGICFARINAS DEL CERRO L.1982; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 2; PP. 49-51; BIBL. 8 REF.Article

ARTIFICIAL INTELLIGENCE - A NEW THEORETICAL PSYCHOLOGY.LONGUET HIGGINS HC.1981; COGNITION; ISSN 0010-0277; NLD; DA. 1981; VOL. 10; NO 1-3; PP. 197-200Article

COMPUTER SIMULATION OF HUMAN THOUGHT. ITS PERSPECTIVES AND CONSTRAINTSSZYMANSKI A.1980; KYBERNETES; GBR; DA. 1980; VOL. 9; NO 1; PP. 9-13; BIBL. 11 REF.Article

LEARNING AND GENERALIZATION OF CHARACTERISTIC DESCRIPTIONS: EVALUATION CRITERIA AND COMPARATIVE REVIEW OF SELECTED METHODSDIETTERICH TG; MICHALSKI RS.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.L.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 223-231; BIBL. 25 REF.Conference Paper

META-KNOWLEDGE AND COGNITIONBARR A.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.L.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 31-33; BIBL. 13 REF.Conference Paper

A MULTI-LEVEL PLANNING AND NAVIGATION SYSTEM FOR A MOBILE ROBOT; A FIRST APPROACH TO HILAREGIRALT G; SOBEK R; RAJA CHATILA et al.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.1.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 335-337; BIBL. 10 REF.Conference Paper

A TRUTH MAINTENANCE SYSTEMDOYLE J.1979; ARTIF. INTELLIG.; USA; DA. 1979; VOL. 12; NO 3; PP. 231-272; BIBL. 64 REF.Article

AN ANALYSIS OF GENERALIZATION AS A SEARCH PROBLEMMITCHELL TM.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.L.: INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 577-582; BIBL. 13 REF.Conference Paper

ON THE ROLE OF UNIFICATION IN MECHANICAL THEOREM PROVING.SHOSTAK RE.1977; ACTA INFORMAT.; ALLEM.; DA. 1977; VOL. 7; NO 3; PP. 319-323; BIBL. 8 REF.Article