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)

Related topics

Related topics

11 relations
F-logicHiLogKnowledge representation and reasoningLogic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
An integrated multi-level modeling approach for industrial-scale data interoperability
Multi-level modeling is currently regaining attention in the database and software engineering community with different emerging… 
2015
2015
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog
PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We… 
2015
2015
Verification of the CD2RDBMS Transformation Case in Flora-2
Model transformations play a key role in model-driven development. They are used to generate, refactor, synthesize, reverse… 
2013
2013
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs
There have been many studies on termination analysis of logic programs but little has been done to analyze their non-termination… 
2009
2009
Defining the Semantics of Conceptual Modeling Concepts for 3D Complex Objects in Virtual Reality
Virtual Reality (VR) allows creating interactive three-dimen sional computer worlds in which objects have a sense of spatial and… 
2008
2008
FLORA-2: User's Manual Version 0.95 (Androcymbium)
code Coder (flrcoder.P) 
2006
2006
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Knowledge representation languages that combine rules with object-oriented features akin to frame systems have recently attracted… 
2006
2006
Computação n ° 14 / 06 Ontology Driven Design Rationale Reuse
There are several proposals in the literature for representing design rationale. However, most of the existing representation… 
2006
2006
Implementation of an F-Logic Kernel in CHR
Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language, rewriting constraints in relational… 
2002
2002
On the Semantics of Anonymous Identity and Reification
Reification and anonymous resources are two of the more interesting features of RDF -- an emerging standard for representing… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)