Siddharth Srivastava, Ph.D. - Publications
Affiliations: | 2010 | Computer Science | University of Massachusetts, Amherst, Amherst, MA |
Area:
Computer Science, Information TechnologyYear | Citation | Score | |||
---|---|---|---|---|---|
2012 | Srivastava S, Immerman N, Zilberstein S. Applicability conditions for plans with loops: Computability results and algorithms Artificial Intelligence. 191: 1-19. DOI: 10.1016/J.Artint.2012.07.005 | 0.561 | |||
2011 | Srivastava S. Foundations and applications of generalized planning Ai Communications. 24: 349-351. DOI: 10.3233/Aic-2011-0508 | 0.405 | |||
2011 | Srivastava S, Immerman N, Zilberstein S. A new representation and associated algorithms for generalized planning Artificial Intelligence. 175: 615-647. DOI: 10.1016/J.Artint.2010.10.006 | 0.567 | |||
2005 | Lev-Ami T, Immerman N, Reps T, Sagiv M, Srivastava S, Yorsh G. Simulating reachability using first-order logic with applications to verification of linked data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3632: 99-115. DOI: 10.2168/Lmcs-5(2:12)2009 | 0.517 | |||
Show low-probability matches. |