Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/abstract-24⫷Vol-3739/abstract-25
Federica Di Stefano 0001Mantas Simkus

Stable Model Semantics for Description Logic Terminologies (Extended Abstract)