Papers about FLORA-2

The following papers have been published about FLORA-2 as a system.

• Implementing an Efficient DOOD System Using a Tabling Logic Engine . Intl. Conference on Computational Logic, July 2000.
  Describes some aspects related to the implementation of FLORA-2.
• FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, November 2003.
• Nonmonotonic Reasoning in FLORA-2. Invited paper at the 8th Intl. Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05). Diamante, Italy. September 2005.

$Date: 2007/09/18 18:36:29 $