pith. sign in

Vaishak Belle

Identifiers

  • name variant Vaishak Belle 0.60 · backfill

Papers (15)

  1. DeepSWIP: Quotient-WMC Counterfactuals for Neural Probabilistic Logic Programs cs.AI · 2026 · author #2
  2. Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study) cs.LO · 2026 · author #9
  3. Used Car Salesbots? Honesty and Credulity of LLMs as Bargaining Agents under Partial Information cs.GT · 2026 · author #2
  4. A Counterfactual Cause in Situation Calculus cs.AI · 2025 · author #2
  5. Implicitly Learning to Reason in First-Order Logic cs.AI · 2019 · author #1
  6. A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains cs.AI · 2019 · author #2
  7. Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems cs.AI · 2018 · author #1
  8. On Plans With Loops and Noise cs.AI · 2018 · author #1
  9. Learning Probabilistic Logic Programs in Continuous Domains cs.LG · 2018 · author #2
  10. Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks cs.LG · 2018 · author #3
  11. Probabilistic Planning by Probabilistic Programming cs.AI · 2018 · author #1
  12. The Symbolic Interior Point Method cs.AI · 2016 · author #2
  13. Robot Location Estimation in the Situation Calculus cs.AI · 2014 · author #1
  14. Reasoning about Probabilities in Dynamic Systems using Goal Regression cs.AI · 2013 · author #1
  15. Multi-Agent Only-Knowing Revisited cs.AI · 2010 · author #1

Mentions

  • 2606.20526 #2 · arxiv_oai · confidence 0.70 Vaishak Belle
  • 2606.19532 #9 · arxiv_oai · confidence 0.70 Vaishak Belle
  • 2605.31445 #2 · arxiv_oai · confidence 0.70 Vaishak Belle
  • 1402.7276 #1 · backfill · confidence 0.70 Vaishak Belle
  • 1309.6816 #1 · backfill · confidence 0.70 Vaishak Belle
  • 1009.2041 #1 · backfill · confidence 0.70 Vaishak Belle

Frequent Coauthors