Reasoning and Proofing Services for Semantic Web Agents.

Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades

Browse the full IJCAI paper archive.