var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdl.dropboxusercontent.com%2Fs%2Fjwpnfg9gs3q2698%2Fweb.bib&jsonp=1&theme=default&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fdl.dropboxusercontent.com%2Fs%2Fjwpnfg9gs3q2698%2Fweb.bib&jsonp=1&theme=default\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fdl.dropboxusercontent.com%2Fs%2Fjwpnfg9gs3q2698%2Fweb.bib&jsonp=1&theme=default\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2019\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains.\n \n \n \n \n\n\n \n Treszkai, L.; and Belle, V.\n\n\n \n\n\n\n CoRR, abs/1905.07028. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1905-07028,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Laszlo Treszkai and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1905-07028},\n\tDate-Added = {2019-06-07 12:09:58 +0100},\n\tDate-Modified = {2019-06-07 12:09:58 +0100},\n\tEprint = {1905.07028},\n\tJournal = {CoRR},\n\tTimestamp = {Tue, 28 May 2019 12:48:08 +0200},\n\tTitle = {A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains},\n\tUrl = {http://arxiv.org/abs/1905.07028},\n\tVolume = {abs/1905.07028},\n\tYear = {2019},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1905.07028}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Fairness in Machine Learning with Tractable Models.\n \n \n \n \n\n\n \n Varley, M.; and Belle, V.\n\n\n \n\n\n\n CoRR, abs/1905.07026. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"FairnessPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1905-07026,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Michael Varley and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1905-07026},\n\tDate-Added = {2019-06-07 12:09:47 +0100},\n\tDate-Modified = {2019-06-07 12:09:47 +0100},\n\tEprint = {1905.07026},\n\tJournal = {CoRR},\n\tTimestamp = {Tue, 28 May 2019 12:48:08 +0200},\n\tTitle = {Fairness in Machine Learning with Tractable Models},\n\tUrl = {http://arxiv.org/abs/1905.07026},\n\tVolume = {abs/1905.07026},\n\tYear = {2019},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1905.07026}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Learning Tractable Probabilistic Models in Open Worlds.\n \n \n \n \n\n\n \n Levray, A.; and Belle, V.\n\n\n \n\n\n\n CoRR, abs/1901.05847. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"LearningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1901-05847,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Am{\\'{e}}lie Levray and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1901-05847},\n\tDate-Added = {2019-06-07 12:08:15 +0100},\n\tDate-Modified = {2019-06-07 12:08:15 +0100},\n\tEprint = {1901.05847},\n\tJournal = {CoRR},\n\tTimestamp = {Fri, 01 Feb 2019 13:39:59 +0100},\n\tTitle = {Learning Tractable Probabilistic Models in Open Worlds},\n\tUrl = {http://arxiv.org/abs/1901.05847},\n\tVolume = {abs/1901.05847},\n\tYear = {2019},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1901.05847}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Experiential AI.\n \n \n \n \n\n\n \n Hemment, D.; Aylett, R.; Belle, V.; Murray-Rust, D.; Luger, E.; Hillston, J.; Rovatsos, M.; and Broz, F.\n\n\n \n\n\n\n AI Matters, 5(1): 25–31. 2019.\n \n\n\n\n
\n\n\n\n \n \n \"ExperientialPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/aimatters/HemmentABMLHRB19,\n\tAuthor = {Drew Hemment and Ruth Aylett and Vaishak Belle and Dave Murray{-}Rust and Ewa Luger and Jane Hillston and Michael Rovatsos and Frank Broz},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/aimatters/HemmentABMLHRB19},\n\tDate-Added = {2019-06-07 12:06:34 +0100},\n\tDate-Modified = {2019-06-07 12:17:20 +0100},\n\tDoi = {10.1145/3320254.3320264},\n\tJournal = {{AI} Matters},\n\tNumber = {1},\n\tPages = {25--31},\n\tTimestamp = {Thu, 02 May 2019 17:06:04 +0200},\n\tTitle = {Experiential {AI}},\n\tUrl = {https://www.evernote.com/shard/s7/sh/6174b3c8-fed8-48e2-8daf-bcd36c8ca242/3b02b05551041df74f418ed1fa73b4ed},\n\tVolume = {5},\n\tYear = {2019},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3320254.3320264}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation.\n \n \n \n \n\n\n \n Fuxjaeger, A.; and Belle, V.\n\n\n \n\n\n\n CoRR, abs/1811.12127. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"ScalingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1811-12127,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Anton Fuxjaeger and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1811-12127},\n\tDate-Added = {2019-06-07 12:10:52 +0100},\n\tDate-Modified = {2019-06-07 12:10:52 +0100},\n\tEprint = {1811.12127},\n\tJournal = {CoRR},\n\tTimestamp = {Fri, 30 Nov 2018 12:44:28 +0100},\n\tTitle = {Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation},\n\tUrl = {http://arxiv.org/abs/1811.12127},\n\tVolume = {abs/1811.12127},\n\tYear = {2018},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1811.12127}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Deep Tractable Probabilistic Models for Moral Responsibility.\n \n \n \n \n\n\n \n Hammond, L.; and Belle, V.\n\n\n \n\n\n\n CoRR, abs/1810.03736. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"DeepPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1810-03736,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Lewis Hammond and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1810-03736},\n\tDate-Added = {2019-06-07 12:10:45 +0100},\n\tDate-Modified = {2019-06-07 12:10:45 +0100},\n\tEprint = {1810.03736},\n\tJournal = {CoRR},\n\tTimestamp = {Tue, 30 Oct 2018 10:49:09 +0100},\n\tTitle = {Deep Tractable Probabilistic Models for Moral Responsibility},\n\tUrl = {http://arxiv.org/abs/1810.03736},\n\tVolume = {abs/1810.03736},\n\tYear = {2018},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1810.03736}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Abstracting Probabilistic Relational Models.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n CoRR, abs/1810.02434. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"AbstractingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1810-02434,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1810-02434},\n\tDate-Added = {2019-06-07 12:10:38 +0100},\n\tDate-Modified = {2019-06-07 12:10:38 +0100},\n\tEprint = {1810.02434},\n\tJournal = {CoRR},\n\tTimestamp = {Tue, 30 Oct 2018 10:49:09 +0100},\n\tTitle = {Abstracting Probabilistic Relational Models},\n\tUrl = {http://arxiv.org/abs/1810.02434},\n\tVolume = {abs/1810.02434},\n\tYear = {2018},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1810.02434}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Learning Probabilistic Logic Programs in Continuous Domains.\n \n \n \n \n\n\n \n Speichert, S.; and Belle, V.\n\n\n \n\n\n\n CoRR, abs/1807.05527. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"LearningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1807-05527,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Stefanie Speichert and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1807-05527},\n\tDate-Added = {2019-06-07 12:10:31 +0100},\n\tDate-Modified = {2019-06-07 12:10:31 +0100},\n\tEprint = {1807.05527},\n\tJournal = {CoRR},\n\tTimestamp = {Mon, 13 Aug 2018 16:46:00 +0200},\n\tTitle = {Learning Probabilistic Logic Programs in Continuous Domains},\n\tUrl = {http://arxiv.org/abs/1807.05527},\n\tVolume = {abs/1807.05527},\n\tYear = {2018},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1807.05527}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks.\n \n \n \n \n\n\n \n Bueff, A.; Speichert, S.; and Belle, V.\n\n\n \n\n\n\n CoRR, abs/1807.05464. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"TractablePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/corr/abs-1807-05464,\n\tArchiveprefix = {arXiv},\n\tAuthor = {Andreas Bueff and Stefanie Speichert and Vaishak Belle},\n\tBibsource = {dblp computer science bibliography, https://dblp.org},\n\tBiburl = {https://dblp.org/rec/bib/journals/corr/abs-1807-05464},\n\tDate-Added = {2019-06-07 12:10:24 +0100},\n\tDate-Modified = {2019-06-07 12:10:24 +0100},\n\tEprint = {1807.05464},\n\tJournal = {CoRR},\n\tTimestamp = {Mon, 13 Aug 2018 16:47:39 +0200},\n\tTitle = {Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks},\n\tUrl = {http://arxiv.org/abs/1807.05464},\n\tVolume = {abs/1807.05464},\n\tYear = {2018},\n\tBdsk-Url-1 = {http://arxiv.org/abs/1807.05464}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n Artificial Intelligence, 262: 189 - 221. 2018.\n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n\n\n\n
\n 
@article{Belle2018189,\n\tAuthor = {Vaishak Belle and Hector J. Levesque},\n\tDate-Added = {2018-06-27 15:25:11 +0000},\n\tDate-Modified = {2018-06-27 15:25:51 +0000},\n\tDoi = {https://doi.org/10.1016/j.artint.2018.06.003},\n\tIssn = {0004-3702},\n\tJournal = {Artificial Intelligence},\n\tKeywords = {Cognitive robotics},\n\tPages = {189 - 221},\n\tTitle = {Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems},\n\tUrl = {https://cl.ly/sY32/download/discrete-continuous-noisy-2.pdf},\n\tVolume = {262},\n\tYear = {2018},\n\tBdsk-Url-1 = {https://www.sciencedirect.com/science/article/pii/S000437021830314X},\n\tBdsk-Url-2 = {https://doi.org/10.1016/j.artint.2018.06.003}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Efficient Symbolic Integration for Probabilistic Inference.\n \n \n \n \n\n\n \n Kolb, S.; Mladenov, M.; Sanner, S.; Belle, V.; and Kersting, K.\n\n\n \n\n\n\n In IJCAI, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"EfficientPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{ijcai18,\n\tAuthor = {Samuel Kolb and Martin Mladenov and Scott Sanner and Vaishak Belle and Kristian Kersting},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2018-05-01 10:05:24 +0000},\n\tDate-Modified = {2018-05-08 10:22:05 +0000},\n\tTitle = {Efficient Symbolic Integration for Probabilistic Inference},\n\tUrl = {https://d.pr/free/f/ycfrsj},\n\tYear = {2018},\n\tBdsk-Url-1 = {https://d.pr/free/f/ycfrsj}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Planning in hybrid relational MDPs.\n \n \n \n\n\n \n Nitti, D.; Belle, V.; De Laet, T.; and De Raedt, L.\n\n\n \n\n\n\n In ICAPS (Journal Track), 2018. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Nitti2018,\n\tAuthor = {Nitti, Davide and Belle, Vaishak and De Laet, Tinne and De Raedt, Luc},\n\tBooktitle = {ICAPS (Journal Track)},\n\tDate-Added = {2018-04-26 14:40:07 +0000},\n\tDate-Modified = {2018-04-26 14:40:39 +0000},\n\tTitle = {Planning in hybrid relational MDPs},\n\tYear = {2018},\n\tBdsk-Url-1 = {https://doi.org/10.1007/s10994-017-5669-x},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/s10994-017-5669-x}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On Plans With Loops and Noise.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In AAMAS, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{on-plans-with-loops-and-noise,\n\tAuthor = {V. Belle},\n\tBooktitle = {AAMAS},\n\tDate-Added = {2018-04-26 14:39:06 +0000},\n\tDate-Modified = {2018-04-26 14:39:46 +0000},\n\tTitle = {On Plans With Loops and Noise},\n\tUrl = {https://d.pr/free/f/CEBE0r},\n\tYear = {2018},\n\tBdsk-Url-1 = {https://d.pr/free/f/CEBE0r}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Probabilistic Planning by Probabilistic Programming.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In AAAI Workshop on Planning and Inference, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"ProbabilisticPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{probabilistic-planning-by-probabilistic-programming,\n\tAuthor = {V. Belle},\n\tBooktitle = {AAAI Workshop on Planning and Inference},\n\tDate-Added = {2018-04-26 14:37:52 +0000},\n\tDate-Modified = {2018-04-26 14:38:55 +0000},\n\tTitle = {Probabilistic Planning by Probabilistic Programming},\n\tUrl = {https://arxiv.org/pdf/1801.08365.pdf},\n\tYear = {2018},\n\tBdsk-Url-1 = {https://arxiv.org/pdf/1801.08365.pdf}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Solving Probability Problems in Natural Language.\n \n \n \n\n\n \n Dries, A.; Kimmig, A.; Davis, J.; Belle, V.; and De Raedt, L.\n\n\n \n\n\n\n In ILP, 2017. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{drieskimmigdavis:2017:solving-probability-probl,\n\tAuthor = {A. Dries and A. Kimmig and J. Davis and V. Belle and L. {De Raedt}},\n\tBooktitle = {ILP},\n\tDate-Added = {2017-07-04 09:14:44 +0000},\n\tDate-Modified = {2017-07-04 09:14:58 +0000},\n\tTitle = {Solving Probability Problems in Natural Language},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/kjrg/download/nlp4plp.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Weighted Model Counting With Function Symbols.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In UAI, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"WeightedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{belle:2017:weighted-model-counting-w,\n\tAuthor = {V. Belle},\n\tBooktitle = {UAI},\n\tDate-Added = {2017-07-03 11:04:50 +0000},\n\tDate-Modified = {2017-07-03 11:05:24 +0000},\n\tTitle = {Weighted Model Counting With Function Symbols},\n\tUrl = {https://cl.ly/lYgU/download/uai17final.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/lYgU/download/uai17final.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In IJCAI, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"LogicPaper\n  \n \n \n \"Logic slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{BelleInvited2017,\n\tAuthor = {V. Belle},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2017-05-29 16:06:52 +0000},\n\tDate-Modified = {2017-08-23 07:14:12 +0000},\n\tTitle = {Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds},\n\tUrl = {https://cl.ly/lEQE/download/logic-meets-probability.pdf},\n\tUrl_Slides = {https://cl.ly/m8OR/download/early.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/lEQE/download/logic-meets-probability.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Solving Probability Problems in Natural Language.\n \n \n \n \n\n\n \n Dries, A.; Kimmig, A.; Davis, J.; Belle, V.; and De Raedt, L.\n\n\n \n\n\n\n In IJCAI, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"SolvingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Driesaa2017,\n\tAuthor = {A. Dries and A. Kimmig and J. Davis and V. Belle and L. {De Raedt}},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2017-04-24 11:14:38 +0000},\n\tDate-Modified = {2017-04-24 11:34:33 +0000},\n\tTitle = {Solving Probability Problems in Natural Language},\n\tUrl = {https://cl.ly/kjrg/download/nlp4plp.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/kjrg/download/nlp4plp.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning about Probabilities in Unbounded First-Order Dynamical Domains.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In IJCAI, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle2017ac,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2017-04-24 11:13:29 +0000},\n\tDate-Modified = {2017-05-10 13:27:08 +0000},\n\tTitle = {Reasoning about Probabilities in Unbounded First-Order Dynamical Domains},\n\tUrl = {https://cl.ly/kjRE/download/bhles.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/kjRE/download/bhles.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Open-Universe Weighted Model Counting: Extended Abstract.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In AAAI Workshop: Symbolic Inference and Optimization, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"Open-UniversePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2017ab,\n\tAuthor = {Vaishak Belle},\n\tBooktitle = {AAAI Workshop: Symbolic Inference and Optimization},\n\tDate-Added = {2016-12-13 14:04:17 +0000},\n\tDate-Modified = {2016-12-13 14:05:40 +0000},\n\tTitle = {Open-Universe Weighted Model Counting: Extended Abstract},\n\tUrl = {https://cl.ly/iRMt/download/15132-65264-1-RV.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/iJSv/download/oupaper.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Symbolic Interior Point Method.\n \n \n \n \n\n\n \n Mladenov, M.; Belle, V.; and Kersting, K.\n\n\n \n\n\n\n In AAAI, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"ThePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Mladenov:2017aa,\n\tAuthor = {Martin Mladenov and Vaishak Belle and Kristian Kersting},\n\tBooktitle = {AAAI},\n\tDate-Added = {2016-11-13 10:14:12 +0000},\n\tDate-Modified = {2017-04-24 11:31:14 +0000},\n\tTitle = {The Symbolic Interior Point Method},\n\tUrl = {https://cl.ly/iK7M/download/sipm.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/iK7M/download/sipm.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Open-Universe Weighted Model Counting.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In AAAI, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"Open-UniversePaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2017aa,\n\tAuthor = {Vaishak Belle},\n\tBooktitle = {AAAI},\n\tDate-Added = {2016-11-13 10:13:20 +0000},\n\tDate-Modified = {2016-12-02 10:20:57 +0000},\n\tTitle = {Open-Universe Weighted Model Counting},\n\tUrl = {https://cl.ly/iJSv/download/oupaper.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/iJSv/download/oupaper.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning in hybrid relational MDPs.\n \n \n \n \n\n\n \n Nitti, D.; Belle, V.; De Laet, T.; and De Raedt, L.\n\n\n \n\n\n\n Machine Learning,1–28. 2017.\n \n\n\n\n
\n\n\n\n \n \n \"PlanningPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Nitti2017,\n\tAuthor = {Nitti, Davide and Belle, Vaishak and De Laet, Tinne and De Raedt, Luc},\n\tDate-Modified = {2017-10-12 12:16:24 +0000},\n\tDoi = {10.1007/s10994-017-5669-x},\n\tIssn = {1573-0565},\n\tJournal = {Machine Learning},\n\tPages = {1--28},\n\tTitle = {Planning in hybrid relational MDPs},\n\tUrl = {https://d26dzxoao6i3hh.cloudfront.net/items/2t2N2n0c0h0g1b243x14/10.1007s10994-017-5669-x.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1007/s10994-017-5669-x},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1007/s10994-017-5669-x}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Action-Centric Probabilistic Programming.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In StarAI Workshop at IJCAI, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"Action-CentricPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2016af,\n\tAuthor = {Vaishak Belle},\n\tBooktitle = {StarAI Workshop at IJCAI},\n\tDate-Added = {2016-05-24 07:29:02 +0000},\n\tDate-Modified = {2016-06-01 20:41:48 +0000},\n\tTitle = {Action-Centric Probabilistic Programming},\n\tUrl = {http://cl.ly/gLIL/srlallegro.pdf},\n\tYear = {2016},\n\tBdsk-Url-1 = {http://cl.ly/gKu3/srlallegro.pdf},\n\tBdsk-Url-2 = {http://cl.ly/gLIL/srlallegro.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Hashing-based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report.\n \n \n \n \n\n\n \n Belle, V.; Van den Broeck, G.; and Passerini, A.\n\n\n \n\n\n\n In IJCAI, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"Hashing-basedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2016ae,\n\tAuthor = {Vaishak Belle and Van den Broeck, Guy and Andrea Passerini},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2016-04-20 09:00:47 +0000},\n\tDate-Modified = {2016-04-20 09:04:01 +0000},\n\tTitle = {Hashing-based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report},\n\tUrl = {http://cl.ly/fkKQ/approxwmi.pdf},\n\tYear = {2016},\n\tBdsk-Url-1 = {http://cl.ly/bYrm/cr.pdf},\n\tBdsk-Url-2 = {http://cl.ly/fkKQ/approxwmi.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Foundations for Generalized Planning in Unbounded Stochastic Domains.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H.\n\n\n \n\n\n\n In KR, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"FoundationsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2016ad,\n\tAuthor = {Vaishak Belle and Hector Levesque},\n\tBooktitle = {KR},\n\tDate-Added = {2016-02-21 15:02:37 +0000},\n\tDate-Modified = {2016-02-21 15:03:38 +0000},\n\tTitle = {Foundations for Generalized Planning in Unbounded Stochastic Domains},\n\tUrl = {http://cl.ly/fCjY/controller.pdf},\n\tYear = {2016},\n\tBdsk-Url-1 = {http://cl.ly/fCjY/controller.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Satisfiability and Model Counting in Open Universes.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In Beyond NP Workshop, AAAI, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"SatisfiabilityPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2016ac,\n\tAuthor = {Vaishak Belle},\n\tBooktitle = {Beyond NP Workshop, AAAI},\n\tDate-Added = {2016-02-21 15:02:06 +0000},\n\tDate-Modified = {2016-11-13 10:16:47 +0000},\n\tTitle = {Satisfiability and Model Counting in Open Universes},\n\tUrl = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378},\n\tYear = {2016},\n\tBdsk-Url-1 = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A First-Order Logic of Probability and Only Knowing in Unbounded Domains.\n \n \n \n \n\n\n \n Belle, V.; Lakemeyer, G.; and Levesque, H.\n\n\n \n\n\n\n In AAAI, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2016ab,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer and Hector Levesque},\n\tBooktitle = {AAAI},\n\tDate-Added = {2016-02-21 15:01:23 +0000},\n\tDate-Modified = {2016-02-21 15:01:57 +0000},\n\tTitle = {A First-Order Logic of Probability and Only Knowing in Unbounded Domains},\n\tUrl = {http://cl.ly/dwdE/oknowprob.pdf},\n\tYear = {2016},\n\tBdsk-Url-1 = {http://cl.ly/dwdE/oknowprob.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Component Caching in Hybrid Domains with Piecewise Polynomial Densities.\n \n \n \n \n\n\n \n Belle, V.; Van den Broeck, G.; and Passerini, A.\n\n\n \n\n\n\n In AAAI, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"ComponentPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2016aa,\n\tAuthor = {Vaishak Belle and Van den Broeck, Guy and Andrea Passerini},\n\tBooktitle = {AAAI},\n\tDate-Added = {2016-02-21 15:00:15 +0000},\n\tDate-Modified = {2016-02-21 15:01:13 +0000},\n\tTitle = {Component Caching in Hybrid Domains with Piecewise Polynomial Densities},\n\tUrl = {http://cl.ly/dyB1/wmicc.pdf},\n\tYear = {2016},\n\tBdsk-Url-1 = {http://cl.ly/dyB1/wmicc.pdf}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (13)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Probabilistic Inference in Hybrid Domains by Weighted Model Integration.\n \n \n \n\n\n \n Belle, V.; Passerini, A.; and Van den Broeck, G.\n\n\n \n\n\n\n In Workshop on Hybrid Reasoning, IJCAI, 2015. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2015aew,\n\tAuthor = {V. Belle and Andrea Passerini and Van den Broeck, Guy},\n\tBooktitle = {Workshop on Hybrid Reasoning, IJCAI},\n\tDate-Added = {2016-02-21 20:58:11 +0000},\n\tDate-Modified = {2016-02-21 20:58:57 +0000},\n\tTitle = {Probabilistic Inference in Hybrid Domains by Weighted Model Integration},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/arma/wmi.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Logical Theory of Localization.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H.\n\n\n \n\n\n\n Studia Logica,1–32. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Belle:2015ag,\n\tAuthor = {Vaishak Belle and Hector Levesque},\n\tDate-Added = {2016-02-21 14:56:13 +0000},\n\tDate-Modified = {2016-02-21 15:43:46 +0000},\n\tJournal = {Studia Logica},\n\tPages = {1--32},\n\tTitle = {A Logical Theory of Localization},\n\tUrl = {http://link.springer.com/article/10.1007/s11225-015-9625-0},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://link.springer.com/article/10.1007/s11225-015-9625-0}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Hashing-based Approximate Probabilistic Inference in Hybrid Domains.\n \n \n \n \n\n\n \n Belle, V.; Van den Broeck, G.; and Passerini, A.\n\n\n \n\n\n\n In UAI, 2015. \n Best paper award\n\n\n\n
\n\n\n\n \n \n \"Hashing-basedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2015af,\n\tAuthor = {Vaishak Belle and Van den Broeck, Guy and Andrea Passerini},\n\tBooktitle = {UAI},\n\tDate-Added = {2016-02-21 14:55:27 +0000},\n\tDate-Modified = {2017-01-06 09:00:39 +0000},\n\tNote = {Best paper award},\n\tTitle = {Hashing-based Approximate Probabilistic Inference in Hybrid Domains},\n\tUrl = {https://cl.ly/ifLb/download/BelleUAI15.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/bYrm/cr.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Probabilistic Inference in Hybrid Domains by Weighted Model Integration.\n \n \n \n \n\n\n \n Belle, V.; Passerini, A.; and Van den Broeck, G.\n\n\n \n\n\n\n In IJCAI, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"ProbabilisticPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2015ae,\n\tAuthor = {V. Belle and Andrea Passerini and Van den Broeck, Guy},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2016-02-21 14:54:41 +0000},\n\tDate-Modified = {2016-02-21 14:55:19 +0000},\n\tTitle = {Probabilistic Inference in Hybrid Domains by Weighted Model Integration},\n\tUrl = {http://cl.ly/arma/wmi.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/arma/wmi.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n ALLEGRO: Belief-based Programming in Stochastic Dynamical Domains.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In IJCAI, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"ALLEGRO:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2015ad,\n\tAuthor = {Vaishak Belle and Hector J. Levesque},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2016-02-21 14:54:12 +0000},\n\tDate-Modified = {2016-02-21 14:54:38 +0000},\n\tTitle = {ALLEGRO: Belief-based Programming in Stochastic Dynamical Domains},\n\tUrl = {http://cl.ly/auEo/allegro.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/auEo/allegro.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Only Knowing Meets Common Knowledge.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In IJCAI, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"OnlyPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2015ac,\n\tAuthor = {V. Belle and Gerhard Lakemeyer},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2016-02-21 14:53:32 +0000},\n\tDate-Modified = {2016-02-21 14:54:08 +0000},\n\tTitle = {Only Knowing Meets Common Knowledge},\n\tUrl = {http://cl.ly/axNd/common.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/axNd/common.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Multi-Agent Only Knowing on Planet Kripke.\n \n \n \n \n\n\n \n Aucher, G.; and Belle, V.\n\n\n \n\n\n\n In IJCAI, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"Multi-AgentPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Aucher:2015aa,\n\tAuthor = {G. Aucher and V. Belle},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2016-02-21 14:52:59 +0000},\n\tDate-Modified = {2016-02-21 14:53:29 +0000},\n\tTitle = {Multi-Agent Only Knowing on Planet Kripke},\n\tUrl = {http://cl.ly/axio/ijcai15OnlyKnowingFinal.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/axio/ijcai15OnlyKnowingFinal.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming.\n \n \n \n \n\n\n \n Nitti, D.; Belle, V.; and De Raedt, L.\n\n\n \n\n\n\n In European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2015. \n Best student paper award\n\n\n\n
\n\n\n\n \n \n \"PlanningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Nitti:2015ab,\n\tAuthor = {Davide Nitti and Vaishak Belle and De Raedt, Luc},\n\tBooktitle = {European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases},\n\tDate-Added = {2016-02-21 14:51:29 +0000},\n\tDate-Modified = {2016-02-21 14:52:51 +0000},\n\tNote = {Best student paper award},\n\tTitle = {Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming},\n\tUrl = {http://cl.ly/bfTE/planning.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/bfTE/planning.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Sample-based abstraction for hybrid relational MDPs.\n \n \n \n \n\n\n \n Nitti, D.; Belle, V.; De Laet, T.; and De Raedt, L.\n\n\n \n\n\n\n In European Workshop on Reinforcement Learning, ICML, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"Sample-basedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Nitti:2015aa,\n\tAuthor = {Davide Nitti and Vaishak Belle and De Laet, T. and De Raedt, Luc},\n\tBooktitle = {European Workshop on Reinforcement Learning, ICML},\n\tDate-Added = {2016-02-21 14:49:00 +0000},\n\tDate-Modified = {2016-02-26 14:25:32 +0000},\n\tTitle = {Sample-based abstraction for hybrid relational MDPs},\n\tUrl = {http://cl.ly/bfkj/EWRL12.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://cl.ly/bfkj/EWRL12.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version).\n \n \n \n \n\n\n \n Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In Workshop on Distributed and Multi-Agent Planning, ICAPS, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"PlanningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 8 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{muise-aaai-15w,\n\tAuthor = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila A. McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},\n\tBooktitle = {Workshop on Distributed and Multi-Agent Planning, ICAPS},\n\tDate-Added = {2016-02-21 14:45:35 +0000},\n\tDate-Modified = {2016-02-21 15:35:45 +0000},\n\tTitle = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)},\n\tUrl = {http://cl.ly/3m1G3J0X3FOY/muise-dmap15-pdkbplanning.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://www.haz.ca/papers/muise-aaai-15.pdf},\n\tBdsk-Url-2 = {http://cl.ly/3m1G3J0X3FOY/muise-dmap15-pdkbplanning.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robot location estimation in the situation calculus.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H.\n\n\n \n\n\n\n Journal of Applied Logic, 13: 397–413. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"RobotPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Belle:2015ab,\n\tAuthor = {Vaishak Belle and Hector Levesque},\n\tDate-Added = {2016-02-21 14:43:32 +0000},\n\tDate-Modified = {2016-02-21 15:42:40 +0000},\n\tJournal = {Journal of Applied Logic},\n\tPages = {397--413},\n\tTitle = {Robot location estimation in the situation calculus},\n\tUrl = {http://dx.doi.org/10.1016/j.jal.2015.02.004},\n\tVolume = {13},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://dx.doi.org/10.1016/j.jal.2015.02.004}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Semantical Considerations on Multiagent Only Knowing.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n Artificial Intelligence, 223: 1–26. 2015.\n \n\n\n\n
\n\n\n\n \n \n \"SemanticalPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Belle:2015aa,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tDate-Added = {2016-02-21 14:32:37 +0000},\n\tDate-Modified = {2016-02-21 15:42:03 +0000},\n\tJournal = {Artificial Intelligence},\n\tPages = {1--26},\n\tTitle = {Semantical Considerations on Multiagent Only Knowing},\n\tUrl = {http://www.sciencedirect.com/science/article/pii/S0004370215000272},\n\tVolume = {223},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/S0004370215000272}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.\n \n \n \n \n\n\n \n Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L.\n\n\n \n\n\n\n In AAAI, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"PlanningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{muise-aaai-15,\n\tAuthor = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila A. McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},\n\tBooktitle = {AAAI},\n\tDate-Added = {2016-02-21 14:31:50 +0000},\n\tDate-Modified = {2016-02-21 14:36:43 +0000},\n\tTitle = {Planning Over Multi-Agent Epistemic States: A Classical Planning Approach},\n\tUrl = {http://f.cl.ly/items/3I2K0v30020d2F312C2H/aaai-15.pdf},\n\tYear = {2015},\n\tBdsk-Url-1 = {http://www.haz.ca/papers/muise-aaai-15.pdf},\n\tBdsk-Url-2 = {http://f.cl.ly/items/3I2K0v30020d2F312C2H/aaai-15.pdf}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (12)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n On the Projection Problem in Active Knowledge Bases with Incomplete Information.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n AI Matters, 1(2): 14–16. December 2014.\n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Belle:2014:PPA:2685328.2685332,\n\tAcmid = {2685332},\n\tAddress = {New York, NY, USA},\n\tAuthor = {Belle, Vaishak},\n\tDate-Added = {2016-02-26 15:39:50 +0000},\n\tDate-Modified = {2016-02-26 15:39:50 +0000},\n\tDoi = {10.1145/2685328.2685332},\n\tIssn = {2372-3483},\n\tIssue_Date = {December 2014},\n\tJournal = {AI Matters},\n\tMonth = dec,\n\tNumber = {2},\n\tNumpages = {3},\n\tPages = {14--16},\n\tPublisher = {ACM},\n\tTitle = {On the Projection Problem in Active Knowledge Bases with Incomplete Information},\n\tUrl = {http://doi.acm.org/10.1145/2685328.2685332},\n\tVolume = {1},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://doi.acm.org/10.1145/2685328.2685332},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/2685328.2685332}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n SIGACT News, 45(2): 32-35. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"ReviewLink\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/sigact/Belle14,\n\tAuthor = {Vaishak Belle},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tDate-Added = {2014-07-27 11:18:10 +0000},\n\tDate-Modified = {2014-07-27 11:18:10 +0000},\n\tEe = {http://doi.acm.org/10.1145/2636805.2636815},\n\tJournal = {SIGACT News},\n\tNumber = {2},\n\tPages = {32-35},\n\tTitle = {Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur},\n\tVolume = {45},\n\tYear = {2014}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains.\n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In Cognitive Robotics Workshop, 2014. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 33 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2014ae,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {Cognitive Robotics Workshop},\n\tDate-Added = {2014-07-03 13:31:43 +0000},\n\tDate-Modified = {2014-07-03 13:32:22 +0000},\n\tTitle = {PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains},\n\tYear = {2014}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Computing Contingent Plans via Fully Observable Non-Deterministic Planning.\n \n \n \n \n\n\n \n Muise, C. J.; McIlraith, S. A.; and Belle, V.\n\n\n \n\n\n\n In AAAI, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"ComputingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Muise:2014ab,\n\tAuthor = {C. J. Muise and S. A. McIlraith and V. Belle},\n\tBooktitle = {AAAI},\n\tDate-Added = {2014-04-09 11:27:13 +0000},\n\tDate-Modified = {2014-05-23 10:08:34 +0000},\n\tTitle = {Computing Contingent Plans via Fully Observable Non-Deterministic Planning},\n\tUrl = {http://cl.ly/Vgjp},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/Vgjp}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Computing Contingent Plans via Fully Observable Non-Deterministic Planning.\n \n \n \n\n\n \n Muise, C. J.; McIlraith, S. A.; and Belle, V.\n\n\n \n\n\n\n In ICAPS Workshop: Models and Paradigms for Planning under Uncertainty, 2014. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Muise:2014aa,\n\tAuthor = {C. J. Muise and S. A. McIlraith and V. Belle},\n\tBooktitle = {ICAPS Workshop: Models and Paradigms for Planning under Uncertainty},\n\tDate-Added = {2014-04-09 11:26:38 +0000},\n\tDate-Modified = {2014-05-23 10:08:19 +0000},\n\tTitle = {Computing Contingent Plans via Fully Observable Non-Deterministic Planning},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/Vgjp}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In AAAI, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"PREGO:Paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 33 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2014ad,\n\tAuthor = {Vaishak Belle and Hector J. Levesque},\n\tBooktitle = {AAAI},\n\tDate-Added = {2014-04-09 11:25:49 +0000},\n\tDate-Modified = {2014-04-24 16:29:45 +0000},\n\tTitle = {PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains},\n\tUrl = {http://cl.ly/VApm},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/VApm}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Multiagent Only Knowing in Dynamic Systems.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n Journal of Artificial Intelligence Research, 49: 363-402. 2014.\n \n\n\n\n
\n\n\n\n \n \n \"MultiagentPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Belle:2014ac,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tDate-Added = {2014-02-28 00:21:06 +0000},\n\tDate-Modified = {2014-02-28 00:25:55 +0000},\n\tJournal = {Journal of Artificial Intelligence Research},\n\tPages = {363-402},\n\tTitle = {Multiagent Only Knowing in Dynamic Systems},\n\tUrl = {http://cl.ly/UBIm},\n\tVolume = {49},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/UBIm}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n How to Progress Beliefs in Continuous Domains.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In KR, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"HowPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 21 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2014ab,\n\tAuthor = {Vaishak Belle and H. J. Levesque},\n\tBooktitle = {KR},\n\tDate-Added = {2014-01-29 13:26:12 +0000},\n\tDate-Modified = {2014-03-04 22:54:52 +0000},\n\tTitle = {How to Progress Beliefs in Continuous Domains},\n\tUrl = {http://cl.ly/UEcP},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/UEcP}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On the Progression of Knowledge in Multiagent Systems.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In KR, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 11 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2014aa,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tBooktitle = {KR},\n\tDate-Added = {2014-01-29 13:25:23 +0000},\n\tDate-Modified = {2014-03-04 22:53:45 +0000},\n\tTitle = {On the Progression of Knowledge in Multiagent Systems},\n\tUrl = {http://cl.ly/UFG2},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/UFG2}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Nondeterministic Planning with Conditional Effects.\n \n \n \n \n\n\n \n Muise, C.; McIlraith, S.; and Belle, V.\n\n\n \n\n\n\n In ICAPS, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"NondeterministicPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 55 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Muise:2014kx,\n\tAuthor = {Muise, C. and McIlraith, S. and Belle, V.},\n\tBooktitle = {ICAPS},\n\tDate-Added = {2013-12-20 15:49:26 +0000},\n\tDate-Modified = {2014-05-23 10:01:20 +0000},\n\tTitle = {Nondeterministic Planning with Conditional Effects},\n\tUrl = {http://cl.ly/VhCh},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/VhCh}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Logical Theory of Robot Localization.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In AAAI Spring Symposium: Knowledge Representation and Reasoning in Robotics, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 16 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2014uq,\n\tAuthor = {Belle, V. and Levesque, H. J.},\n\tBooktitle = {AAAI Spring Symposium: Knowledge Representation and Reasoning in Robotics},\n\tDate-Added = {2013-12-20 15:48:18 +0000},\n\tDate-Modified = {2014-02-13 11:31:54 +0000},\n\tTitle = {A Logical Theory of Robot Localization},\n\tUrl = {http://cl.ly/TbyJ},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/TbyJ}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Logical Theory of Robot Localization.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In AAMAS, 2014. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 16 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2014fk,\n\tAuthor = {Belle, V. and Levesque, H. J.},\n\tBooktitle = {AAMAS},\n\tDate-Added = {2013-12-20 15:47:24 +0000},\n\tDate-Modified = {2014-02-13 17:04:50 +0000},\n\tTitle = {A Logical Theory of Robot Localization},\n\tUrl = {http://cl.ly/TuGo},\n\tYear = {2014},\n\tBdsk-Url-1 = {http://cl.ly/TuGo}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Formal Model of Belief under Continuous Uncertainty.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In Non-Classical Logics, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{a-formal-model-of-belief-under,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {Non-Classical Logics},\n\tDate-Added = {2013-08-28 12:00:55 +0000},\n\tDate-Modified = {2017-10-12 12:18:07 +0000},\n\tTitle = {A Formal Model of Belief under Continuous Uncertainty},\n\tUrl = {https://cl.ly/n2hF/download/ncl.pdf},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://cl.ly/R4LA}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Probabilistic State Estimation in the Situation Calculus.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In IJCAI Workshop: Weighted Logics for Artificial Intelligence, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"ProbabilisticPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{blwl4ai,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {IJCAI Workshop: Weighted Logics for Artificial Intelligence},\n\tDate-Added = {2013-06-17 13:29:51 -0400},\n\tDate-Modified = {2014-02-03 03:26:27 +0000},\n\tTitle = {Probabilistic State Estimation in the Situation Calculus},\n\tUrl = {http://www.iiia.csic.es/wl4ai-2013/home},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://www.iiia.csic.es/wl4ai-2013/home}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning about Motion Kinematics with Continuous Uncertainty in the Situation Calculus.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In IJCAI Workshop: Nonmonotonic Reasoning, Action and Change, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 18 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{bellevmotionkinematics,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {IJCAI Workshop: Nonmonotonic Reasoning, Action and Change},\n\tDate-Added = {2013-05-23 10:48:57 -0400},\n\tDate-Modified = {2013-06-10 15:35:32 -0400},\n\tTitle = {Reasoning about Motion Kinematics with Continuous Uncertainty in the Situation Calculus},\n\tUrl = {https://cl.ly/n2ks/download/nrac13.pdf},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://d.pr/f/A7Uy}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning about Continuous Uncertainty in the Situation Calculus.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In IJCAI, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 35 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{bellelev13,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:31:43 -0400},\n\tTitle = {Reasoning about Continuous Uncertainty in the Situation Calculus},\n\tUrl = {https://cl.ly/n2ti/download/ijcai13.pdf},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://d.pr/f/dcy6}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning about Probabilities in Dynamic Systems using Goal Regression.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In Uncertainty in Artificial Intelligence, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 33 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{BelleLevreg,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {Uncertainty in Artificial Intelligence},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:33:56 -0400},\n\tTitle = {Reasoning about Probabilities in Dynamic Systems using Goal Regression},\n\tUrl = {https://cl.ly/n2mq/download/uai13.pdf},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://d.pr/f/z2Jd}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robot Location Estimation in the Situation Calculus.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In Symposium on Logical Formalizations of Commonsense Reasoning, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"RobotPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 19 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{bellelevcs,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {Symposium on Logical Formalizations of Commonsense Reasoning},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:34:21 -0400},\n\tTitle = {Robot Location Estimation in the Situation Calculus},\n\tUrl = {https://cl.ly/n2ab/download/commonsense13.pdf},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://d.pr/f/z2Jd}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Robot Location Estimation in the Situation Calculus.\n \n \n \n \n\n\n \n Belle, V.; and Levesque, H. J.\n\n\n \n\n\n\n In ICAPS Workshop: Planning and Robotics, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"RobotPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 19 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{bellelevicaps,\n\tAuthor = {V. Belle and H. J. Levesque},\n\tBooktitle = {ICAPS Workshop: Planning and Robotics},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:35:53 -0400},\n\tTitle = {Robot Location Estimation in the Situation Calculus},\n\tUrl = {https://cl.ly/n2ot/download/planrob13.pdf},\n\tYear = {2013},\n\tBdsk-Url-1 = {http://d.pr/f/5tH9}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n On the Projection Problem in Active Knowledge Bases with Incomplete Information.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n Ph.D. Thesis, Dept. of Computer Science, RWTH Aachen University, 2012.\n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 47 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@phdthesis{bellethesis,\n\tAuthor = {Vaishak Belle},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:36:29 -0400},\n\tSchool = {Dept. of Computer Science, RWTH Aachen University},\n\tTitle = {On the Projection Problem in Active Knowledge Bases with Incomplete Information},\n\tType = {Ph.{D}. {D}issertation},\n\tUrl = {https://cl.ly/n2vl/download/Thesis.pdf},\n\tYear = {2012},\n\tBdsk-Url-1 = {http://d.pr/f/MqrN}}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Semantical Account of Progression in the Presence of Uncertainty.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In AAAI, 2011. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Belle:2011aa,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tBooktitle = {AAAI},\n\tDate-Added = {2016-02-21 18:23:23 +0000},\n\tDate-Modified = {2016-02-21 18:24:03 +0000},\n\tTitle = {A Semantical Account of Progression in the Presence of Uncertainty},\n\tUrl = {http://cl.ly/fD5J/prog-noisy.pdf},\n\tYear = {2011},\n\tBdsk-Url-1 = {http://cl.ly/fD5J/prog-noisy.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Multi-Agent Only-Knowing.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, volume 16. College Publications, 2011.\n \n\n\n\n
\n\n\n\n \n \n \"Multi-AgentPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 8 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@incollection{bellelakbook,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tBooktitle = {Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2016-02-21 18:32:58 +0000},\n\tPublisher = {College Publications},\n\tTitle = {Multi-Agent Only-Knowing},\n\tUrl = {https://cl.ly/n30l/download/MOKNOWBook.pdf},\n\tVolume = {16},\n\tYear = {2011},\n\tBdsk-Url-1 = {https://cl.ly/n30l/download/MOKNOWBook.pdf}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In IJCAI, 2011. \n \n\n\n\n
\n\n\n\n \n \n \"OnPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{KBSG_219,\n\tAttachments = {http://kbsg.rwth-aachen.de/fileskbsg/ijcai11.pdf},\n\tAuthor = {Belle, Vaishak and Lakemeyer, Gerhard},\n\tBooktitle = {IJCAI},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:38:28 -0400},\n\tTitle = {On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols},\n\tUrl = {https://cl.ly/n2y2/download/ijcai11.pdf},\n\tYear = {2011},\n\tBdsk-Url-1 = {http://d.pr/f/JpkB}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Review of from zero to infinity: what makes numbers interesting by Constance Reid.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n SIGACT News, 42(2). 2011.\n \n\n\n\n
\n\n\n\n \n \n \"ReviewLink\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{DBLP:journals/sigact/Belle11,\n\tAuthor = {Vaishak Belle},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-05-09 18:21:09 -0400},\n\tEe = {http://doi.acm.org/10.1145/1998037.1998040},\n\tJournal = {SIGACT News},\n\tNumber = {2},\n\tTitle = {Review of from zero to infinity: what makes numbers interesting by Constance Reid},\n\tVolume = {42},\n\tYear = {2011}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Multi-Agent Only-Knowing Revisited.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n In AlgoSyn, 2010. \n \n\n\n\n
\n\n\n\n \n \n \"Multi-AgentPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/dagstuhl/Belle10,\n\tAuthor = {Vaishak Belle},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {AlgoSyn},\n\tCrossref = {DBLP:conf/dagstuhl/2010algosyn},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2014-02-02 00:01:34 +0000},\n\tTitle = {Multi-Agent Only-Knowing Revisited},\n\tUrl = {http://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Belle10},\n\tYear = {2010},\n\tBdsk-Url-1 = {http://dblp.uni-trier.de/rec/bibtex/conf/dagstuhl/Belle10}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Multi-Agent Only-Knowing Revisited.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In KR, 2010. \n \n\n\n\n
\n\n\n\n \n \n \"Multi-AgentPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 12 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/kr/BelleL10,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {KR},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:39:06 -0400},\n\tTitle = {Multi-Agent Only-Knowing Revisited},\n\tUrl = {https://cl.ly/n2lg/download/MOKnow-s.pdf},\n\tYear = {2010},\n\tBdsk-Url-1 = {http://d.pr/f/kFmF}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Reasoning about Imperfect Information Games in the Epistemic Situation Calculus.\n \n \n \n \n\n\n \n Belle, V.; and Lakemeyer, G.\n\n\n \n\n\n\n In AAAI, 2010. \n \n\n\n\n
\n\n\n\n \n \n \"ReasoningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/aaai/BelleL10,\n\tAuthor = {Vaishak Belle and Gerhard Lakemeyer},\n\tBooktitle = {AAAI},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2016-03-14 13:03:32 +0000},\n\tTitle = {Reasoning about Imperfect Information Games in the Epistemic Situation Calculus},\n\tUrl = {http://cl.ly/fOar/imperfect-info.pdf},\n\tYear = {2010},\n\tBdsk-Url-1 = {http://cl.ly/fOar/imperfect-info.pdf}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2008\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Detection and Recognition of Human Faces using Random Forests for a Mobile Robot.\n \n \n \n \n\n\n \n Belle, V.\n\n\n \n\n\n\n Master's thesis, Dept. of Computer Science, RWTH Aachen University, 2008.\n \n\n\n\n
\n\n\n\n \n \n \"DetectionPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@mastersthesis{bellemsc,\n\tAuthor = {V. Belle},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:40:41 -0400},\n\tSchool = {Dept. of Computer Science, RWTH Aachen University},\n\tTitle = {Detection and Recognition of Human Faces using Random Forests for a Mobile Robot},\n\tUrl = {https://cl.ly/n2qp/download/MScThesis.pdf},\n\tYear = {2008},\n\tBdsk-Url-1 = {http://d.pr/f/SJrL}}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Randomized trees for real-time one-step face detection and recognition.\n \n \n \n \n\n\n \n Belle, V.; Deselaers, T.; and Schiffer, S.\n\n\n \n\n\n\n In ICPR, 2008. \n \n\n\n\n
\n\n\n\n \n \n \"RandomizedPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{DBLP:conf/icpr/BelleDS08,\n\tAuthor = {Vaishak Belle and Thomas Deselaers and Stefan Schiffer},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {ICPR},\n\tCrossref = {DBLP:conf/icpr/2008},\n\tDate-Added = {2013-05-09 18:21:09 -0400},\n\tDate-Modified = {2013-06-10 15:41:58 -0400},\n\tTitle = {Randomized trees for real-time one-step face detection and recognition},\n\tUrl = {https://cl.ly/n2et/download/icpr2008.pdf},\n\tYear = {2008},\n\tBdsk-Url-1 = {http://d.pr/f/kFmF}}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);