@incollection{ Moore85,
  publisher = {Ablex}
}
,
  title = {A Formal Theory of Knowledge and Action}
}
,
  url = {Moore85.pdf}
}
,
  year = {1985}
}
,
  booktitle = {Formal Theories of the Commonsense World}
}
,
  author = {Moore, R.C.}
}
,
  optnote = {\ sf Describes a formal theory of knowledge and action based on a possible-world analysis of the former. }
}
,
  editor = {Hobbs, J.R. and Moore, R.C.}
}
,
  key = {CogRobo2}
}
,
  address = {Norwood, NJ.}
}
,
  pages = {319--358}
}