Login with OpenID | Report issues

 

Author: Neil Immerman [RDF, Bibtex, BibGraph] has 10 publications

report error (So far 0 user(s) reported errors on this item)

Merging Example Plans into Generalized Plans for Non-deterministic Environments Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Proc. of AAMAS 2010



Computing Applicability Conditions for Plans with Loops Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Proc. of ICAPS 2010



Challenges in Finding Generalized Plans Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece 2009



Foundations of Generalized Planning Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Technical Report UM-CS-2008-039, Dept. of Computer Science, Univ. of Massachusetts, Amherst 2008



Learning Generalized Plans Using Abstract Counting. Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. Proc. of AAAI 991-997 2008



Using Abstraction for Generalized Planning Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. International Symposium on AI and Mathematics 2008



First-Order and Temporal Logics for Nested Words Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin. CoRR 2008



First-Order and Temporal Logics for Nested Words Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin. Logical Methods in Computer Science 2008



Using Abstraction for Generalized Planning Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein. 2007



First-Order and Temporal Logics for Nested Words Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, Leonid Libkin. 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings 151-160 2007