@inproceedings{ Finzi00,
  publisher = {AAAI Press}
}
,
  title = {Open World Planning in the Situation Calculus}
}
,
  url = {openworld-aaai00.pdf}
}
,
  booktitle = {Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00)}
}
,
  author = {Alberto Finzi and Fiora Pirri and Ray Reiter}
}
,
  year = {2000}
}
,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps}
}
,
  month = {July 30-- 3}
}
,
  key = {CogRobo}
}
,
  address = {Menlo Park, CA}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/openworld-aaai00.pdf}
}
,
  pages = {754--760}
}