@inproceedings{robinson+etal:2013,
  author = {Nathan Robinson and
            Sheila A. McIlraith and
            David Toman},
  booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence,
               July 27-31, 2014, Quebec City, Quebec, Canada},
  title     = {Cost-Based Query Optimization via {AI} Planning (to appear)},
  year      = {2014},
}

@inproceedings{robinson+etal:2013,
  author    = {Nathan Robinson and
               Sheila A. McIlraith and
               David Toman},
  booktitle = {Proceedings of the ICAPS Scheduling and Planning Applications woRKshop (SPARK)},
  title     = {Query Optimization Revisited : An {AI} Planning Perspective},
  year      = {2013},
  file      = {http://nathanrobinson.info/files/publications/SPARK_2013_Robinson.pdf},
}

@phdthesis{robinson:2012,
  author = {Nathan Robinson},
  title = {{Advancing Planning-as-Satisfiability ({PhD} Thesis)}},
  school = {Griffith University},
  type = {PhD},
  year = {2012}
  keywords = {Satisfiability, action encodings, automated planning, control knowledge,
              cost-optimal, planning-as-sat, splitting},
  file = {http://nathanrobinson.info/files/publications/PhD_Robinson_2012.pdf}
}

@inproceedings{saadatpanah:etal:2012,
  author    = {Pooya Saadatpanah and
               Michalis Famelis and
               Jan Gorzny and
               Nathan Robinson and 
               Marsha Checjik and
               Rick Salay},
  booktitle = {Proceedings of the 9th workshop on Model-Driven Engineering,
               Verification and Validation (MoDeVVa 2012)},
  title     = {Comparing the Effectiveness of Reasoning Formalisms for Partial Models},
  year      = {2012},
  file = {http://nathanrobinson.info/files/publications/MoDeVVa_2012_Saadatpanah.pdf}
}

@inproceedings{yoon+etal:2012,
  author    = {Young Yoon and
               Nathan Robinson and
               Vinod Muthusamy and
               Hans-Arno Jacobsen and 
               Sheila A. McIlraith},
  booktitle = {Proceedings of the AAAI-12 Workshop on Problem Solving using Classical Planners (CP4PS-12)},
  title     = {Planning the Transformation of Network Topologies},
  year      = {2012},
  url       = {http://nathanrobinson.info/files/publications/CP4PS_2012_Yoon.pdf}
}

@inproceedings{Robinson+etal:2010b,
  author    = {Nathan Robinson and
               Charles Gretton and
               Duc Nghia Pham and
               Abdul Sattar},
  booktitle = {Proceedings of the 11th Pacific Rim International Conference on Artificial
               Intelligence, Daegu, Korea, August 30 - September 02, 2010 (Best paper award)},
  title     = {Partial Weighted {MaxSAT} for Optimal Planning},
  year      = {2010},
  url       = {http://nathanrobinson.info/files/publications/PRICAI_2010_Robinson.pdf}
}

@inproceedings{robinson+etal:2009,
  author    = {Nathan Robinson and
               Charles Gretton and
               Duc Nghia Pham and
               Abdul Sattar},
  title     = {{SAT}-Based Parallel Planning Using a Split Representation of Actions},
  booktitle = {Proceedings of the 19th International Conference on Automated
               Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009},
  year      = {2009},
  url       = {http://nathanrobinson.info/files/publications/ICAPS_2009_Robinson.pdf}
}

@inproceedings{robinson+etal:2008a,
  author    = {Nathan Robinson and
               Charles Gretton and
               Duc Nghia Pham and
               Abdul Sattar},
  title     = {A Compact and Efficient {SAT} Encoding for Planning},
  booktitle = {Proceedings of the 18th International Conference on Automated
               Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008},
  year      = {2008},
  pages     = {296-303},
  url       = {http://nathanrobinson.info/files/publications/ICAPS_2008_Robinson.pdf}
}

@inproceedings{robinson+etal:2008b,
  author    = {Nathan Robinson and Charles Gretton and Duc-Nghia Pham},
  title     = {{CO-Plan}: Combining {SAT}-Based Planning with Forward-Search},
  booktitle = {Prococeedings of the 2008 Internaltional Planning Competition,
               IPC-6, Sydney, Australia, September, 2008},
  year      = {2008},
  url       = {http://nathanrobinson.info/files/publications/IPC_2008_Robinson.pdf}
}

@inproceedings{robinson+etal:2008c,
  author    = {Nathan Robinson and
               Charles Gretton and
               Duc-Nghia Pham and
               Abdul Sattar},
  title     = {Propositional Probabilistic Planning-as-Satisfiability using 
               Stochastic Local Search},
  booktitle = {Proccedings of A Reality Check for Planning and
               Scheduling Under Uncertainty, ICAPS workshop, Sydney, Australia,
               September 15, 2008},
  year      = {2008},
  url       = {http://nathanrobinson.info/files/publications/ICAPS_2008_Workshop_Robinson.pdf}
}

@inproceedings{cheng+etal:2006,
  author    = {Fu-Leung Cheng and
               Thomas Eiter and
               Nathan Robinson and
               Abdul Sattar and
               Kewen Wang},
  title     = {{LPForget}: A System of Forgetting in Answer Set Programming},
  booktitle = {Proceedings of AI 2006: Advances in Artificial Intelligence, 
               19th Australian Joint Conference on Artificial Intelligence, 
               Hobart, Australia, December 4-8, 2006},
  year      = {2006},
  pages     = {1101-1105},
  url       = {http://nathanrobinson.info/files/publications/AI_2006_Cheng.pdf}
}