Keywords
Corpus
Crin
Racine
Corpus
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Crin)

Index « Keywords » - entrée « abduction »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
aa < abduction < abductive approach  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]**** probable Xml problem ****
Ident.Authors (with country if any)Title
000767 (1989) P. MarquisAnalyse logique du raisonnement explicatif
000890 (1990) B. El Ayeb ; P. Marquis ; M. RusinowitchA New Diagnosis Approach by Deduction and Abduction
000912 (1990) B. El Ayeb ; P. Marquis ; M. RusinowitchDeductive/Abductive Diagnosis : The DA-Principles
000925 (1990) P. MarquisA Note on Prime Implicants
000B86 (1991) P. MarquisTowards Data Interpretation by Deduction and Abduction
000B87 (1991) P. MarquisAbduction et structure de l'espace des connaissances
000B88 (1991) P. MarquisExtending Abduction from Propositional to First-Order Logic
000B89 (1991) P. MarquisNovelty Revisited
000B90 (1991) P. MarquisMechanizing Skeptical Abduction and its Applications to Artificial Intgelligence
000C14 (1991) B. El Ayeb ; P. Marquis ; M. RusinowitchPreferring Diagnoses by Adduction
000D09 (1991) P. MarquisContribution à l'étude des méthodes de construction d'hypothèses en intelligence artificielle
000E54 (1992) F. Charpillet ; J.-P. Haton ; P. MarquisAbduction, raisonnement hypothétique et maintien de cohérence
001208 (1993) M. Bouzid ; F. Charpillet ; P. Marquis ; J.-P. HatonAssumption-Based Truth Maintenance in a Window-Based Temporal Logic
001209 (1993) P. MarquisSur les preuves non éductives en intelligence artificielle
001276 (1993) P. MarquisSkeptical Abduction
001281 (1993) B. El Ayeb ; P. Marquis ; M. RusinowitchPreferring Diagnoses by Abduction
001508 (1994) M. BouzidExtension d'ATMS à une logique temporelle numérique et symbolique
001684 (1994) S. Coste-MarquisUtilisation des techniques du raisonnement hypothétique pour la reconnaissance automatique de la parole
003951