Stable Model Semantics for Description Logic Terminologies.

Federica Di Stefano, Mantas Simkus

Browse the full AAAI paper archive.