Koji Iwanuma, Masateru Harao. Knowledge Representation and Inference Based on First-Order Modal Logic. In Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki, editors, Logic Programming 87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987. Volume 315 of Lecture Notes in Computer Science, pages 236-251, Springer, 1987.
@inproceedings{IwanumaH87,
title = {Knowledge Representation and Inference Based on First-Order Modal Logic},
author = {Koji Iwanuma and Masateru Harao},
year = {1987},
tags = {rule-based, modal logic, logic},
researchr = {https://researchr.org/publication/IwanumaH87},
cites = {0},
citedby = {0},
pages = {236-251},
booktitle = {Logic Programming 87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987},
editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki},
volume = {315},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-19426-6},
}