If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Learning Implicitly with Noisy Data in Linear Arithmetic

    Rader, A. P., Mocanu, I. G., Belle, V. & Juba, B., 29 Apr 2021, (Accepted/In press) Proceedings of 30th International Joint Conference on Artificial Intelligence (IJCAI-21). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Weighted Model Counting with Conditional Weights for Bayesian Networks

    Dilkas, P. & Belle, V., 12 May 2021, (Accepted/In press) Proceedings of the the 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021). 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Weighted Model Counting Without Parameter Variables

    Dilkas, P. & Belle, V., 5 May 2021, (Accepted/In press) Proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing. 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2020

    Generating Random Logic Programs Using Constraint Programming

    Dilkas, P. & Belle, V., 2 Sep 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Springer, p. 828–845 18 p. ( Lecture Notes in Computer Science; vol. 12333).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Learning Probabilistic Logic Programs over Continuous Data

    Speichert, S. & Belle, V., 5 Jun 2020, Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings. Kazakov, D. & Erten, C. (eds.). Springer, Cham, p. 129–144 16 p. ( Lecture Notes in Computer Scienc; vol. 11770).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Logic, Probability and Action: A Situation Calculus Perspective

    Belle, V., 16 Sep 2020, Scalable Uncertainty Management. SUM 2020. Davis, J. & Tabia, K. (eds.). Cham: Springer, p. 52-67 16 p. (Lecture Notes in Computer Science; vol. 12322).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Logical Interpretations of Autoencoders

    Fuxjaeger, A. & Belle, V., 9 Aug 2020, ECAI 2020. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarín, A. & Lang, J. (eds.). IOS Press, p. 2481-2488 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Polynomial-time Implicit Learnability in SMT

    Mocanu, I., Belle, V. & Juba, B., 8 Sep 2020, ECAI 2020. IOS Press, p. 1152 - 1158 7 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation.

    Fuxjaeger, A. & Belle, V., 24 Feb 2020, Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART. SCITEPRESS, Vol. 2. p. 347-355 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains

    Belle, V., 16 Sep 2020, Scalable Uncertainty Management. SUM 2020. Davis, J. & Tabia, K. (eds.). Cham: Springer, p. 3-16 14 p. ( Lecture Notes in Computer Science; vol. 12322).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2019

    Implicitly Learning to Reason in First-Order Logic

    Belle, V. & Juba, B., 14 Dec 2019, Advances in Neural Information Processing Systems 32 (NeurIPS 2019). Neural Information Processing Systems, Vol. 32. p. 3381-3391 11 p. (Advances in Neural Information Processing Systems; vol. 32).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2018

    Efficient Symbolic Integration for Probabilistic Inference

    Kolb, S., Mladenov, M., Sanner, S., Belle, V. & Kersting, K., 19 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Freiburg, Germany: IJCAI Inc, p. 5031-5037 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On Plans With Loops and Noise

    Belle, V., 9 Jul 2018, Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018). Stockholm, Sweden: ACM, p. 1310-1317 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds

    Belle, V., 25 Aug 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017). p. 5116-5120 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Open-Universe Weighted Model Counting

    Belle, V., 12 Feb 2017, Proceedings of The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, p. 3701-3708 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Open-Universe Weighted Model Counting: Extended Abstract

    Belle, V., 12 Feb 2017, Workshops at the Thirty-First AAAI Conference on Artificial Intelligence 16: Symbolic Inference and Optimization. AAAI Press, p. 3701-3708 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

    Belle, V. & Lakemeyer, G., 25 Aug 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-2017). IJCAI Inc, p. 828-836 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Solving Probability Problems in Natural Language

    Dries, A., Kimmig, A., Davis, J., Belle, V. & Raedt, L. D., 25 Aug 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-2017). IJCAI Inc, p. 3981-3987 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • The Symbolic Interior Point Method

    Mladenov, M., Belle, V. & Kersting, K., 12 Feb 2017, Proceedings of The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). AAAI Press, p. 1199-1205 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Weighted Model Counting With Function Symbols

    Belle, V., 15 Aug 2017, The Conference on Uncertainty in Artificial Intelligence (UAI 2017). 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2016

    A First-Order Logic of Probability and Only Knowing in Unbounded Domains

    Belle, V., Lakemeyer, G. & Levesque, H. J., Feb 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.. AAAI Press, p. 893-899 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Component Caching in Hybrid Domains with Piecewise Polynomial Densities

    Belle, V., Broeck, G. V. D. & Passerini, A., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.. AAAI Press, p. 3369-3375 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Foundations for Generalized Planning in Unbounded Stochastic Domains

    Belle, V. & Levesque, H. J., 2016, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016.. AAAI Press, p. 380-389 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report

    Belle, V., Broeck, G. V. D. & Passerini, A., 15 Jul 2016, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. IJCAI Inc, p. 4115-4119 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Satisfiability and Model Counting in Open Universes

    Belle, V., Feb 2016, The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence Beyond NP: Technical Report WS-16-05. AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2015

    ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains

    Belle, V. & Levesque, H. J., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. IJCAI Inc, p. 2762-2769 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Hashing-Based Approximate Probabilistic Inference in Hybrid Domains

    Belle, V., Broeck, G. V. D. & Passerini, A., 12 Jul 2015, Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, UAI 2015, July 12-16, 2015, Amsterdam, The Netherlands. Amsterdam, Netherlands: AUAI Press, p. 141-150 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Multi-Agent Only Knowing on Planet Kripke

    Aucher, G. & Belle, V., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. IJCAI Inc, p. 2713-2719 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Only Knowing Meets Common Knowledge

    Belle, V. & Lakemeyer, G., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. p. 2755-2761 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming

    Nitti, D., Belle, V. & Raedt, L. D., Aug 2015, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II. Springer International Publishing, p. 327-342 16 p. (Lecture Notes in Computer Science; vol. 9285).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

    Muise, C., Belle, V., Felli, P., McIlraith, S., Miller, T., Pearce, A. R. & Sonenberg, L., 1 Jun 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI Press, p. 3327-3334 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version)

    Muise, C., Belle, V., Felli, P., McIlraith, S. A., Miller, T., Pearce, A. R. & Sonenberg, L., 2015, ICAPS Proceedings of the 3rd Workshop on Distributed and Multi-Agent Planning (DMAP-2015). Komenda, A., Štolba, M., Kovacs, D. L. & Pěchouček, M. (eds.). Jerusalem, Israel, p. 60-67 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Probabilistic Inference in Hybrid Domains by Weighted Model Integration

    Belle, V., Passerini, A. & Broeck, G. V. D., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. IJCAI Inc, p. 2770-2776 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2014

    A Logical Theory of Robot Localization

    Belle, V. & Levesque, H. J., 2014, AAAI Spring Symposium: Knowledge Representation and Reasoning in Robotics. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Logical Theory of Robot Localization

    Belle, V. & Levesque, H., 2014, Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, p. 349-356 8 p. (AAMAS '14).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Computing Contingent Plans via Fully Observable Non-Deterministic Planning

    Muise, C. J., McIlraith, S. A. & Belle, V., 2014, Proceedings of the 1st Workshop on Models and Paradigms for Planning under Uncertainty: a Broad Perspective. Kolobov, A., Kuter, U. & Teichteil-Königsbuch, F. (eds.). Portsmouth, New Hampshire, USA, p. 27-34 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Computing Contingent Plans via Fully Observable Non-Deterministic Planning

    Muise, C. J., Belle, V. & McIlraith, S. A., 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.. AAAI Press, p. 2322-2329 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • How to Progress Beliefs in Continuous Domains

    Belle, V. & Levesque, H. J., 2014, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, p. 438-447 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Non-Deterministic Planning With Conditional Effects

    Muise, C. J., McIlraith, S. A. & Belle, V., 2014, Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014. AAAI Press, p. 370-374 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On the Progression of Knowledge in Multiagent Systems

    Belle, V. & Lakemeyer, G., 2014, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, p. 590-593 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains

    Belle, V. & Levesque, H. J., 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.. AAAI Press, p. 989-995 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2013

    Reasoning about Continuous Uncertainty in the Situation Calculus

    Belle, V. & Levesque, H. J., 2013, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. IJCAI Inc, p. 732-738 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Reasoning about Probabilities in Dynamic Systems using Goal Regression

    Belle, V. & Levesque, H. J., 2013, Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, UAI 2013, Bellevue, WA, USA, August 11-15, 2013. AUAI Press, p. 62-71 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Robot Location Estimation in the Situation Calculus

    Belle, V. & Levesque, H. J., 2013, Proceedings of the 1st Workshop on Planning and Robotics. p. 112-119 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2011

    A Semantical Account of Progression in the Presence of Uncertainty

    Belle, V. & Lakemeyer, G., 2011, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. AAAI Press, p. 165-170 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols

    Belle, V. & Lakemeyer, G., 2011, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. IJCAI Inc, p. 744-749 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2010

    Multi-Agent Only-Knowing Revisited

    Belle, V. & Lakemeyer, G., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, p. 49-59 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Multi-Agent Only-Knowing Revisited

    Belle, V., 2010, 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. p. 16 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

    Belle, V. & Lakemeyer, G., 2010, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. AAAI Press, p. 255-260 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2008

    Randomized trees for real-time one-step face detection and recognition

    Belle, V., Deselaers, T. & Schiffer, S., 1 Dec 2008, Pattern Recognition, 2008. ICPR 2008. 19th International Conference on. Institute of Electrical and Electronics Engineers (IEEE), p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution