Incorporating Action Models into the Situation Calculus. Liu, Y. & Levesque, H. J. In Johan van Benthem on Logic and Information Dynamics, pages 569–590. 2014.
Incorporating Action Models into the Situation Calculus [link]Paper  doi  bibtex   2 downloads  
@InCollection{DBLP:books/daglib/p/0001L14,
  Title                    = {Incorporating Action Models into the Situation Calculus},
  Author                   = {Yongmei Liu and
 Hector J. Levesque},
  Booktitle                = {Johan van Benthem on Logic and Information Dynamics},
  Year                     = {2014},
  Pages                    = {569--590},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/books/daglib/p/0001L14},
  Doi                      = {10.1007/978-3-319-06025-5\_21},
  Timestamp                = {Tue, 16 May 2017 14:01:33 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-06025-5\_21}
}

Downloads: 2