L'ordinateur : un outil au service du logicien
Gillet, É.
Cahiers de l'analyse des données, Tome 15 (1990), p. 323-330 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1990-01-01
@article{CAD_1990__15_3_323_0,
     author = {Gillet, \'E.},
     title = {L'ordinateur : un outil au service du logicien},
     journal = {Cahiers de l'analyse des donn\'ees},
     volume = {15},
     year = {1990},
     pages = {323-330},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/CAD_1990__15_3_323_0}
}

Gillet, É. L'ordinateur : un outil au service du logicien. Cahiers de l'analyse des données, Tome 15 (1990) pp. 323-330. http://gdmltest.u-ga.fr/item/CAD_1990__15_3_323_0/

R. Fagin & J.Y. Halpern: " Belief, Awareness and Limited Reasoning"; in Artificial Intelligence, 34, 3976; (1988). | MR 920285 | Zbl 0634.03013

É. Gillet & P. Gochet: " La logique de la connaissance. Le problème de l'omniscience logique"; à paraître; (1990).

D. Harel: Algorithmics: The Spirit of Computing. Addison-Wesley, Don Mills, Ontario; (1986). | MR 913532 | Zbl 1116.68112

G. Lakemeyer & H. J. Levesque: " A Tractable Knowledge Representation Service with Full Introspection"; in Proceedings of the 2nd Conference on Theoretical Aspects of Reasonning about Knowledge, pp. 145-159; (1988). | MR 1011083 | Zbl 0725.68101

H. J. Levesque: Logic and the complexity of reasoning; in Journal of Philosophical Logic, l7, pp. 355-389; (1988). | MR 975623

L. Stockmeyer: " Classifying the Computational Complexity of Problems"; in Journal of Symbolic Logic, 52.1, pp. 1-43; (1987). | MR 877851 | Zbl 0639.03041