A formally verified prover for the ALC description logic in PVS
Revisión del 21:25 8 feb 2012 de Jalonso (discusión | contribuciones) (A formally verified prover for the ALC description logic moved to A formally verified prover for the ALC description logic in PVS)
Title: | A formally verified prover for the ALC description logic. |
Authors: | José A. Alonso, María J. Hidalgo, Francisco J. Martín and José L. Ruiz Reina. |
Date: | 2005-2007 |
Description: | The developed work consist of two phases:
|
Code: | You can find the PVS theories in ... |
Documentation: | Papers and reports related with this work: |