Skip to search formSkip to main contentSkip to account menu

Flora-2

Flora-2 is an open source rule-based system for knowledge representation and reasoning.The language of the system is derived from F-logic, HiLog, and… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Multi-level modeling is currently regaining attention in the database and software engineering community with different emerging… 
2013
2013
There have been many studies on termination analysis of logic programs but little has been done to analyze their non-termination… 
2010
2010
  • H. BoleyM. Kifer
  • IEEE Transactions on Knowledge and Data…
  • 2010
  • Corpus ID: 9689339
The W3C Rule Interchange Format (RIF) is a forthcoming standard for exchanging rules among different systems and developing… 
2007
2007
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend… 
2006
2006
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted… 
Review
2005
Review
2005
  • M. Kifer
  • International Conference on Logic Programming and…
  • 2005
  • Corpus ID: 9474239
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we… 
Highly Cited
2003
Highly Cited
2003
Anonymous resources and meta statements are two of the more interesting features of RDF — an emerging standard for representing… 
Highly Cited
2003
Highly Cited
2003
\(\mathcal{F}\) lora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the… 
2002
2002
Reification and anonymous resources are two of the more interesting features of RDF -- an emerging standard for representing… 
Review
2001
Review
2001
code Coder (flrcoder.P) Macro program GPP preprocessor XSB Program XSB Byte code Generator Intermediate Code (flrcompiler.P…