Babak Bagheri Hariri | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Marco Montali
42 publications
Diego Calvanese
29 publications
Giuseppe De Giacomo
27 publications
Paolo Felli
14 publications
Riccardo De Masellis
7 publications
Ario Santoso
5 publications
Dmitry Solomakhin
1 publication

research

∙ 02/04/2014

Description Logic Knowledge and Action Bases

Description logic Knowledge and Action Bases (KAB) are a mechanism for p...

0 Babak Bagheri Hariri, et al. ∙

research

∙ 08/28/2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

Artifact-Centric systems have emerged in the last years as a suitable fr...

0 Babak Bagheri Hariri, et al. ∙

Success!

An error occurred