232 citations · 241 across the 6 of their papers we have counts for
6 papers
Knowledge Authoring for Rules and Actions
Yuheng Wang, Paul Fodor, Michael Kifer
Knowledge representation and reasoning (KRR) systems describe and reason with complex concepts and relations in the form of facts and rules. Unfortunately, wide deployment of KRR s…
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…
Querying Knowledge via Multi-Hop English Questions
Tiantian Gao, Paul Fodor, Michael Kifer
The inherent difficulty of knowledge specification and the lack of trained specialists are some of the key obstacles on the way to making intelligent systems based on the knowledge…
Paraconsistency and Word Puzzles
Tiantian Gao, Paul Fodor, Michael Kifer
Word puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuru et al. 2004; Shapiro 2011; Baral and Dzifc…
Understanding Rulelog Computations in Silk
Carl Andersen, Brett Benyo, Miguel Calejo +6
Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of Flora-2 and so suppo…
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…