6 citations · 18 across the 18 of their papers we have counts for
Showing 2015 · cs.AIShow all
3 papers · 2 filters
cs.AI2015
Reasoning in Infinitely Valued G-IALCQ
Stefan Borgwardt, Rafael Peñaloza
Fuzzy Description Logics (FDLs) are logic-based formalisms used to represent and reason with vague or imprecise knowledge. It has been recently shown that reasoning in most FDLs us…
cs.AI2015★ 6 cited
Fuzzy Answer Set Computation via Satisfiability Modulo Theories
Mario Alviano, Rafael Penaloza
Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information.…
cs.AI2015★ 1 cited
Dynamic Bayesian Ontology Languages
İsmail İlkan Ceylan, Rafael Peñaloza
Many formalisms combining ontology languages with uncertainty, usually in the form of probabilities, have been studied over the years. Most of these formalisms, however, assume tha…