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

Abstract

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.

Preview

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