Now showing items 1-1 of 1

    • Verification and synthesis in description logic based dynamic systems 

      Calvanese D; De Giacomo G; Montali M; Patrizi F (Springer, 2013)
      In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this ...