Nonmonotonic Reasoning in FLORA-2

  • Michael Kifer
Conference paper

DOI: 10.1007/11546207_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3662)
Cite this paper as:
Kifer M. (2005) Nonmonotonic Reasoning in FLORA-2. In: Baral C., Greco G., Leone N., Terracina G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2005. Lecture Notes in Computer Science, vol 3662. Springer, Berlin, Heidelberg


FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of the system and of some of the aspects of nonmonotonic reasoning in FLORA-2. These include scoped default negation, behavioral inheritance, and nonmonotonicity that stems from database dynamics.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Michael Kifer
    • 1
  1. 1.Department of Computer ScienceState University of New Your at Stony BrookStong BrookUSA

Personalised recommendations