Logic Programming and Nonmonotonic Reasoning

Volume 3662 of the series Lecture Notes in Computer Science pp 1-12

Nonmonotonic Reasoning in FLORA-2

  • Michael KiferAffiliated withDepartment of Computer Science, State University of New Your at Stony Brook

* Final gross prices may vary according to local VAT.

Get Access


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.