Sciweavers

LPNMR
2005
Springer

Nonmonotonic Reasoning in FLORA-2

14 years 5 months ago
Nonmonotonic Reasoning in FLORA-2
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.
Michael Kifer
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where LPNMR
Authors Michael Kifer
Comments (0)