7 citations · 16 across the 16 of their papers we have counts for
16 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…
MLRegTest: A Benchmark for the Machine Learning of Regular Languages
Sam van der Poel, Dakotah Lambert, Kalina Kostyszyn +9
Synthetic datasets constructed from formal languages allow fine-grained examination of the learning and generalization capabilities of machine learning systems for sequence classif…
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…
Proceedings 37th International Conference on Logic Programming (Technical Communications)
Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts +7
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2021 were sought in all areas of logic programming, including but not li…
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…