Circumscription: formalization of non-monotonic reasoning in second order logic

Filozofia Nauki 17 (1):107 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Circumscription within monotonic inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Exhaustive interpretation of complex sentences.Robert van Rooij & Katrin Schulz - 2004 - Journal of Logic, Language and Information 13 (4):491-519.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.
Modal logic based theory for non-monotonic reasoning.Pierre Siegel & Camilla Schwind - 1993 - Journal of Applied Non-Classical Logics 3 (1):73-92.
A conditional logic for abduction.Mathieu Beirlaen & Atocha Aliseda - 2014 - Synthese 191 (15):3733-3758.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
Towards automated reasoning on ORM schemes - mapping ORM into the DLRidf description logic.Mustafa Jarrar - manuscript
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
Actions and other events in situation calculus.John McCarthy - manuscript

Analytics

Added to PP
2014-03-09

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