Search Results for author: Michael Kifer

Found 4 papers, 2 papers with code

Knowledge Authoring for Rules and Actions

no code implementations12 May 2023 Yuheng Wang, Paul Fodor, Michael Kifer

To address these limitations, we propose KALMRA to enable authoring of rules and actions.

Logical Reasoning

Knowledge Authoring with Factual English

1 code implementation5 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.

Lemmatization Part-Of-Speech Tagging

Querying Knowledge via Multi-Hop English Questions

1 code implementation18 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.

BIG-bench Machine Learning Question Answering

Paraconsistency and Word Puzzles

no code implementations3 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).

Cannot find the paper you are looking for? You can Submit a new open access paper.