@incollection{ Schubert90,
  publisher = {Kluwer Academic Press}
}
,
  title = {Monotonic Solution of The Frame Problem in The Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions}
}
,
  url = {Schubert90.pdf}
}
,
  year = {1990}
}
,
  booktitle = {Knowledge Representation and Defeasible Reasoning}
}
,
  author = {Schubert, Lenhart}
}
,
  optnote = {\ sf Provides a solution to the frame problem by appealing to explanation closure axioms for worlds with fully specified actions. The inference of change and nonchange is monotonic and it is argue that explanation axioms are preferable to frame axioms. }
}
,
  editor = {H. E. Kyburg, R.P. Loui and G.N. Carlson}
}
,
  key = {CogRobo2}
}
,
  address = {London}
}
,
  pages = {23--67}
}