7 citations · 16 across the 16 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2008
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine
Paul Fodor
In this paper, we show our results on the bi-directional data exchange between the F-logic language supported by the Flora2 system and the OWL language. Most of the TBox and ABox a…