Formal expression of time in a knowledge base

In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 81--103 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

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.
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.
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.
Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 105--136.
Non-Standard Logics for Automated Reasoning.Charles G. Morgan - 1992 - Journal of Symbolic Logic 57 (1):277-281.
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.
Review: Philippe Smets, Abe Mamdani, Didier Dubois, Henri Prade, Non-Standard Logics for Automated Reasoning. [REVIEW]Charles G. Morgan - 1992 - Journal of Symbolic Logic 57 (1):277-281.
Philippe SMETS, E. H. MAMDANI, D. DUBOIS, H. PRADE , "Non Standard Logics for Automated Reasoning". [REVIEW]Véronique Van Cleemput - 1990 - Revue Internationale de Philosophie 44 (1):141.
Knowledge Representation for Philosophers.Richmond H. Thomason - 2012 - In Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. Cham: Springer. pp. 371-385.
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.

Analytics

Added to PP
2014-01-29

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