Review: Philippe Smets, Abe Mamdani, Didier Dubois, Henri Prade, Non-Standard Logics for Automated Reasoning [Book Review]

Journal of Symbolic Logic 57 (1):277-281 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275202

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

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

A glance at non-standard models and logics of uncertainty and vagueness.Didier Dubois & Henri Prade - 1955 - In Anthony Eagle (ed.), Philosophy of Probability. Routledge. pp. 169--222.
Non-standard logics for automated reasoning.Philippe Smets (ed.) - 1988 - San Diego: Academic Press.
Multiple agent possibilistic logic.Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned & Henri Prade - 2013 - Journal of Applied Non-Classical Logics 23 (4):299-320.
Review: Didier Dubois, Henri Prade, Fuzzy Sets and Systems. Theory and Applications. [REVIEW]I. Grattan-Guinness - 1982 - Journal of Symbolic Logic 47 (3):702-703.
Inference in possibilistic hypergraphs.Didier Dubois & Henri Prade - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 249--259.
Accepted beliefs, revision and bipolarity in the possibilistic framework.Didier Dubois & Henri Prade - 2009 - In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of belief. London: Springer. pp. 161--184.
The preferential-models approach to non-monotonic logics.Philippe Besnard & Pierre Siegel - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press. pp. 137--161.
Possibility theory, probability theory, and muliple-valued logics: A clarification.Henri Prade & D. Dubois - 2001 - Annals of Mathematics and Artificial Intelligence 32:35--66.
Knowledge-driven versus data-driven logics.Didier Dubois, Petr Hájek & Henri Prade - 2000 - Journal of Logic, Language and Information 9 (1):65--89.
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. 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. Academic Press.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,105,752)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Charles Morgan
University of Pennsylvania

Citations of this work

Liberated Brouwerian Modal Logic.Charles G. Morgan - 1974 - Dialogue 13 (3):505-514.

Add more citations

References found in this work

No references found.

Add more references