@inproceedings{DBLP:conf/atal/0002B24,
  author       = {Daxin Liu and
                  Vaishak Belle},
  editor       = {Mehdi Dastani and
                  Jaime Sim{\~{a}}o Sichman and
                  Natasha Alechina and
                  Virginia Dignum},
  title        = {Progression with Probabilities in the Situation Calculus: Representation
                  and Succinctness},
  booktitle    = {Proceedings of the 23rd International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,
                  2024},
  pages        = {1210--1218},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  / {ACM}},
  year         = {2024},
  url          = {https://dl.acm.org/doi/10.5555/3635637.3662978},
  doi          = {10.5555/3635637.3662978},
  timestamp    = {Wed, 26 Jun 2024 14:06:50 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/0002B24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"cq7qvGWqTTfSsdfEo","bibbaseid":"liu-belle-progressionwithprobabilitiesinthesituationcalculusrepresentationandsuccinctness-2024","author_short":["Liu, D.","Belle, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daxin"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Mehdi"],"propositions":[],"lastnames":["Dastani"],"suffixes":[]},{"firstnames":["Jaime","Simão"],"propositions":[],"lastnames":["Sichman"],"suffixes":[]},{"firstnames":["Natasha"],"propositions":[],"lastnames":["Alechina"],"suffixes":[]},{"firstnames":["Virginia"],"propositions":[],"lastnames":["Dignum"],"suffixes":[]}],"title":"Progression with Probabilities in the Situation Calculus: Representation and Succinctness","booktitle":"Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024","pages":"1210–1218","publisher":"International Foundation for Autonomous Agents and Multiagent Systems / ACM","year":"2024","url":"https://dl.acm.org/doi/10.5555/3635637.3662978","doi":"10.5555/3635637.3662978","timestamp":"Wed, 26 Jun 2024 14:06:50 +0200","biburl":"https://dblp.org/rec/conf/atal/0002B24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atal/0002B24,\n author = {Daxin Liu and\n Vaishak Belle},\n editor = {Mehdi Dastani and\n Jaime Sim{\\~{a}}o Sichman and\n Natasha Alechina and\n Virginia Dignum},\n title = {Progression with Probabilities in the Situation Calculus: Representation\n and Succinctness},\n booktitle = {Proceedings of the 23rd International Conference on Autonomous Agents\n and Multiagent Systems, {AAMAS} 2024, Auckland, New Zealand, May 6-10,\n 2024},\n pages = {1210--1218},\n publisher = {International Foundation for Autonomous Agents and Multiagent Systems\n / {ACM}},\n year = {2024},\n url = {https://dl.acm.org/doi/10.5555/3635637.3662978},\n doi = {10.5555/3635637.3662978},\n timestamp = {Wed, 26 Jun 2024 14:06:50 +0200},\n biburl = {https://dblp.org/rec/conf/atal/0002B24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Liu, D.","Belle, V."],"editor_short":["Dastani, M.","Sichman, J. S.","Alechina, N.","Dignum, V."],"key":"DBLP:conf/atal/0002B24","id":"DBLP:conf/atal/0002B24","bibbaseid":"liu-belle-progressionwithprobabilitiesinthesituationcalculusrepresentationandsuccinctness-2024","role":"author","urls":{"Paper":"https://dl.acm.org/doi/10.5555/3635637.3662978"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"],"keywords":[],"search_terms":["progression","probabilities","situation","calculus","representation","succinctness","liu","belle"],"title":"Progression with Probabilities in the Situation Calculus: Representation and Succinctness","year":2024}