A high-order logic programming framework for complex objects reasoning.

Qiming Chen

Browse the full COMPSAC paper archive.