Kimberly A. Gero

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 3

Top Topics

Function Symbols

Automated Theorem Proving

Top Venues

Publications

Veena Ravishankar, Kimberly A. Gero, Paliath Narendran
Asymmetric Unification and Disunification. CoRR (2017)
Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam
Notes on Lynch-Morawska Systems. UNIF (2016)
Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam
Notes on Lynch-Morawska Systems. CoRR (2016)
Christopher Bouchard, Kimberly A. Gero, Christopher Lynch, Paliath Narendran
On Forward Closure and the Finite Variant Property. FroCos (2013)
Shreyaben Brahmakshatriya, Sushma Danturi, Kimberly A. Gero, Paliath Narendran
Unication Problems Modulo a Theory of Until. UNIF@RTA/TLCA (2013)
Kimberly A. Gero, Christopher Bouchard, Paliath Narendran
Some Notes on Basic Syntactic Mutation. UNIF (2012)
Michael Ferguson, Kimberly A. Gero, Joao Salles, James Weis
Playing Chess with a Human-Scale Mobile Manipulator. AAAI (2011)