Explaining modal logic proofs

Author

Felty, Amy ; Hager, Greg

Author_Institution

University of Pennsylvania

Volume

fYear

1988

Firstpage

177

Lastpage

180

Keywords

Artificial intelligence; Data mining; Face; Formal verification; Inference algorithms; Information science; Logic; Natural languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1988. Proceedings of the 1988 IEEE International Conference on

Print_ISBN

7-80003-039-3

Type

DOI

10.1109/ICSMC.1988.754268

Filename

754268

Link To Document