@InCollection{Schubert90,
  Title                    = {Monotonic Solution of The Frame Problem in The
 Situation Calculus: An Efficient Method for Worlds with
 Fully Specified Actions},
  Author                   = {Schubert, Lenhart},
  Booktitle                = {Knowledge Representation and Defeasible Reasoning},
  Publisher                = {Kluwer Academic Press},
  Year                     = {1990},

  Address                  = {London},
  Editor                   = {H. E. Kyburg, R.P. Loui and G.N. Carlson},
  Pages                    = {23--67},

  Key                      = {CogRobo2},
  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.} },
  Timestamp                = {2018.09.23},
  Url                      = {Schubert90.pdf}
}

{"_id":{"_str":"534279630e946d920a0016cf"},"__v":189,"authorIDs":[],"author_short":["Schubert, L."],"bibbaseid":"schubert-monotonicsolutionoftheframeprobleminthesituationcalculusanefficientmethodforworldswithfullyspecifiedactions-1990","bibdata":{"bibtype":"incollection","type":"incollection","title":"Monotonic Solution of The Frame Problem in The Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions","author":[{"propositions":[],"lastnames":["Schubert"],"firstnames":["Lenhart"],"suffixes":[]}],"booktitle":"Knowledge Representation and Defeasible Reasoning","publisher":"Kluwer Academic Press","year":"1990","address":"London","editor":[{"propositions":[],"lastnames":["H.","E.","Kyburg"],"firstnames":["R.P.","Loui"],"suffixes":[]},{"firstnames":["G.N."],"propositions":[],"lastnames":["Carlson"],"suffixes":[]}],"pages":"23–67","key":"Schubert90","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. ","timestamp":"2018.09.23","url":"Schubert90.pdf","bibtex":"@InCollection{Schubert90,\n Title = {Monotonic Solution of The Frame Problem in The\n Situation Calculus: An Efficient Method for Worlds with\n Fully Specified Actions},\n Author = {Schubert, Lenhart},\n Booktitle = {Knowledge Representation and Defeasible Reasoning},\n Publisher = {Kluwer Academic Press},\n Year = {1990},\n\n Address = {London},\n Editor = {H. E. Kyburg, R.P. Loui and G.N. Carlson},\n Pages = {23--67},\n\n Key = {CogRobo2},\n Optnote = {\\\\ {\\sf Provides a solution to the frame problem by\n appealing to explanation closure axioms for worlds with\n fully specified actions. The inference of change and\n nonchange is monotonic and it is argue that explanation\n axioms are preferable to frame axioms.} },\n Timestamp = {2018.09.23},\n Url = {Schubert90.pdf}\n}\n\n","author_short":["Schubert, L."],"editor_short":["H. E. Kyburg, R. L.","Carlson, G."],"id":"Schubert90","bibbaseid":"schubert-monotonicsolutionoftheframeprobleminthesituationcalculusanefficientmethodforworldswithfullyspecifiedactions-1990","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/Schubert90.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"incollection","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["monotonic","solution","frame","problem","situation","calculus","efficient","method","worlds","fully","specified","actions","schubert"],"title":"Monotonic Solution of The Frame Problem in The Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions","year":1990,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}