An Ontology-based First-order Intensional Logic.

Feng Jiang, Yuefei Sui, Cungen Cao

Browse the full GRC paper archive.