Sciences de l'artificiel, modélisation et rationalité = Artificial scieences, modeling and rationalityNICOLLE, Anne.Revue d'intelligence artificielle. 2002, Vol 16, Num 1-2, pp 63-86, issn 0992-499XArticle

Genetic evolution of software microorganismsPANAYIOTOPOULOS, Themistoklis; KALOGIROU, Harry; PETROPOULOS, Anthony et al.Lecture notes in computer science. 2002, pp 85-96, issn 0302-9743, isbn 3-540-43472-0Conference Paper

The inferential-expressive trade-off: A case study of tabular representationsSHIMOJIMA, Atsushi.Lecture notes in computer science. 2002, pp 116-130, issn 0302-9743, isbn 3-540-43561-1Conference Paper

Local holismPENCO, Carlo.Lecture notes in computer science. 2001, pp 290-303, issn 0302-9743, isbn 3-540-42379-6Conference Paper

Fault detection algorithms for real-time diagnosis in large-scale systemsKIRUBARAJAN, Thiagalingam; MALEPATI, Venkat; DEB, Somnath et al.SPIE proceedings series. 2001, pp 243-254, isbn 0-8194-4084-1Conference Paper

An investigation of reaming test parameters used for cutting fluid evaluationsDECHIFFRE, L; ZENG, Z.Lubrication engineering. 2001, Vol 57, Num 7, pp 24-28, issn 0024-7154Article

Manage data to tame the maintenance tigerKOCH, Bill.Electrical world. 2001, Vol 215, Num 2, pp 37-39, issn 0013-4457Article

Grid-based histogram arithmetic for the probabilistic analysis of functionsCARRERAS, C; HERMENEGILDO, M. V.Lecture notes in computer science. 2000, pp 107-123, issn 0302-9743, isbn 3-540-67839-5Conference Paper

Reduction theorems for boolean formulas using Δ-treesGUTIERREZ, Gloria; DE GUZMAN, Inma P; MARTINEZ, Javier et al.Lecture notes in computer science. 2000, pp 179-192, issn 0302-9743, isbn 3-540-41131-3Conference Paper

Computers seeing peopleESSA, I. A.The AI magazine. 1999, Vol 20, Num 2, pp 69-82, issn 0738-4602Article

Level cut conditioning approach to the necessity measure specificationINUIGUCHI, M; TANINO, T.Lecture notes in computer science. 1999, pp 193-202, issn 0302-9743, isbn 3-540-66645-1Conference Paper

Automated theorem proving with disjunctive constraintsIBENS, O.Lecture notes in computer science. 1999, pp 484-485, issn 0302-9743, isbn 3-540-66626-5Conference Paper

Automated reasoning and the verification of security protocolsMASSACCI, F.Lecture notes in computer science. 1999, pp 32-33, issn 0302-9743, isbn 3-540-66086-0Conference Paper

A model for associative memory, a basis for thinking and consciousnessDE BRUIJN, N. G.Lecture notes in computer science. 1999, pp 74-89, issn 0302-9743, isbn 3-540-66224-3Conference Paper

Overview of virtual intelligence (VI)PADGETT, M. L.SPIE proceedings series. 1999, pp 582-597, isbn 0-8194-3202-4Conference Paper

Focusing and proof-nets in Linear and non-commutative LogicANDREOLI, J.-M; MAIELI, R.Lecture notes in computer science. 1999, pp 320-336, issn 0302-9743, isbn 3-540-66492-0Conference Paper

Resource management in Linear Logic proof search revisitedLOPEZ, P; PIMENTEL, E.Lecture notes in computer science. 1999, pp 304-319, issn 0302-9743, isbn 3-540-66492-0Conference Paper

Tableau calculi for hybrid logicsTZAKOVA, M.Lecture notes in computer science. 1999, pp 278-292, issn 0302-9743, isbn 3-540-66086-0Conference Paper

The impact of branching heuristics in propositional satisfiability algorithmsMARQUES-SILVA, J.Lecture notes in computer science. 1999, pp 62-74, issn 0302-9743, isbn 3-540-66548-XConference Paper

The non-associative Lambek calculus with product in polynomial timeDE GROOTE, P.Lecture notes in computer science. 1999, pp 128-139, issn 0302-9743, isbn 3-540-66086-0Conference Paper

Transforming conditional rewrite systems with extra variables into unconditional systemsOHLEBUSCH, E.Lecture notes in computer science. 1999, pp 111-130, issn 0302-9743, isbn 3-540-66492-0Conference Paper

An analysis of the machine intelligence debateSMITH, M. C. B.International congress on cyberneticsCongrès international de cybernétique. 1998, pp 911-915, isbn 2-87215-004-8Conference Paper

Basic Completion with E-cycle SimplificationLYNCH, C; SCHARFF, C.Lecture notes in computer science. 1998, pp 209-221, issn 0302-9743, isbn 3-540-64960-3Conference Paper

Cooperation between top-down and bottom-up theorem provers by subgoal clause transferFUCHS, D.Lecture notes in computer science. 1998, pp 157-169, issn 0302-9743, isbn 3-540-64960-3Conference Paper

Real parametrization of algebraic curvesSENDRA, J. R; WINKLER, F.Lecture notes in computer science. 1998, pp 284-295, issn 0302-9743, isbn 3-540-64960-3Conference Paper