14 citations · 32 across the 12 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019★ 4 cited
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…
cs.CL2019
A logical-based corpus for cross-lingual evaluation
Felipe Salvatore, Marcelo Finger, Roberto Hirata
At present, different deep learning models are presenting high accuracy on popular inference datasets such as SNLI, MNLI, and SciTail. However, there are different indicators that…