DMCA

Verification of Description Logic Knowledge and Action Bases (2012)

by Babak Bagheri Hariri , Diego Calvanese , Giuseppe De Giacomo , Riccardo De Masellis , Paolo Felli , Marco Montali
Citations:8 - 2 self