16 citations · 71 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020★ 7 cited
A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
George Baryannis, Ilias Tachmazidis, Sotiris Batsakis +3
Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well o…
cs.AI2020
Large-scale Ontological Reasoning via Datalog
Mario Alviano, Marco Manna
Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for ma…