@article{DBLP:journals/japll/BelleL15,
  author       = {Vaishak Belle and
                  Hector J. Levesque},
  title        = {Robot location estimation in the situation calculus},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {4},
  pages        = {397--413},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.02.004},
  doi          = {10.1016/J.JAL.2015.02.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BelleL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"c8qFoPkzmoWBzH8w2","bibbaseid":"belle-levesque-robotlocationestimationinthesituationcalculus-2015","downloads":1,"creationDate":"2016-02-21T14:43:53.204Z","title":"Robot location estimation in the situation calculus","author_short":["Belle, V.","Levesque, H. J."],"year":2015,"bibtype":"article","biburl":"https://dblp.org/pid/52/570.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"title":"Robot location estimation in the situation calculus","journal":"J. Appl. Log.","volume":"13","number":"4","pages":"397–413","year":"2015","url":"https://doi.org/10.1016/j.jal.2015.02.004","doi":"10.1016/J.JAL.2015.02.004","timestamp":"Tue, 16 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/japll/BelleL15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/japll/BelleL15,\n author = {Vaishak Belle and\n Hector J. Levesque},\n title = {Robot location estimation in the situation calculus},\n journal = {J. Appl. Log.},\n volume = {13},\n number = {4},\n pages = {397--413},\n year = {2015},\n url = {https://doi.org/10.1016/j.jal.2015.02.004},\n doi = {10.1016/J.JAL.2015.02.004},\n timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/japll/BelleL15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V.","Levesque, H. J."],"key":"DBLP:journals/japll/BelleL15","id":"DBLP:journals/japll/BelleL15","bibbaseid":"belle-levesque-robotlocationestimationinthesituationcalculus-2015","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jal.2015.02.004"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/52/570.bib"}},"downloads":1},"search_terms":["robot","location","estimation","situation","calculus","belle","levesque"],"keywords":[],"authorIDs":["545792562abc8e9f37000523","545aa113b43425b77200103d","5da9a083452932db010000be","5e3902f4dc5b8ade010000a9","5e60e839839e59df010000ed","RmQT3J2e7NKqkbbbe","vsrgwisAvsx5co5Zd"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A"]}