232 citations · 241 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Knowledge Authoring with Factual English
Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel +2
Knowledge representation and reasoning (KRR) systems represent knowledge as collections of facts and rules. Like databases, KRR systems contain information about domains of human a…
cs.LO2012★ 232 cited
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints
Andrea Cali, Georg Gottlob, Michael Kifer
The chase algorithm is a fundamental tool for query evaluation and query containment under constraints, where the constraints are (sub-classes of) tuple-generating dependencies (TG…