Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.

Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo

Browse the full IJCAI paper archive.