The Flora-2 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.
• Ergo: A Quest for Declarativity in Logic Programming. In Prolog - the next 50 Years. D.S. Warren et al. (eds). Springer LNCS 13900; 2023.