7 citations · 11 across the 5 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2019★ 2 cited
Controlled Natural Languages and Default Reasoning
Tiantian Gao
Controlled natural languages (CNLs) are effective languages for knowledge representation and reasoning. They are designed based on certain natural languages with restricted lexicon…
cs.AI2019★ 1 cited
Knowledge Authoring and Question Answering with KALM
Tiantian Gao
Knowledge representation and reasoning (KRR) is one of the key areas in artificial intelligence (AI) field. It is intended to represent the world knowledge in formal languages (e.g…
cs.AI2016
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…