Anand S. Rao. Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics. In Michael Wooldridge, Jörg P. Müller, Milind Tambe, editors, Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI 95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings. Volume 1037 of Lecture Notes in Computer Science, pages 33-48, Springer, 1995.
@inproceedings{Rao95:2,
title = {Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics},
author = {Anand S. Rao},
year = {1995},
tags = {logic},
researchr = {https://researchr.org/publication/Rao95%3A2},
cites = {0},
citedby = {0},
pages = {33-48},
booktitle = {Intelligent Agents II, Agent Theories, Architectures, and Languages, IJCAI 95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995, Proceedings},
editor = {Michael Wooldridge and Jörg P. Müller and Milind Tambe},
volume = {1037},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60805-2},
}