generated by bibbase.org
  2024 (14)
Principled diverse counterfactuals in multilinear models. Papantonis, I.; and Belle, V. Mach. Learn., 113(3): 1421–1443. 2024.
Principled diverse counterfactuals in multilinear models [link]Paper   doi   link   bibtex  
Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach. Bueff, A. C.; and Belle, V. Mach. Learn., 113(7): 4579–4614. 2024.
Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach [link]Paper   doi   link   bibtex  
Progression with Probabilities in the Situation Calculus: Representation and Succinctness. Liu, D.; and Belle, V. In Dastani, M.; Sichman, J. S.; Alechina, N.; and Dignum, V., editor(s), Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pages 1210–1218, 2024. International Foundation for Autonomous Agents and Multiagent Systems / ACM
Progression with Probabilities in the Situation Calculus: Representation and Succinctness [link]Paper   doi   link   bibtex  
Ethical Reward Machine. Ciupa, J.; and Belle, V. In Besold, T. R.; d'Avila Garcez, A.; Jiménez-Ruiz, E.; Confalonieri, R.; Madhyastha, P.; and Wagner, B., editor(s), Neural-Symbolic Learning and Reasoning - 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I, volume 14979, of Lecture Notes in Computer Science, pages 180–194, 2024. Springer
Ethical Reward Machine [link]Paper   doi   link   bibtex  
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. Tang, W.; and Belle, V. In Besold, T. R.; d'Avila Garcez, A.; Jiménez-Ruiz, E.; Confalonieri, R.; Madhyastha, P.; and Wagner, B., editor(s), Neural-Symbolic Learning and Reasoning - 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II, volume 14980, of Lecture Notes in Computer Science, pages 245–257, 2024. Springer
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models [link]Paper   doi   link   bibtex  
Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical Relationships. Panas, D.; Seth, S.; and Belle, V. In Besold, T. R.; d'Avila Garcez, A.; Jiménez-Ruiz, E.; Confalonieri, R.; Madhyastha, P.; and Wagner, B., editor(s), Neural-Symbolic Learning and Reasoning - 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II, volume 14980, of Lecture Notes in Computer Science, pages 258–276, 2024. Springer
Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical Relationships [link]Paper   doi   link   bibtex  
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. Tang, W.; and Belle, V. CoRR, abs/2404.15515. 2024.
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models [link]Paper   doi   link   bibtex  
Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships. Panas, D.; Seth, S.; and Belle, V. CoRR, abs/2404.19432. 2024.
Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships [link]Paper   doi   link   bibtex  
Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning. Lucero, M. Á. M.; Gallardo, E. B.; and Belle, V. CoRR, abs/2405.15789. 2024.
Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning [link]Paper   doi   link   bibtex  
Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models. Tang, W.; and Belle, V. CoRR, abs/2406.04800. 2024.
Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models [link]Paper   doi   link   bibtex  
LTLBench: Towards Benchmarks for Evaluating Temporal Logic Reasoning in Large Language Models. Tang, W.; and Belle, V. CoRR, abs/2407.05434. 2024.
LTLBench: Towards Benchmarks for Evaluating Temporal Logic Reasoning in Large Language Models [link]Paper   doi   link   bibtex  
Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning. Diallo, A. F.; Belle, V.; and Patras, P. CoRR, abs/2410.05484. 2024.
Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning [link]Paper   doi   link   bibtex  
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning. Feldstein, J.; Dilkas, P.; Belle, V.; and Tsamoura, E. CoRR, abs/2410.22077. 2024.
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning [link]Paper   doi   link   bibtex  
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). Belle, V.; Chockler, H.; Vallor, S.; Varshney, K. R.; Vennekens, J.; and Beckers, S. Dagstuhl Reports, 14(3): 75–91. 2024.
Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121) [link]Paper   doi   link   bibtex  
  2023 (28)
Epistemic planning: Perspectives on the special issue. Belle, V.; Bolander, T.; Herzig, A.; and Nebel, B. Artif. Intell., 316: 103842. 2023.
Epistemic planning: Perspectives on the special issue [link]Paper   doi   link   bibtex  
Knowledge representation and acquisition for ethical AI: challenges and opportunities. Belle, V. Ethics Inf. Technol., 25(1): 22. 2023.
Knowledge representation and acquisition for ethical AI: challenges and opportunities [link]Paper   doi   link   bibtex  
Knowledge representation and acquisition in the era of large language models: Reflections on learning to reason via PAC-Semantics. Mocanu, I. G.; and Belle, V. Nat. Lang. Process. J., 5: 100036. 2023.
Knowledge representation and acquisition in the era of large language models: Reflections on learning to reason via PAC-Semantics [link]Paper   doi   link   bibtex  
Learnability with PAC Semantics for Multi-agent Beliefs. Mocanu, I. G.; Belle, V.; and Juba, B. Theory Pract. Log. Program., 23(4): 730–747. 2023.
Learnability with PAC Semantics for Multi-agent Beliefs [link]Paper   doi   link   bibtex  
Toward A Logical Theory Of Fairness and Bias. Belle, V. Theory Pract. Log. Program., 23(4): 865–883. 2023.
Toward A Logical Theory Of Fairness and Bias [link]Paper   doi   link   bibtex  
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. Belle, V.; Fisher, M.; Russo, A.; Komendantskaya, E.; and Nottle, A. In Amigoni, F.; and Sinha, A., editor(s), Autonomous Agents and Multiagent Systems. Best and Visionary Papers - AAMAS 2023 Workshops, London, UK, May 29 - June 2, 2023, Revised Selected Papers, volume 14456, of Lecture Notes in Computer Science, pages 180–200, 2023. Springer
Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges [link]Paper   doi   link   bibtex  
A Logic of Only-Believing over Arbitrary Probability Distributions. Feng, Q.; Liu, D.; Belle, V.; and Lakemeyer, G. In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 355–363, 2023. ACM
A Logic of Only-Believing over Arbitrary Probability Distributions [link]Paper   doi   link   bibtex   12 downloads  
Actions, Continuous Distributions and Meta-Beliefs. Belle, V. In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 418–426, 2023. ACM
Actions, Continuous Distributions and Meta-Beliefs [link]Paper   doi   link   bibtex  
Abstracting Noisy Robot Programs. Hofmann, T.; and Belle, V. In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 534–542, 2023. ACM
Abstracting Noisy Robot Programs [link]Paper   doi   link   bibtex   27 downloads  
Learnability with PAC Semantics for Multi-agent Beliefs. Mocanu, I. G.; Belle, V.; and Juba, B. In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 2604–2606, 2023. ACM
Learnability with PAC Semantics for Multi-agent Beliefs [link]Paper   doi   link   bibtex  
A Web-based Tool for Detecting Argument Validity and Novelty. Chausson, S.; Saadat-Yazdi, A.; Li, X.; Pan, J. Z.; Belle, V.; Kökciyan, N.; and Ross, B. In Agmon, N.; An, B.; Ricci, A.; and Yeoh, W., editor(s), Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pages 3053–3055, 2023. ACM
A Web-based Tool for Detecting Argument Validity and Novelty [link]Paper   doi   link   bibtex  
Verifying Belief-Based Programs via Symbolic Dynamic Programming. Liu, D.; Huang, Q.; Belle, V.; and Lakemeyer, G. In Gal, K.; Nowé, A.; Nalepa, G. J.; Fairstein, R.; and Radulescu, R., editor(s), ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), volume 372, of Frontiers in Artificial Intelligence and Applications, pages 1497–1504, 2023. IOS Press
Verifying Belief-Based Programs via Symbolic Dynamic Programming [link]Paper   doi   link   bibtex   2 downloads  
Transparency in Sum-Product Network Decompilation. Papantonis, I.; and Belle, V. In Gal, K.; Nowé, A.; Nalepa, G. J.; Fairstein, R.; and Radulescu, R., editor(s), ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), volume 372, of Frontiers in Artificial Intelligence and Applications, pages 1827–1834, 2023. IOS Press
Transparency in Sum-Product Network Decompilation [link]Paper   doi   link   bibtex  
Model Transparency: Why Do We Care?. Papantonis, I.; and Belle, V. In Rocha, A. P.; Steels, L.; and van den Herik, H. J., editor(s), Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 3, Lisbon, Portugal, February 22-24, 2023, pages 650–657, 2023. SCITEPRESS
Model Transparency: Why Do We Care? [link]Paper   doi   link   bibtex  
Logic + Reinforcement Learning + Deep Learning: A Survey. Bueff, A. C.; and Belle, V. In Rocha, A. P.; Steels, L.; and van den Herik, H. J., editor(s), Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 3, Lisbon, Portugal, February 22-24, 2023, pages 713–722, 2023. SCITEPRESS
Logic + Reinforcement Learning + Deep Learning: A Survey [link]Paper   doi   link   bibtex  
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. Belle, V. In Gaggl, S. A.; Martinez, M. V.; and Ortiz, M., editor(s), Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, volume 14281, of Lecture Notes in Computer Science, pages 35–46, 2023. Springer
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond [link]Paper   doi   link   bibtex  
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. Dilkas, P.; and Belle, V. In Marquis, P.; Son, T. C.; and Kern-Isberner, G., editor(s), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 198–207, 2023.
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures [link]Paper   doi   link   bibtex  
Concerning Measures in a First-order Logic with Actions and Meta-beliefs. Liu, D.; Feng, Q.; Belle, V.; and Lakemeyer, G. In Marquis, P.; Son, T. C.; and Kern-Isberner, G., editor(s), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 451–460, 2023.
Concerning Measures in a First-order Logic with Actions and Meta-beliefs [link]Paper   doi   link   bibtex   3 downloads  
Challenges in Explaining Brain Tumor Detection. Legastelois, B.; Rafferty, A.; Brennan, P.; Chockler, H.; Rajan, A.; and Belle, V. In Proceedings of the First International Symposium on Trustworthy Autonomous Systems, TAS 2023, Edinburgh, United Kingdom, July 11-12, 2023, pages 21:1–21:8, 2023. ACM
Challenges in Explaining Brain Tumor Detection [link]Paper   doi   link   bibtex  
Deep Inductive Logic Programming meets Reinforcement Learning. Bueff, A. C.; and Belle, V. In Pontelli, E.; Costantini, S.; Dodaro, C.; Gaggl, S. A.; Calegari, R.; d'Avila Garcez, A. S.; Fabiano, F.; Mileo, A.; Russo, A.; and Toni, F., editor(s), Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023, volume 385, of EPTCS, pages 339–352, 2023.
Deep Inductive Logic Programming meets Reinforcement Learning [link]Paper   doi   link   bibtex  
Boolean Connectives and Deep Learning: Three Interpretations. Lucero, M. Á. M.; and Belle, V. In Hitzler, P.; Sarker, M. K.; and Eberhart, A., editor(s), Compendium of Neurosymbolic Artificial Intelligence, volume 369, of Frontiers in Artificial Intelligence and Applications, pages 100–113. IOS Press, 2023.
Boolean Connectives and Deep Learning: Three Interpretations [link]Paper   doi   link   bibtex  
Why not both? Complementing explanations with uncertainty, and the role of self-confidence in Human-AI collaboration. Papantonis, I.; and Belle, V. CoRR, abs/2304.14130. 2023.
Why not both? Complementing explanations with uncertainty, and the role of self-confidence in Human-AI collaboration [link]Paper   doi   link   bibtex  
Experiential AI: A transdisciplinary framework for legibility and agency in AI. Hemment, D.; Murray-Rust, D.; Belle, V.; Aylett, R.; Vidmar, M.; and Broz, F. CoRR, abs/2306.00635. 2023.
Experiential AI: A transdisciplinary framework for legibility and agency in AI [link]Paper   doi   link   bibtex  
Agency and legibility for artists through Experiential AI. Hemment, D.; Vidmar, M.; Panas, D.; Murray-Rust, D.; Belle, V.; and Aylett, R. CoRR, abs/2306.02327. 2023.
Agency and legibility for artists through Experiential AI [link]Paper   doi   link   bibtex  
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. Dilkas, P.; and Belle, V. CoRR, abs/2306.04189. 2023.
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures [link]Paper   doi   link   bibtex  
Learnability with PAC Semantics for Multi-agent Beliefs. Mocanu, I. G.; Belle, V.; and Juba, B. CoRR, abs/2306.05490. 2023.
Learnability with PAC Semantics for Multi-agent Beliefs [link]Paper   doi   link   bibtex  
Toward A Logical Theory Of Fairness and Bias. Belle, V. CoRR, abs/2306.13659. 2023.
Toward A Logical Theory Of Fairness and Bias [link]Paper   doi   link   bibtex  
Statistical relational learning and neuro-symbolic AI: what does first-order logic offer?. Belle, V. CoRR, abs/2306.13660. 2023.
Statistical relational learning and neuro-symbolic AI: what does first-order logic offer? [link]Paper   doi   link   bibtex  
  2022 (13)
Efficient multi-agent epistemic planning: Teaching planners about nested belief. Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. Artif. Intell., 302: 103605. 2022.
Efficient multi-agent epistemic planning: Teaching planners about nested belief [link]Paper   doi   link   bibtex   25 downloads  
Analyzing generalized planning under nondeterminism. Belle, V. Artif. Intell., 307: 103696. 2022.
Analyzing generalized planning under nondeterminism [link]Paper   doi   link   bibtex  
Signal Perceptron: On the Identifiability of Boolean Function Spaces and Beyond. Lucero, M. Á. M.; Karampatsis, R.; Gallardo, E. B.; and Belle, V. Frontiers Artif. Intell., 5: 770254. 2022.
Signal Perceptron: On the Identifiability of Boolean Function Spaces and Beyond [link]Paper   doi   link   bibtex  
Intention Recognition With ProbLog. Smith, G.; Belle, V.; and Petrick, R. P. A. Frontiers Artif. Intell., 5: 806262. 2022.
Intention Recognition With ProbLog [link]Paper   doi   link   bibtex  
Breaking CAPTCHA with Capsule Networks. Mocanu, I. G.; Yang, Z.; and Belle, V. Neural Networks, 154: 246–254. 2022.
Breaking CAPTCHA with Capsule Networks [link]Paper   doi   link   bibtex  
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. Hoernle, N.; Karampatsis, R.; Belle, V.; and Gal, K. In Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pages 5700–5709, 2022. AAAI Press
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks [link]Paper   doi   link   bibtex  
KEViN: A Knowledge Enhanced Validity and Novelty Classifier for Arguments. Saadat-Yazdi, A.; Li, X.; Chausson, S.; Belle, V.; Ross, B.; Pan, J. Z.; and Kökciyan, N. In Lapesa, G.; Schneider, J.; Jo, Y.; and Saha, S., editor(s), Proceedings of the 9th Workshop on Argument Mining, ArgMining@COLING 2022, Online and in Gyeongju, Republic of Korea, October 12 - 17, 2022, pages 104–110, 2022. International Conference on Computational Linguistics
KEViN: A Knowledge Enhanced Validity and Novelty Classifier for Arguments [link]Paper   link   bibtex  
Tractable Probabilistic Models for Ethical AI. Belle, V. In Braun, T.; Cristea, D.; and Jäschke, R., editor(s), Graph-Based Representation and Reasoning - 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12-15, 2022, Proceedings, volume 13403, of Lecture Notes in Computer Science, pages 3–8, 2022. Springer
Tractable Probabilistic Models for Ethical AI [link]Paper   doi   link   bibtex  
Principled Diverse Counterfactuals in Multilinear Models. Papantonis, I.; and Belle, V. CoRR, abs/2201.06467. 2022.
Principled Diverse Counterfactuals in Multilinear Models [link]Paper   link   bibtex  
Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. Du, X.; Legastelois, B.; Ganesh, B.; Rajan, A.; Chockler, H.; Belle, V.; Anderson, S.; and Ramamoorthy, S. CoRR, abs/2201.11674. 2022.
Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities [link]Paper   link   bibtex  
Explainability in Machine Learning: a Pedagogical Perspective. Bueff, A. C.; Papantonis, I.; Simkute, A.; and Belle, V. CoRR, abs/2202.10335. 2022.
Explainability in Machine Learning: a Pedagogical Perspective [link]Paper   link   bibtex  
Abstracting Noisy Robot Programs. Hofmann, T.; and Belle, V. CoRR, abs/2204.03536. 2022.
Abstracting Noisy Robot Programs [link]Paper   doi   link   bibtex  
Using Abstraction for Interpretable Robot Programs in Stochastic Domains. Hofmann, T.; and Belle, V. CoRR, abs/2207.12763. 2022.
Using Abstraction for Interpretable Robot Programs in Stochastic Domains [link]Paper   doi   link   bibtex   38 downloads  
  2021 (15)
Learning tractable probabilistic models for moral responsibility and blame. Hammond, L.; and Belle, V. Data Min. Knowl. Discov., 35(2): 621–659. 2021.
Learning tractable probabilistic models for moral responsibility and blame [link]Paper   doi   link   bibtex  
Probabilistic Tractable Models in Mixed Discrete-Continuous Domains. Bueff, A. C.; Speichert, S.; and Belle, V. Data Intell., 3(2): 228–260. 2021.
Probabilistic Tractable Models in Mixed Discrete-Continuous Domains [link]Paper   doi   link   bibtex  
Principles and Practice of Explainable Machine Learning. Belle, V.; and Papantonis, I. Frontiers Big Data, 4: 688969. 2021.
Principles and Practice of Explainable Machine Learning [link]Paper   doi   link   bibtex  
Closed-Form Results for Prior Constraints in Sum-Product Networks. Papantonis, I.; and Belle, V. Frontiers Artif. Intell., 4: 644062. 2021.
Closed-Form Results for Prior Constraints in Sum-Product Networks [link]Paper   doi   link   bibtex  
Fairness in machine learning with tractable models. Varley, M.; and Belle, V. Knowl. Based Syst., 215: 106715. 2021.
Fairness in machine learning with tractable models [link]Paper   doi   link   bibtex  
One down, 699 to go: or, synthesising compositional desugarings. Bartha, S.; Cheney, J.; and Belle, V. Proc. ACM Program. Lang., 5(OOPSLA): 1–29. 2021.
One down, 699 to go: or, synthesising compositional desugarings [link]Paper   doi   link   bibtex  
Learning Implicitly with Noisy Data in Linear Arithmetic. Rader, A. P.; Mocanu, I. G.; Belle, V.; and Juba, B. In Zhou, Z., editor(s), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, pages 1410–1417, 2021. ijcai.org
Learning Implicitly with Noisy Data in Linear Arithmetic [link]Paper   doi   link   bibtex  
Intent Recognition in Smart Homes with ProbLog. Smith, G.; Petrick, R. P. A.; and Belle, V. In 19th IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2021, Kassel, Germany, March 22-26, 2021, pages 430–431, 2021. IEEE
Intent Recognition in Smart Homes with ProbLog [link]Paper   doi   link   bibtex  
Weighted Model Counting Without Parameter Variables. Dilkas, P.; and Belle, V. In Li, C.; and Manyà, F., editor(s), Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings, volume 12831, of Lecture Notes in Computer Science, pages 134–151, 2021. Springer
Weighted Model Counting Without Parameter Variables [link]Paper   doi   link   bibtex  
Lifted reasoning meets weighted model integration. Feldstein, J.; and Belle, V. In de Campos, C. P.; Maathuis, M. H.; and Quaeghebeur, E., editor(s), Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, UAI 2021, Virtual Event, 27-30 July 2021, volume 161, of Proceedings of Machine Learning Research, pages 322–332, 2021. AUAI Press
Lifted reasoning meets weighted model integration [link]Paper   link   bibtex  
Weighted model counting with conditional weights for Bayesian networks. Dilkas, P.; and Belle, V. In de Campos, C. P.; Maathuis, M. H.; and Quaeghebeur, E., editor(s), Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, UAI 2021, Virtual Event, 27-30 July 2021, volume 161, of Proceedings of Machine Learning Research, pages 386–396, 2021. AUAI Press
Weighted model counting with conditional weights for Bayesian networks [link]Paper   link   bibtex  
Logic Meets Learning: From Aristotle to Neural Networks. Belle, V. In Hitzler, P.; and Sarker, M. K., editor(s), Neuro-Symbolic Artificial Intelligence: The State of the Art, volume 342, of Frontiers in Artificial Intelligence and Applications, pages 78–102. IOS Press, 2021.
Logic Meets Learning: From Aristotle to Neural Networks [link]Paper   doi   link   bibtex  
One Down, 699 to Go: or, synthesising compositional desugarings. Bartha, S.; Cheney, J.; and Belle, V. CoRR, abs/2109.06114. 2021.
One Down, 699 to Go: or, synthesising compositional desugarings [link]Paper   link   bibtex  
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. Muise, C.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. CoRR, abs/2110.02480. 2021.
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief [link]Paper   link   bibtex   31 downloads  
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. Hoernle, N.; Karampatsis, R.; Belle, V.; and Gal, K. CoRR, abs/2111.01564. 2021.
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks [link]Paper   link   bibtex  
  2020 (19)
Regression and progression in stochastic domains. Belle, V.; and Levesque, H. J. Artif. Intell., 281: 103247. 2020.
Regression and progression in stochastic domains [link]Paper   doi   link   bibtex  
A correctness result for synthesizing plans with loops in stochastic domains. Treszkai, L.; and Belle, V. Int. J. Approx. Reason., 119: 92–107. 2020.
A correctness result for synthesizing plans with loops in stochastic domains [link]Paper   doi   link   bibtex  
Semiring programming: A semantic framework for generalized sum product problems. Belle, V.; and Raedt, L. D. Int. J. Approx. Reason., 126: 181–201. 2020.
Semiring programming: A semantic framework for generalized sum product problems [link]Paper   doi   link   bibtex  
Abstracting probabilistic models: Relations, constraints and beyond. Belle, V. Knowl. Based Syst., 199: 105976. 2020.
Abstracting probabilistic models: Relations, constraints and beyond [link]Paper   doi   link   bibtex  
Learning Credal Sum-Product Networks. Levray, A.; and Belle, V. In Das, D.; Hajishirzi, H.; McCallum, A.; and Singh, S., editor(s), Conference on Automated Knowledge Base Construction, AKBC 2020, Virtual, June 22-24, 2020, 2020.
Learning Credal Sum-Product Networks [link]Paper   doi   link   bibtex  
Generating Random Logic Programs Using Constraint Programming. Dilkas, P.; and Belle, V. In Simonis, H., editor(s), Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, volume 12333, of Lecture Notes in Computer Science, pages 828–845, 2020. Springer
Generating Random Logic Programs Using Constraint Programming [link]Paper   doi   link   bibtex  
Polynomial-Time Implicit Learnability in SMT. Mocanu, I. G.; Belle, V.; and Juba, B. In Giacomo, G. D.; Catalá, A.; Dilkina, B.; Milano, M.; Barro, S.; Bugarín, A.; and Lang, J., editor(s), ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), volume 325, of Frontiers in Artificial Intelligence and Applications, pages 1152–1158, 2020. IOS Press
Polynomial-Time Implicit Learnability in SMT [link]Paper   doi   link   bibtex  
Logical Interpretations of Autoencoders. Fuxjaeger, A.; and Belle, V. In Giacomo, G. D.; Catalá, A.; Dilkina, B.; Milano, M.; Barro, S.; Bugarín, A.; and Lang, J., editor(s), ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), volume 325, of Frontiers in Artificial Intelligence and Applications, pages 2481–2488, 2020. IOS Press
Logical Interpretations of Autoencoders [link]Paper   doi   link   bibtex  
Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation. Fuxjaeger, A.; and Belle, V. In Rocha, A. P.; Steels, L.; and van den Herik, H. J., editor(s), Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020, pages 347–355, 2020. SCITEPRESS
Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation [link]Paper   doi   link   bibtex  
Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains. Belle, V. In Davis, J.; and Tabia, K., editor(s), Scalable Uncertainty Management - 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings, volume 12322, of Lecture Notes in Computer Science, pages 3–16, 2020. Springer
Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains [link]Paper   doi   link   bibtex  
Logic, Probability and Action: A Situation Calculus Perspective. Belle, V. In Davis, J.; and Tabia, K., editor(s), Scalable Uncertainty Management - 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings, volume 12322, of Lecture Notes in Computer Science, pages 52–67, 2020. Springer
Logic, Probability and Action: A Situation Calculus Perspective [link]Paper   doi   link   bibtex  
SMT + ILP. Belle, V. CoRR, abs/2001.05208. 2020.
SMT + ILP [link]Paper   link   bibtex  
Interventions and Counterfactuals in Tractable Probabilistic Models: Limitations of Contemporary Transformations. Papantonis, I.; and Belle, V. CoRR, abs/2001.10905. 2020.
Interventions and Counterfactuals in Tractable Probabilistic Models: Limitations of Contemporary Transformations [link]Paper   link   bibtex  
On Constraint Definability in Tractable Probabilistic Models. Papantonis, I.; and Belle, V. CoRR, abs/2001.11349. 2020.
On Constraint Definability in Tractable Probabilistic Models [link]Paper   link   bibtex  
Generating Random Logic Programs Using Constraint Programming. Dilkas, P.; and Belle, V. CoRR, abs/2006.01889. 2020.
Generating Random Logic Programs Using Constraint Programming [link]Paper   link   bibtex  
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains. Belle, V. CoRR, abs/2006.08480. 2020.
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains [link]Paper   link   bibtex  
Logic, Probability and Action: A Situation Calculus Perspective. Belle, V. CoRR, abs/2006.09868. 2020.
Logic, Probability and Action: A Situation Calculus Perspective [link]Paper   link   bibtex  
Principles and Practice of Explainable Machine Learning. Belle, V.; and Papantonis, I. CoRR, abs/2009.11698. 2020.
Principles and Practice of Explainable Machine Learning [link]Paper   link   bibtex  
Learning Implicitly with Noisy Data in Linear Arithmetic. Rader, A. P.; Mocanu, I. G.; Belle, V.; and Juba, B. CoRR, abs/2010.12619. 2020.
Learning Implicitly with Noisy Data in Linear Arithmetic [link]Paper   link   bibtex  
  2019 (10)
Experiential AI. Hemment, D.; Aylett, R.; Belle, V.; Murray-Rust, D.; Luger, E.; Hillston, J.; Rovatsos, M.; and Broz, F. AI Matters, 5(1): 25–31. 2019.
Experiential AI [link]Paper   doi   link   bibtex  
Learning Probabilistic Logic Programs over Continuous Data. Speichert, S.; and Belle, V. In Kazakov, D.; and Erten, C., editor(s), Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings, volume 11770, of Lecture Notes in Computer Science, pages 129–144, 2019. Springer
Learning Probabilistic Logic Programs over Continuous Data [link]Paper   doi   link   bibtex  
Implicitly learning to reason in first-order logic. Belle, V.; and Juba, B. In Wallach, H. M.; Larochelle, H.; Beygelzimer, A.; d'Alché-Buc , F.; Fox, E. B.; and Garnett, R., editor(s), Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada, pages 3376–3386, 2019.
Implicitly learning to reason in first-order logic [link]Paper   link   bibtex  
Learning Tractable Probabilistic Models in Open Worlds. Levray, A.; and Belle, V. CoRR, abs/1901.05847. 2019.
Learning Tractable Probabilistic Models in Open Worlds [link]Paper   link   bibtex  
Fairness in Machine Learning with Tractable Models. Varley, M.; and Belle, V. CoRR, abs/1905.07026. 2019.
Fairness in Machine Learning with Tractable Models [link]Paper   link   bibtex  
A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains. Treszkai, L.; and Belle, V. CoRR, abs/1905.07028. 2019.
A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains [link]Paper   link   bibtex  
Implicitly Learning to Reason in First-Order Logic. Belle, V.; and Juba, B. CoRR, abs/1906.10106. 2019.
Implicitly Learning to Reason in First-Order Logic [link]Paper   link   bibtex  
Experiential AI. Hemment, D.; Aylett, R.; Belle, V.; Murray-Rust, D.; Luger, E.; Hillston, J.; Rovatsos, M.; and Broz, F. CoRR, abs/1908.02619. 2019.
Experiential AI [link]Paper   link   bibtex  
The Quest for Interpretable and Responsible Artificial Intelligence. Belle, V. CoRR, abs/1910.04527. 2019.
The Quest for Interpretable and Responsible Artificial Intelligence [link]Paper   link   bibtex  
Logical Interpretations of Autoencoders. Fuxjaeger, A.; and Belle, V. CoRR, abs/1911.11629. 2019.
Logical Interpretations of Autoencoders [link]Paper   link   bibtex  
  2018 (12)
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Belle, V.; and Levesque, H. J. Artif. Intell., 262: 189–221. 2018.
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems [link]Paper   doi   link   bibtex   6 downloads  
Probabilistic Planning by Probabilistic Programming. Belle, V. In The Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018, volume WS-18, of AAAI Technical Report, pages 654–657, 2018. AAAI Press
Probabilistic Planning by Probabilistic Programming [link]Paper   link   bibtex  
On Plans With Loops and Noise. Belle, V. In André, E.; Koenig, S.; Dastani, M.; and Sukthankar, G., editor(s), Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pages 1310–1317, 2018. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM
On Plans With Loops and Noise [link]Paper   link   bibtex  
Efficient Symbolic Integration for Probabilistic Inference. Kolb, S.; Mladenov, M.; Sanner, S.; Belle, V.; and Kersting, K. In Lang, J., editor(s), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 5031–5037, 2018. ijcai.org
Efficient Symbolic Integration for Probabilistic Inference [link]Paper   doi   link   bibtex   7 downloads  
Probabilistic Planning by Probabilistic Programming. Belle, V. CoRR, abs/1801.08365. 2018.
Probabilistic Planning by Probabilistic Programming [link]Paper   link   bibtex  
Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks. Bueff, A. C.; Speichert, S.; and Belle, V. CoRR, abs/1807.05464. 2018.
Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks [link]Paper   link   bibtex  
Learning Probabilistic Logic Programs in Continuous Domains. Speichert, S.; and Belle, V. CoRR, abs/1807.05527. 2018.
Learning Probabilistic Logic Programs in Continuous Domains [link]Paper   link   bibtex  
On Plans With Loops and Noise. Belle, V. CoRR, abs/1809.05309. 2018.
On Plans With Loops and Noise [link]Paper   link   bibtex  
Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. Belle, V.; and Levesque, H. J. CoRR, abs/1809.05314. 2018.
Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems [link]Paper   link   bibtex   6 downloads  
Abstracting Probabilistic Relational Models. Belle, V. CoRR, abs/1810.02434. 2018.
Abstracting Probabilistic Relational Models [link]Paper   link   bibtex  
Deep Tractable Probabilistic Models for Moral Responsibility. Hammond, L.; and Belle, V. CoRR, abs/1810.03736. 2018.
Deep Tractable Probabilistic Models for Moral Responsibility [link]Paper   link   bibtex  
Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation. Fuxjaeger, A.; and Belle, V. CoRR, abs/1811.12127. 2018.
Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation [link]Paper   link   bibtex  
  2017 (8)
Planning in hybrid relational MDPs. Nitti, D.; Belle, V.; Laet, T. D.; and Raedt, L. D. Mach. Learn., 106(12): 1905–1932. 2017.
Planning in hybrid relational MDPs [link]Paper   doi   link   bibtex  
Open-Universe Weighted Model Counting: Extended Abstract. Belle, V. In The Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, USA, volume WS-17, of AAAI Technical Report, 2017. AAAI Press
Open-Universe Weighted Model Counting: Extended Abstract [link]Paper   link   bibtex  
The Symbolic Interior Point Method. Mladenov, M.; Belle, V.; and Kersting, K. In Singh, S.; and Markovitch, S., editor(s), Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, pages 1199–1205, 2017. AAAI Press
The Symbolic Interior Point Method [link]Paper   doi   link   bibtex  
Open-Universe Weighted Model Counting. Belle, V. In Singh, S.; and Markovitch, S., editor(s), Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA, pages 3701–3708, 2017. AAAI Press
Open-Universe Weighted Model Counting [link]Paper   doi   link   bibtex  
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. Belle, V.; and Lakemeyer, G. In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 828–836, 2017. ijcai.org
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains [link]Paper   doi   link   bibtex  
Solving Probability Problems in Natural Language. Dries, A.; Kimmig, A.; Davis, J.; Belle, V.; and Raedt, L. D. In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 3981–3987, 2017. ijcai.org
Solving Probability Problems in Natural Language [link]Paper   doi   link   bibtex  
Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds. Belle, V. In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 5116–5120, 2017. ijcai.org
Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds [link]Paper   doi   link   bibtex  
Weighted Model Counting With Function Symbols. Belle, V. In Elidan, G.; Kersting, K.; and Ihler, A., editor(s), Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, UAI 2017, Sydney, Australia, August 11-15, 2017, 2017. AUAI Press
Weighted Model Counting With Function Symbols [pdf]Paper   link   bibtex  
  2016 (8)
A Logical Theory of Localization. Belle, V.; and Levesque, H. J. Stud Logica, 104(4): 741–772. 2016.
A Logical Theory of Localization [link]Paper   doi   link   bibtex  
Satisfiability and Model Counting in Open Universes. Belle, V. In Darwiche, A., editor(s), Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016, volume WS-16-05, of AAAI Technical Report, 2016. AAAI Press
Satisfiability and Model Counting in Open Universes [link]Paper   link   bibtex  
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. Belle, V.; Lakemeyer, G.; and Levesque, H. J. In Schuurmans, D.; and Wellman, M. P., editor(s), Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, pages 893–899, 2016. AAAI Press
A First-Order Logic of Probability and Only Knowing in Unbounded Domains [link]Paper   doi   link   bibtex  
Component Caching in Hybrid Domains with Piecewise Polynomial Densities. Belle, V.; den Broeck, G. V.; and Passerini, A. In Schuurmans, D.; and Wellman, M. P., editor(s), Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, pages 3369–3375, 2016. AAAI Press
Component Caching in Hybrid Domains with Piecewise Polynomial Densities [link]Paper   doi   link   bibtex  
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report. Belle, V.; den Broeck, G. V.; and Passerini, A. In Kambhampati, S., editor(s), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 4115–4119, 2016. IJCAI/AAAI Press
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report [link]Paper   link   bibtex  
Foundations for Generalized Planning in Unbounded Stochastic Domains. Belle, V.; and Levesque, H. J. In Baral, C.; Delgrande, J. P.; and Wolter, F., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016, pages 380–389, 2016. AAAI Press
Foundations for Generalized Planning in Unbounded Stochastic Domains [link]Paper   link   bibtex  
The Symbolic Interior Point Method. Mladenov, M.; Belle, V.; and Kersting, K. CoRR, abs/1605.08187. 2016.
The Symbolic Interior Point Method [link]Paper   link   bibtex  
Semiring Programming: A Framework for Search, Inference and Learning. Belle, V.; and Raedt, L. D. CoRR, abs/1609.06954. 2016.
Semiring Programming: A Framework for Search, Inference and Learning [link]Paper   link   bibtex  
  2015 (9)
Semantical considerations on multiagent only knowing. Belle, V.; and Lakemeyer, G. Artif. Intell., 223: 1–26. 2015.
Semantical considerations on multiagent only knowing [link]Paper   doi   link   bibtex   1 download  
Robot location estimation in the situation calculus. Belle, V.; and Levesque, H. J. J. Appl. Log., 13(4): 397–413. 2015.
Robot location estimation in the situation calculus [link]Paper   doi   link   bibtex   1 download  
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Muise, C. J.; Belle, V.; Felli, P.; McIlraith, S. A.; Miller, T.; Pearce, A. R.; and Sonenberg, L. In Bonet, B.; and Koenig, S., editor(s), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA, pages 3327–3334, 2015. AAAI Press
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach [link]Paper   doi   link   bibtex   12 downloads  
Multi-Agent Only Knowing on Planet Kripke. Aucher, G.; and Belle, V. In Yang, Q.; and Wooldridge, M. J., editor(s), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2713–2719, 2015. AAAI Press
Multi-Agent Only Knowing on Planet Kripke [link]Paper   link   bibtex  
Only Knowing Meets Common Knowledge. Belle, V.; and Lakemeyer, G. In Yang, Q.; and Wooldridge, M. J., editor(s), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2755–2761, 2015. AAAI Press
Only Knowing Meets Common Knowledge [link]Paper   link   bibtex  
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. Belle, V.; and Levesque, H. J. In Yang, Q.; and Wooldridge, M. J., editor(s), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2762–2769, 2015. AAAI Press
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains [link]Paper   link   bibtex  
Probabilistic Inference in Hybrid Domains by Weighted Model Integration. Belle, V.; Passerini, A.; and den Broeck, G. V. In Yang, Q.; and Wooldridge, M. J., editor(s), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2770–2776, 2015. AAAI Press
Probabilistic Inference in Hybrid Domains by Weighted Model Integration [link]Paper   link   bibtex  
Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming. Nitti, D.; Belle, V.; and Raedt, L. D. In Appice, A.; Rodrigues, P. P.; Costa, V. S.; Gama, J.; Jorge, A.; and Soares, C., editor(s), Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II, volume 9285, of Lecture Notes in Computer Science, pages 327–342, 2015. Springer
Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming [link]Paper   doi   link   bibtex  
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains. Belle, V.; den Broeck, G. V.; and Passerini, A. In Meila, M.; and Heskes, T., editor(s), Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, UAI 2015, July 12-16, 2015, Amsterdam, The Netherlands, pages 141–150, 2015. AUAI Press
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains [pdf]Paper   link   bibtex  
  2014 (11)
On the projection problem in active knowledge bases with incomplete information. Belle, V. AI Matters, 1(2): 14–16. 2014.
On the projection problem in active knowledge bases with incomplete information [link]Paper   doi   link   bibtex  
Multiagent Only Knowing in Dynamic Systems. Belle, V.; and Lakemeyer, G. J. Artif. Intell. Res., 49: 363–402. 2014.
Multiagent Only Knowing in Dynamic Systems [link]Paper   doi   link   bibtex   7 downloads  
Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur. Belle, V. SIGACT News, 45(2): 32–35. 2014.
Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur [link]Paper   doi   link   bibtex   6 downloads  
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. Belle, V.; and Levesque, H. J. In Brodley, C. E.; and Stone, P., editor(s), Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada, pages 989–995, 2014. AAAI Press
PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains [link]Paper   doi   link   bibtex   33 downloads  
Computing Contingent Plans via Fully Observable Non-Deterministic Planning. Muise, C. J.; Belle, V.; and McIlraith, S. A. In Brodley, C. E.; and Stone, P., editor(s), Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada, pages 2322–2329, 2014. AAAI Press
Computing Contingent Plans via Fully Observable Non-Deterministic Planning [link]Paper   doi   link   bibtex   65 downloads  
A Logical Theory of Robot Localization. Belle, V.; and Levesque, H. J. In 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, 2014. AAAI Press
A Logical Theory of Robot Localization [link]Paper   link   bibtex   16 downloads  
Non-Deterministic Planning With Conditional Effects. Muise, C. J.; McIlraith, S. A.; and Belle, V. In Chien, S. A.; Do, M. B.; Fern, A.; and Ruml, W., editor(s), Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014, 2014. AAAI
Non-Deterministic Planning With Conditional Effects [link]Paper   link   bibtex   55 downloads  
A logical theory of robot localization. Belle, V.; and Levesque, H. J. In Bazzan, A. L. C.; Huhns, M. N.; Lomuscio, A.; and Scerri, P., editor(s), International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pages 349–356, 2014. IFAAMAS/ACM
A logical theory of robot localization [link]Paper   link   bibtex   16 downloads  
How to Progress Beliefs in Continuous Domains. Belle, V.; and Levesque, H. J. In Baral, C.; Giacomo, G. D.; and Eiter, T., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014. AAAI Press
How to Progress Beliefs in Continuous Domains [link]Paper   link   bibtex   21 downloads  
On the Progression of Knowledge in Multiagent Systems. Belle, V.; and Lakemeyer, G. In Baral, C.; Giacomo, G. D.; and Eiter, T., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014. AAAI Press
On the Progression of Knowledge in Multiagent Systems [link]Paper   link   bibtex   11 downloads  
Robot Location Estimation in the Situation Calculus. Belle, V.; and Levesque, H. J. CoRR, abs/1402.7276. 2014.
Robot Location Estimation in the Situation Calculus [link]Paper   link   bibtex  
  2013 (3)
Reasoning about Continuous Uncertainty in the Situation Calculus. Belle, V.; and Levesque, H. J. In Rossi, F., editor(s), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pages 732–738, 2013. IJCAI/AAAI
Reasoning about Continuous Uncertainty in the Situation Calculus [link]Paper   link   bibtex   35 downloads  
Reasoning about Probabilities in Dynamic Systems using Goal Regression. Belle, V.; and Levesque, H. J. In Nicholson, A. E.; and Smyth, P., editor(s), Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, UAI 2013, Bellevue, WA, USA, August 11-15, 2013, 2013. AUAI Press
Reasoning about Probabilities in Dynamic Systems using Goal Regression [link]Paper   link   bibtex   33 downloads  
Reasoning about Probabilities in Dynamic Systems using Goal Regression. Belle, V.; and Levesque, H. J. CoRR, abs/1309.6816. 2013.
Reasoning about Probabilities in Dynamic Systems using Goal Regression [link]Paper   link   bibtex   33 downloads  
  2012 (1)
On the projection problem in active knowledge bases with incomplete information. Belle, V. Ph.D. Thesis, RWTH Aachen University, 2012.
On the projection problem in active knowledge bases with incomplete information [link]Paper   link   bibtex   47 downloads  
  2011 (3)
Review of from zero to infinity: what makes numbers interesting by Constance Reid. Belle, V. SIGACT News, 42(2): 10–11. 2011.
Review of from zero to infinity: what makes numbers interesting by Constance Reid [link]Paper   doi   link   bibtex   2 downloads  
A Semantical Account of Progression in the Presence of Uncertainty. Belle, V.; and Lakemeyer, G. In Burgard, W.; and Roth, D., editor(s), Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011, pages 165–170, 2011. AAAI Press
A Semantical Account of Progression in the Presence of Uncertainty [link]Paper   doi   link   bibtex   12 downloads  
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. Belle, V.; and Lakemeyer, G. In Walsh, T., editor(s), IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 744–749, 2011. IJCAI/AAAI
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols [link]Paper   doi   link   bibtex   12 downloads  
  2010 (4)
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. Belle, V.; and Lakemeyer, G. In Fox, M.; and Poole, D., editor(s), Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, pages 255–260, 2010. AAAI Press
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus [link]Paper   doi   link   bibtex   15 downloads  
Multi-Agent Only-Knowing Revisited. Belle, V. In Bollue, K.; Gückel, D.; Loup, U.; Spönemann, J.; and Winkler, M., editor(s), Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, Algorithmic synthesis of reactive and discrete-continuous systems, AlgoSyn 2010, May 31 - June 2, 2010, pages 16, 2010. Verlagshaus Mainz, Aachen, Germany
link   bibtex   4 downloads  
Multi-Agent Only-Knowing Revisited. Belle, V.; and Lakemeyer, G. In Lin, F.; Sattler, U.; and Truszczynski, M., editor(s), Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010. AAAI Press
Multi-Agent Only-Knowing Revisited [link]Paper   link   bibtex   12 downloads  
Multi-Agent Only-Knowing Revisited. Belle, V.; and Lakemeyer, G. CoRR, abs/1009.2041. 2010.
Multi-Agent Only-Knowing Revisited [link]Paper   link   bibtex   12 downloads  
  2008 (1)
Randomized trees for real-time one-step face detection and recognition. Belle, V.; Deselaers, T.; and Schiffer, S. In 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pages 1–4, 2008. IEEE Computer Society
Randomized trees for real-time one-step face detection and recognition [link]Paper   doi   link   bibtex   15 downloads