SMT Safety Verification of Ontology-Based Processes.

Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali

Browse the full AAAI paper archive.