Title :
Explaining modal logic proofs
Author :
Felty, Amy ; Hager, Greg
Author_Institution :
University of Pennsylvania
Keywords :
Artificial intelligence; Data mining; Face; Formal verification; Inference algorithms; Information science; Logic; Natural languages;
Conference_Titel :
Systems, Man, and Cybernetics, 1988. Proceedings of the 1988 IEEE International Conference on
Print_ISBN :
7-80003-039-3
DOI :
10.1109/ICSMC.1988.754268
