Authors Search About

Shankar, Subash

1 publications

AAAI 1997 Connection Based Strategies for Deciding Propositional Temporal Logic Subash Shankar, James R. Slagle

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy