An automated modal logic for elementary changes

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

Conditionals: from philosophy to computer science, edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig, Studies in logic and computation, no. 5, Clarendon Press, Oxford University Press, Oxford and New York1995, viii + 368 pp. [REVIEW]Charles B. Cross & Donald Nute - 1997 - Journal of Symbolic Logic 62 (4):1487-1490.
Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 105--136.
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.
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.
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.Linh Anh Nguyen & Andrzej Szałas - 2011 - Studia Logica 98 (3):387-428.
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.
Resolution Modal logics-Automated reasoning in nonclassical logic.L. Farifias del Cerro - forthcoming - Logique Et Analyse.
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic.Christoph Benzmüller - 2011 - Annals of Mathematics and Artificial Intelligence) 62 (1-2):103-128.
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.
Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.

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?

Author's Profile

Andreas Herzig
Centre National de la Recherche Scientifique

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references