refs.bib

@book{bellman,
	author = "Richard E Bellman",
	year = "1957",
	title = "Dynamic Programming",
	publisher = "Princeton University Press"
}

@book{lamport,
	author = "Leslie Lamport",
	year = "1994",
	title = "{LaTeX}: A Document Preparation System (2nd Edition)",
	publisher = "Addison-Wesley Professional"
}

@book{helmut,
	author = "Helmut Kopka And Patrick W. Daly",
	year = "2003",
	title = "Guide to {LaTeX} (4th Edition)",
	publisher = "Addison-Wesley Professional"
}

@book{david,
	author = "David Francis Griffiths And Desmond J. Higham",
	year = "1997",
	title = "Learning {LaTeX}",
	publisher = "SIAM"
}

@InCollection{Amarel:1968,
  author =       "Saul Amarel",
  year =         "1968",
  title =        "On representations of problems of reasoning about actions",
  booktitle =    "Machine Intelligence~3",
  editor =       "Donald Michie",
  publisher =    "Elsevier/North-Holland",
  address =      "Amsterdam, London, New York",
  volume =       "3",
  pages =        "131--171",
}

@PhdThesis{manning,
  author = 	 {Joseph Brendan Manning},
  title = 	 {Geometric symmetry in graphs},
  school = 	 {Purdue University},
  year = 	 {1990},
}

@inproceedings{ knoblock90learning,
    author = "Craig A. Knoblock",
    title = "Learning Abstraction Hierarchies for Problem Solving",
    booktitle = "Proceedings of the Eighth National Conference on Artificial Intelligence",
    publisher = "AAAI Press",
    address = "Menlo Park, California",
    editor = "Thomas Dietterich and William Swartout",
    year = "1990",
    url = "citeseer.ist.psu.edu/knoblock90learning.html"
}

@misc{ crawford92theoretical,
  author = "J. Crawford",
  title = "A theoretical analysis of reasoning by symmetry in first-order logic",
  text = "J.M. Crawford. A theoretical analysis of reasoning by symmetry in first-order
    logic. In AAAI Workshop on Tractable Reasoning, 1992.",
  year = "1992",
  url = "citeseer.ist.psu.edu/crawford92theoretical.html" }

@article{Barto:rtdp,
  AUTHOR = {A. G. Barto and S. J. Bradtke and S. P. Singh},
  TITLE = {Learning to act using real-time dynamic programming},
  YEAR = 1995,
  JOURNAL = {Artificial Intelligence},
  VOLUME = {72},
  PAGES = {81--138},
}

@TechReport{Ravindran:proof,
  author = 	 {Balaraman Ravindran and Andrew G. Barto},
  title = 	 {Symmetries and model minimization of markov decision processes},
  institution =  {University of Massachusetts, Amherst},
  year = 	 {2001},
  key = 	 {01-43},
}