Towards a Decidable LogicWeb via Length-Bounded Derivations.

Keehang Kwon Dae-Seong Kang

Published in: CoRR (2017)

Keyphrases

total length
first order logic
website
inference rules
maximum number
relational databases
fixed length