Michael Fisher, Michael Wooldridge, Clare Dixon. A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings. Volume 1085 of Lecture Notes in Computer Science, pages 178-192, Springer, 1996.
@inproceedings{FisherWD96,
title = {A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief},
author = {Michael Fisher and Michael Wooldridge and Clare Dixon},
year = {1996},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/FisherWD96},
cites = {0},
citedby = {0},
pages = {178-192},
booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings},
editor = {Dov M. Gabbay and Hans Jürgen Ohlbach},
volume = {1085},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-61313-7},
}