no code implementations • 12 May 2023 • Yuheng Wang, Paul Fodor, Michael Kifer
To address these limitations, we propose KALMRA to enable authoring of rules and actions.
1 code implementation • 5 Aug 2022 • Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer
Unfortunately, at present, extraction of logical facts from unrestricted natural language is still too inaccurate to be used for reasoning, while restricting the grammar of the language (so-called controlled natural language, or CNL) is hard for the users to learn and use.
1 code implementation • 18 Jul 2019 • 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 representation and reasoning (KRR) paradigm commonplace.
no code implementations • 3 Aug 2016 • 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 Dzifcak 2012; Schwitter 2013).