A semantic characterization of a useful fragment of the situation calculus with knowledge
| Title | A semantic characterization of a useful fragment of the situation calculus with knowledge |
| Publication Type | Journal Article |
| Year of Publication | 2011 |
| Authors | Lakemeyer, G., and H. J. Levesque |
| Journal Title | Artificial Intelligence |
| Volume | 175 |
| Number | 1 |
| Pagination | 142-164 |
| Publisher | Elsevier |
| DOI | 10.1016/j.artint.2010.04.005 |
| Citation Key | KBSG_269 |
|
