5 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Extending Description Logic EL++ with Linear Constraints on the Probability of Axioms
Marcelo Finger
One of the main reasons to employ a description logic such as EL or EL++ is the fact that it has efficient, polynomial-time algorithmic properties such as deciding consistency and…
cs.LO2019
Quantitative Logic Reasoning
Marcelo Finger
In this paper we show several similarities among logic systems that deal simultaneously with deductive and quantitative inference. We claim it is appropriate to call the tasks thos…