Philippe SMETS, E. H. MAMDANI, D. DUBOIS, H. PRADE , "Non Standard Logics for Automated Reasoning" [Book Review]

Revue Internationale de Philosophie 44 (1):141 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

edition Van Cleemput, Véronique (1990) "André THAYSE, "Approche logique de l'Intelligence Artificielle". Tome 2: "De la logique modale à la logique des bases de données"". Revue Internationale de Philosophie 44(1):140

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Non-standard logics for automated reasoning, edited by Philippe Smets, Abe Mamdani, Didier Dubois, and Henri Prade, Academic Press, London etc. 1988, x + 334 pp. [REVIEW]Charles G. Morgan - 1992 - Journal of Symbolic Logic 57 (1):277-281.
Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol 3.D. Gabbay & P. Smets (eds.) - 1998 - Dordrecht, London, Boston: Kluwer Academic.
An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press.
An intuitionistic basis for non-monotonic reasoning.M. R. B. Clarke & Dov M. Gabbay - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press.
The preferential-models approach to non-monotonic logics.Philippe Besnard & Pierre Siegel - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 137--161.
Philippe Van parys, "evolutionary explanation in the social sciences". [REVIEW]Leo Apostel - 1982 - Revue Internationale de Philosophie 36 (4):672.
Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 105--136.
De rekeningen van de grafelijkheid van Holland uit de Beierse periode, uitgegeven door de Werkgroep «Holland 1300-1500» onder verantwoordelijkheid van D. E. H. de Boer, D. J. Faber en H. P. H. Jansen, Serie III : De rekeningen van de gerechtelijke ambtenaren. Deel : 1393-1396. [REVIEW]Jean-Marie Cauchies - 1985 - Revue Belge de Philologie Et D’Histoire 63 (2):417-418.
Formal expression of time in a knowledge base.Eugene Chouraqui - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 81--103.
Inheritance in semantic networks and default logic.C. Froidevaux & D. Kayser - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 179--212.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references