Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,689,023 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
F-logic
HiLog
Knowledge representation and reasoning
Logic programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
PLOW: Probabilistic Logic Over the Well-Founded Semantics
Benjamin N. Grosof
,
T. Swift
AAAI Spring Symposium Combining Machine Learning…
2019
Corpus ID: 135464316
Motivations: A central challenge for AI is how to combine most effectively two core areas: knowledge representation & reasoning…
Expand
2015
2015
E RGO Lite (a.k.a. Flora-2 ): User's Manual
Polina Kuznetsova
,
Senlin Liang
2015
Corpus ID: 64215479
2013
2013
Advanced Knowledge Base Debugging for Rulelog
Carl Andersen
,
B. Benyo
,
+6 authors
T. Swift
International Web Rule Symposium
2013
Corpus ID: 14525471
We present a novel approach to debugging expressively rich knowledge representation and reasoning (KRR) logic Rulelog. Rulelog is…
Expand
2013
2013
A SEMANTIC TRANSPORT NETWORKS FOR PREFERENTIAL ROUTING Summary
M. Baca
,
Petra Koruga
2013
Corpus ID: 172134037
The paper presents a semantic network formalism based on frame logic. Advanced techniques, including HiLog extensions…
Expand
2012
2012
Efficient Query Answering over Fuzzy EL-OWL Based on Crisp Datalog Rewritable Fuzzy EL ++
Afef Bahri
,
R. Bouaziz
,
F. Gargouri
2012
Corpus ID: 16288978
OWL EL is an extension of the tractable EL ++ description logic. Despite their inference capabilities over TBoxes, DL reasoners…
Expand
2012
2012
Semantic Matching Using Concept Lattice
A. Meštrović
2012
Corpus ID: 13029294
This paper describes how a concept lattice that represents semantic relations (synonymy, hyponymy, hypernymy) in a set of words…
Expand
2011
2011
Monolingual Dictionary Semantic Capturing Using Concept Lattice
A. Meštrović
,
M. Cubrilo
2011
Corpus ID: 195960574
This paper proposes an approach for retrieving semantic relationships between semantic units in a monolingual dictionary. The…
Expand
2011
2011
The transportation paths routing semantic description
M. Schatten
,
M. Baca
,
Petra Koruga
2011
Corpus ID: 17956256
The paper presents a semantic network formalism based on frame logic. Advanced techniques including HiLog extensions, transaction…
Expand
2009
2009
A Method for Ontology Based Evaluation of Biometric Systems in Organizations – Do We Use the Right Biometric Characteristic?
M. Baca
,
M. Schatten
,
K. Rabuzin
2009
Corpus ID: 13924446
The paper presentes a method for the evaluation of biometric systems based on an open ontology of selected segments of biometrics…
Expand
2008
2008
Developing an Open Ontology of Biometrics
M. Schatten
2008
Corpus ID: 196134344
U radu je izrađ ena sistematizacija odabranih segmenata biometrijske znanosti na temelju opc eg biometrijskog sustava…
Expand