ML Anthology

Connection Based Strategies for Deciding Propositional Temporal Logic

Subash Shankar, James R. Slagle
AAAI 1997 pp. 172-177
/aaai/1997/shankar1997aaai-connection/
PDF AAAI Semantic Scholar

Cite

Text

Shankar and Slagle. "Connection Based Strategies for Deciding Propositional Temporal Logic." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Shankar and Slagle. "Connection Based Strategies for Deciding Propositional Temporal Logic." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/shankar1997aaai-connection/)

BibTeX

@inproceedings{shankar1997aaai-connection,
  title     = {{Connection Based Strategies for Deciding Propositional Temporal Logic}},
  author    = {Shankar, Subash and Slagle, James R.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {172-177},
  url       = {https://mlanthology.org/aaai/1997/shankar1997aaai-connection/}
}