Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,384,126 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
Understanding Rulelog Computations in Silk
Carl Andersen
,
B. Benyo
,
+6 authors
T. Swift
arXiv.org
2013
Corpus ID: 2245233
Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It 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
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
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)
ACCEPT & CONTINUE