The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going?

Vaishak Belle University of Edinburgh, UK https://orcid.org/0000-0001-5573-8465 https://www.wikidata.org/entity/Q130952540 Vaishak Belle Gary Marcus 0001 The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going? 40954-40961 2026 AAAI https://doi.org/10.1609/aaai.v40i48.42130 conf/aaai/2026 db/conf/aaai/aaai2026.html#BelleM26

Maifang Zhang Hang Yu Qian Zuo Cheng Wang Vaishak Belle Fengxiang He Integrating LTL Constraints into PPO for Safe Reinforcement Learning. 2026 March abs/2603.01292 CoRR https://doi.org/10.48550/arXiv.2603.01292 db/journals/corr/corr2603.html#abs-2603-01292 streams/journals/corr

Ioannis Papantonis Vaishak Belle Why not both? Complementing explanations with uncertainty, and self-confidence in human-AI collaboration. 2025 7 Frontiers Comput. Sci. https://doi.org/10.3389/fcomp.2025.1560448 db/journals/fcomp/fcomp7.html#PapantonisB25 streams/journals/fcomp

Vaishak Belle A propositional encoding for first-order clausal entailment over infinitely many constants. 102434 2025 130 J. Symb. Comput. https://doi.org/10.1016/j.jsc.2025.102434 db/journals/jsc/jsc130.html#Belle25 streams/journals/jsc

Dagmara Panas Ali Payani Vaishak Belle Unreasonable effectiveness of LLM reasoning: a doubly cautionary tale of temporal question-answering. 2025 2025 Trans. Mach. Learn. Res. https://openreview.net/forum?id=1DkD0Nd8Rd db/journals/tmlr/tmlr2025.html#PanasPB25 streams/journals/tmlr

Weizhi Tang Yixuan Li 0003 Chris Sypherd Elizabeth Polgreen Vaishak Belle HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. 13640-13665 2025 ACL (Findings) https://aclanthology.org/2025.findings-acl.701/ conf/acl/2025f db/conf/acl/acl2025f.html#Tang0SPB25 Nijesh Upreti Jessica Ciupa Vaishak Belle Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems. 588-599 2025 ICAART (1) https://doi.org/10.5220/0013314200003890 conf/icaart/2025-1 db/conf/icaart/icaart2025-1.html#UpretiCB25 Rose Azad Khan Vaishak Belle Abnormal Predicates: Learning Categorical Defaults from Probabilistic Rules. 892-900 2025 ICAART (3) https://doi.org/10.5220/0013229000003890 conf/icaart/2025-3 db/conf/icaart/icaart2025-3.html#KhanB25 Amit Parag Vaishak Belle Tractable Generative Modelling of Cosmological Numerical Simulations. 901-908 2025 ICAART (3) https://doi.org/10.5220/0013229100003890 conf/icaart/2025-3 db/conf/icaart/icaart2025-3.html#ParagB25 Miguel Ángel Méndez Lucero Enrique Bojorquez Gallardo Vaishak Belle Semantic Objective Functions: A Distribution-Aware Method for Adding Logical Constraints in Deep Learning. 909-917 2025 ICAART (3) https://doi.org/10.5220/0013229200003890 conf/icaart/2025-3 db/conf/icaart/icaart2025-3.html#LuceroGB25 Daxin Liu 0002 Vaishak Belle What Is a Counterfactual Cause in Action Theories? 2627-2629 2025 AAMAS https://dl.acm.org/doi/10.5555/3709347.3743959 conf/ifaamas/2025 db/conf/ifaamas/aamas2025.html#0002B25 Vaishak Belle Pablo Barceló A Uniform Language for Safety, Robustness and Explainability. 3-12 2025 JELIA (1) https://doi.org/10.1007/978-3-032-04587-4_1 conf/jelia/2025-1 db/conf/jelia/jelia2025-1.html#BelleB25 streams/conf/jelia Sanderson Molick Vaishak Belle Propositional Abduction via Only-Knowing: A Non-Monotonic Approach. ICLP 2025 5-17 journals/corr/abs-2601-00047 https://doi.org/10.4204/EPTCS.439.2 https://doi.org/10.48550/arXiv.2601.04272 January db/series/eptcs/eptcs439.html#abs-2601-04272 streams/journals/corr Nijesh Upreti Vaishak Belle Logic Tensor Network-Enhanced Generative Adversarial Network. ICLP 2025 89-113 journals/corr/abs-2601-00047 https://doi.org/10.4204/EPTCS.439.8 https://doi.org/10.48550/arXiv.2601.03839 January db/series/eptcs/eptcs439.html#abs-2601-03839 streams/journals/corr

Daxin Liu 0002 Vaishak Belle What Is a Counterfactual Cause in Action Theories? 2025 January abs/2501.06857 CoRR https://doi.org/10.48550/arXiv.2501.06857 db/journals/corr/corr2501.html#abs-2501-06857 streams/journals/corr

Nijesh Upreti Vaishak Belle An Algebraic Framework for Hierarchical Probabilistic Abstraction. 2025 February abs/2502.21216 CoRR https://doi.org/10.48550/arXiv.2502.21216 db/journals/corr/corr2502.html#abs-2502-21216 streams/journals/corr

Nijesh Upreti Jessica Ciupa Vaishak Belle Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems. 2025 February abs/2502.21250 CoRR https://doi.org/10.48550/arXiv.2502.21250 db/journals/corr/corr2502.html#abs-2502-21250 streams/journals/corr

Nijesh Upreti Vaishak Belle Neuro-symbolic Weak Supervision: Theory and Semantics. 2025 March abs/2503.18509 CoRR https://doi.org/10.48550/arXiv.2503.18509 db/journals/corr/corr2503.html#abs-2503-18509 streams/journals/corr

Antonio Valerio Miceli Barone Vaishak Belle Ali Payani Program Semantic Inequivalence Game with Large Language Models. 2025 May abs/2505.03818 CoRR https://doi.org/10.48550/arXiv.2505.03818 db/journals/corr/corr2505.html#abs-2505-03818 streams/journals/corr

Chris Sypherd Sergei Petrov Sonny George Vaishak Belle Incorporating Token Usage into Prompting Strategy Evaluation. 2025 May abs/2505.14880 CoRR https://doi.org/10.48550/arXiv.2505.14880 db/journals/corr/corr2505.html#abs-2505-14880 streams/journals/corr

Weizhi Tang Yixuan Li 0003 Chris Sypherd Elizabeth Polgreen Vaishak Belle HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. 2025 May abs/2505.16978 CoRR https://doi.org/10.48550/arXiv.2505.16978 db/journals/corr/corr2505.html#abs-2505-16978 streams/journals/corr

Weizhi Tang Kwabena Nuamah Vaishak Belle Lyria: A General LLM-Driven Genetic Algorithm Framework for Problem Solving. 2025 July abs/2507.04034 CoRR https://doi.org/10.48550/arXiv.2507.04034 db/journals/corr/corr2507.html#abs-2507-04034 streams/journals/corr

Nijesh Upreti Vaishak Belle Satisfiability Modulo Theory Meets Inductive Logic Programming. 2025 December abs/2512.12918 CoRR https://doi.org/10.48550/arXiv.2512.12918 db/journals/corr/corr2512.html#abs-2512-12918 streams/journals/corr

Vaishak Belle Michael Benedikt Dana Drachsler-Cohen Daniel Neider Tom Yuviler Logic and Neural Networks (Dagstuhl Seminar 25061). 1-20 2025 February 15 Dagstuhl Reports 2 https://doi.org/10.4230/DagRep.15.2.1 db/journals/dagstuhl-reports/dagstuhl-reports15.html#BelleBDNY25 streams/journals/dagstuhl-reports

Ioannis Papantonis Vaishak Belle Principled diverse counterfactuals in multilinear models. 1421-1443 2024 113 Mach. Learn. 3 https://doi.org/10.1007/s10994-023-06411-z db/journals/ml/ml113.html#PapantonisB24

Andreas C. Bueff Vaishak Belle Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach. 4579-4614 2024 July 113 Mach. Learn. 7 https://doi.org/10.1007/s10994-024-06538-7 db/journals/ml/ml113.html#BueffB24

Daxin Liu 0002 Vaishak Belle Progression with Probabilities in the Situation Calculus: Representation and Succinctness. 1210-1218 2024 AAMAS https://dl.acm.org/doi/10.5555/3635637.3662978 conf/atal/2024 db/conf/atal/aamas2024.html#0002B24 Nijesh Upreti Vaishak Belle An Algebraic Framework for Hierarchical Probabilistic Abstraction. 129-146 2024 IJCLR https://doi.org/10.1007/978-3-032-09087-4_9 conf/ijclr/2024 db/conf/ijclr/ijclr2024.html#UpretiB24 streams/conf/ijclr Vaishak Belle Language-Agnostic Semantics for Implicit Learning as Reasoning: Extended Abstract. 218-227 2024 IJCLR https://doi.org/10.1007/978-3-032-09087-4_15 conf/ijclr/2024 db/conf/ijclr/ijclr2024.html#Belle24 streams/conf/ijclr Vaishak Belle Daxin Liu 0002 Reasoning About Neural Network Perception in the Situation Calculus. 228-237 2024 IJCLR https://doi.org/10.1007/978-3-032-09087-4_16 conf/ijclr/2024 db/conf/ijclr/ijclr2024.html#BelleL24 streams/conf/ijclr Xue Li 0018 Vaishak Belle Björn Ross MisCC: Misinformation Detection on Counterfactual Claims. 253-267 2024 IJCLR https://doi.org/10.1007/978-3-032-09087-4_18 conf/ijclr/2024 db/conf/ijclr/ijclr2024.html#LiBR24 streams/conf/ijclr Jessica Ciupa Vaishak Belle Ethical Reward Machine. 180-194 2024 NeSy (1) https://doi.org/10.1007/978-3-031-71167-1_10 conf/nesy/2024-1 db/conf/nesy/nesy2024-1.html#CiupaB24 streams/conf/nesy Weizhi Tang Vaishak Belle ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. 245-257 2024 NeSy (2) https://doi.org/10.1007/978-3-031-71170-1_20 conf/nesy/2024-2 db/conf/nesy/nesy2024-2.html#TangB24 streams/conf/nesy Dagmara Panas Sohan Seth Vaishak Belle Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical Relationships. 258-276 2024 NeSy (2) https://doi.org/10.1007/978-3-031-71170-1_21 conf/nesy/2024-2 db/conf/nesy/nesy2024-2.html#PanasSB24 streams/conf/nesy Vaishak Belle Counterfactual Explanations as Plans. ICLP 2024 153-167 journals/corr/abs-2502-08453 https://doi.org/10.4204/EPTCS.416.14 https://doi.org/10.48550/arXiv.2502.09205 February db/series/eptcs/eptcs416.html#abs-2502-09205 streams/journals/corr

Weizhi Tang Vaishak Belle ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. 2024 abs/2404.15515 CoRR https://doi.org/10.48550/arXiv.2404.15515 db/journals/corr/corr2404.html#abs-2404-15515

Dagmara Panas Sohan Seth Vaishak Belle Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships. 2024 abs/2404.19432 CoRR https://doi.org/10.48550/arXiv.2404.19432 db/journals/corr/corr2404.html#abs-2404-19432

Miguel Ángel Méndez Lucero Enrique Bojorquez Gallardo Vaishak Belle Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning. 2024 abs/2405.15789 CoRR https://doi.org/10.48550/arXiv.2405.15789 db/journals/corr/corr2405.html#abs-2405-15789

Weizhi Tang Vaishak Belle Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models. 2024 abs/2406.04800 CoRR https://doi.org/10.48550/arXiv.2406.04800 db/journals/corr/corr2406.html#abs-2406-04800

Weizhi Tang Vaishak Belle LTLBench: Towards Benchmarks for Evaluating Temporal Logic Reasoning in Large Language Models. 2024 abs/2407.05434 CoRR https://doi.org/10.48550/arXiv.2407.05434 db/journals/corr/corr2407.html#abs-2407-05434 streams/journals/corr

Alec F. Diallo Vaishak Belle Paul Patras Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning. 2024 abs/2410.05484 CoRR https://doi.org/10.48550/arXiv.2410.05484 db/journals/corr/corr2410.html#abs-2410-05484 streams/journals/corr

Jonathan Feldstein Paulius Dilkas Vaishak Belle Efthymia Tsamoura Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning. 2024 abs/2410.22077 CoRR https://doi.org/10.48550/arXiv.2410.22077 db/journals/corr/corr2410.html#abs-2410-22077 streams/journals/corr

Chris Sypherd Vaishak Belle Practical Considerations for Agentic LLM Systems. 2024 abs/2412.04093 CoRR https://doi.org/10.48550/arXiv.2412.04093 db/journals/corr/corr2412.html#abs-2412-04093 streams/journals/corr

Vaishak Belle Hana Chockler Shannon Vallor Kush R. Varshney Joost Vennekens Sander Beckers Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). 75-91 2024 14 Dagstuhl Reports 3 https://doi.org/10.4230/DagRep.14.3.75 db/journals/dagstuhl-reports/dagstuhl-reports14.html#BelleCVVVB24

Vaishak Belle Thomas Bolander Andreas Herzig Bernhard Nebel Epistemic planning: Perspectives on the special issue. 103842 2023 March 316 Artif. Intell. https://doi.org/10.1016/j.artint.2022.103842 db/journals/ai/ai316.html#BelleBHN23

Vaishak Belle Knowledge representation and acquisition for ethical AI: challenges and opportunities. 22 2023 March 25 Ethics Inf. Technol. 1 https://doi.org/10.1007/s10676-023-09692-z db/journals/ethicsit/ethicsit25.html#Belle23

Ionela G. Mocanu Vaishak Belle Knowledge representation and acquisition in the era of large language models: Reflections on learning to reason via PAC-Semantics. 100036 2023 5 Nat. Lang. Process. J. https://doi.org/10.1016/j.nlp.2023.100036 db/journals/nlpj/nlpj5.html#MocanuB23

Ionela G. Mocanu Vaishak Belle Brendan Juba Learnability with PAC Semantics for Multi-agent Beliefs. 730-747 2023 July 23 Theory Pract. Log. Program. 4 https://doi.org/10.1017/s1471068423000182 db/journals/tplp/tplp23.html#MocanuBJ23

Vaishak Belle Toward A Logical Theory Of Fairness and Bias. 865-883 2023 July 23 Theory Pract. Log. Program. 4 https://doi.org/10.1017/s1471068423000157 db/journals/tplp/tplp23.html#Belle23

Vaishak Belle Michael Fisher 0001 Alessandra Russo Ekaterina Komendantskaya Alistair Nottle Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. 180-200 2023 AAMAS Workshops https://doi.org/10.1007/978-3-031-56255-6_10 conf/atal/2023bv db/conf/atal/aamas2023bv.html#BelleFRKN23 Qihui Feng Daxin Liu 0002 Vaishak Belle Gerhard Lakemeyer A Logic of Only-Believing over Arbitrary Probability Distributions. 355-363 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3598658 conf/atal/2023 db/conf/atal/aamas2023.html#Feng0BL23 Vaishak Belle Actions, Continuous Distributions and Meta-Beliefs. 418-426 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3598665 conf/atal/2023 db/conf/atal/aamas2023.html#Belle23 Till Hofmann Vaishak Belle Abstracting Noisy Robot Programs. 534-542 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3598681 conf/atal/2023 db/conf/atal/aamas2023.html#HofmannB23 Ionela G. Mocanu Vaishak Belle Brendan Juba Learnability with PAC Semantics for Multi-agent Beliefs. 2604-2606 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3599016 conf/atal/2023 db/conf/atal/aamas2023.html#MocanuBJ23 Sandrine Chausson Ameer Saadat-Yazdi Xue Li 0018 Jeff Z. Pan Vaishak Belle Nadin Kökciyan Björn Ross A Web-based Tool for Detecting Argument Validity and Novelty. 3053-3055 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3599170 conf/atal/2023 db/conf/atal/aamas2023.html#ChaussonSLPBKR23 Daxin Liu 0002 Qinfei Huang Vaishak Belle Gerhard Lakemeyer Verifying Belief-Based Programs via Symbolic Dynamic Programming. 1497-1504 2023 ECAI https://doi.org/10.3233/FAIA230429 conf/ecai/2023 db/conf/ecai/ecai2023.html#0002HBL23 Ioannis Papantonis Vaishak Belle Transparency in Sum-Product Network Decompilation. 1827-1834 2023 ECAI https://doi.org/10.3233/FAIA230470 conf/ecai/2023 db/conf/ecai/ecai2023.html#PapantonisB23 Ioannis Papantonis Vaishak Belle Model Transparency: Why Do We Care? 650-657 2023 ICAART (3) https://doi.org/10.5220/0011726300003393 conf/icaart/2023-3 db/conf/icaart/icaart2023-3.html#PapantonisB23 Andreas C. Bueff Vaishak Belle Logic + Reinforcement Learning + Deep Learning: A Survey. 713-722 2023 ICAART (3) https://doi.org/10.5220/0011746300003393 conf/icaart/2023-3 db/conf/icaart/icaart2023-3.html#BueffB23 Vaishak Belle Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. 35-46 2023 JELIA https://doi.org/10.1007/978-3-031-43619-2_3 conf/jelia/2023 db/conf/jelia/jelia2023.html#Belle23 Paulius Dilkas Vaishak Belle Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. 198-207 2023 KR https://doi.org/10.24963/kr.2023/20 conf/kr/2023 db/conf/kr/kr2023.html#DilkasB23 Daxin Liu 0002 Qihui Feng Vaishak Belle Gerhard Lakemeyer Concerning Measures in a First-order Logic with Actions and Meta-beliefs. 451-460 2023 KR https://doi.org/10.24963/kr.2023/44 conf/kr/2023 db/conf/kr/kr2023.html#0002FBL23 Bénédicte Legastelois Amy Rafferty Paul Brennan Hana Chockler Ajitha Rajan Vaishak Belle Challenges in Explaining Brain Tumor Detection. 21:1-21:8 2023 TAS https://doi.org/10.1145/3597512.3600208 conf/tas/2023 db/conf/tas/tas2023.html#LegasteloisRBCR23 Andreas C. Bueff Vaishak Belle Deep Inductive Logic Programming meets Reinforcement Learning. ICLP 2023 339-352 journals/corr/abs-2308-14898 https://doi.org/10.4204/EPTCS.385.37 https://doi.org/10.48550/arXiv.2308.16210 db/series/eptcs/eptcs385.html#abs-2308-16210 Miguel Ángel Méndez Lucero Vaishak Belle Boolean Connectives and Deep Learning: Three Interpretations. 100-113 2023 Compendium of Neurosymbolic Artificial Intelligence https://doi.org/10.3233/FAIA230137 series/faia/369 db/series/faia/faia369.html#LuceroB23

Ioannis Papantonis Vaishak Belle Why not both? Complementing explanations with uncertainty, and the role of self-confidence in Human-AI collaboration. 2023 abs/2304.14130 CoRR https://doi.org/10.48550/arXiv.2304.14130 db/journals/corr/corr2304.html#abs-2304-14130

Drew Hemment Dave Murray-Rust Vaishak Belle Ruth Aylett Matjaz Vidmar Frank Broz Experiential AI: A transdisciplinary framework for legibility and agency in AI. 2023 abs/2306.00635 CoRR https://doi.org/10.48550/arXiv.2306.00635 db/journals/corr/corr2306.html#abs-2306-00635

Drew Hemment Matjaz Vidmar Daga Panas Dave Murray-Rust Vaishak Belle Ruth Aylett Agency and legibility for artists through Experiential AI. 2023 abs/2306.02327 CoRR https://doi.org/10.48550/arXiv.2306.02327 db/journals/corr/corr2306.html#abs-2306-02327

Paulius Dilkas Vaishak Belle Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. 2023 abs/2306.04189 CoRR https://doi.org/10.48550/arXiv.2306.04189 db/journals/corr/corr2306.html#abs-2306-04189

Ionela G. Mocanu Vaishak Belle Brendan Juba Learnability with PAC Semantics for Multi-agent Beliefs. 2023 abs/2306.05490 CoRR https://doi.org/10.48550/arXiv.2306.05490 db/journals/corr/corr2306.html#abs-2306-05490

Vaishak Belle Toward A Logical Theory Of Fairness and Bias. 2023 abs/2306.13659 CoRR https://doi.org/10.48550/arXiv.2306.13659 db/journals/corr/corr2306.html#abs-2306-13659

Vaishak Belle Statistical relational learning and neuro-symbolic AI: what does first-order logic offer? 2023 abs/2306.13660 CoRR https://doi.org/10.48550/arXiv.2306.13660 db/journals/corr/corr2306.html#abs-2306-13660

Christian Muise Vaishak Belle Paolo Felli Sheila A. McIlraith Tim Miller 0001 Adrian R. Pearce Liz Sonenberg Efficient multi-agent epistemic planning: Teaching planners about nested belief. 103605 2022 302 Artif. Intell. https://doi.org/10.1016/j.artint.2021.103605 db/journals/ai/ai302.html#MuiseBFMMPS22

Vaishak Belle Analyzing generalized planning under nondeterminism. 103696 2022 307 Artif. Intell. https://doi.org/10.1016/j.artint.2022.103696 db/journals/ai/ai307.html#Belle22

Miguel Ángel Méndez Lucero Rafael-Michael Karampatsis Enrique Bojorquez Gallardo Vaishak Belle Signal Perceptron: On the Identifiability of Boolean Function Spaces and Beyond. 770254 2022 5 Frontiers Artif. Intell. https://doi.org/10.3389/frai.2022.770254 db/journals/frai/frai5.html#LuceroKGB22

Gary Smith Vaishak Belle Ronald P. A. Petrick Intention Recognition With ProbLog. 806262 2022 5 Frontiers Artif. Intell. https://doi.org/10.3389/frai.2022.806262 db/journals/frai/frai5.html#SmithBP22

Ionela Georgiana Mocanu Zhenxu Yang Vaishak Belle Breaking CAPTCHA with Capsule Networks. 246-254 2022 154 Neural Networks https://doi.org/10.1016/j.neunet.2022.06.041 db/journals/nn/nn154.html#MocanuYB22

Nick Hoernle Rafael-Michael Karampatsis Vaishak Belle Kobi Gal MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. 5700-5709 2022 AAAI https://doi.org/10.1609/aaai.v36i5.20512 conf/aaai/2022 db/conf/aaai/aaai2022.html#HoernleKBG22 Ameer Saadat-Yazdi Xue Li 0018 Sandrine Chausson Vaishak Belle Björn Ross Jeff Z. Pan Nadin Kökciyan KEViN: A Knowledge Enhanced Validity and Novelty Classifier for Arguments. 104-110 2022 ArgMining@COLING https://aclanthology.org/2022.argmining-1.9 conf/argmining/2022 db/conf/argmining/argmining2022.html#Saadat-YazdiLCB21 Vaishak Belle Tractable Probabilistic Models for Ethical AI. 3-8 2022 ICCS https://doi.org/10.1007/978-3-031-16663-1_1 conf/iccs/2022 db/conf/iccs/iccs2022.html#Belle22

Ioannis Papantonis Vaishak Belle Principled Diverse Counterfactuals in Multilinear Models. 2022 abs/2201.06467 CoRR https://arxiv.org/abs/2201.06467 db/journals/corr/corr2201.html#abs-2201-06467

Xin Du 0006 Bénédicte Legastelois Bhargavi Ganesh Ajitha Rajan Hana Chockler Vaishak Belle Stuart Anderson Subramanian Ramamoorthy Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. 2022 abs/2201.11674 CoRR https://arxiv.org/abs/2201.11674 db/journals/corr/corr2201.html#abs-2201-11674

Andreas C. Bueff Ioannis Papantonis Auste Simkute Vaishak Belle Explainability in Machine Learning: a Pedagogical Perspective. 2022 abs/2202.10335 CoRR https://arxiv.org/abs/2202.10335 db/journals/corr/corr2202.html#abs-2202-10335

Till Hofmann Vaishak Belle Abstracting Noisy Robot Programs. 2022 abs/2204.03536 CoRR https://doi.org/10.48550/arXiv.2204.03536 db/journals/corr/corr2204.html#abs-2204-03536

Till Hofmann Vaishak Belle Using Abstraction for Interpretable Robot Programs in Stochastic Domains. 2022 abs/2207.12763 CoRR https://doi.org/10.48550/arXiv.2207.12763 db/journals/corr/corr2207.html#abs-2207-12763

Lewis Hammond Vaishak Belle Learning tractable probabilistic models for moral responsibility and blame. 621-659 2021 35 Data Min. Knowl. Discov. 2 https://doi.org/10.1007/s10618-020-00726-4 db/journals/datamine/datamine35.html#HammondB21

Andreas C. Bueff Stefanie Speichert Vaishak Belle Probabilistic Tractable Models in Mixed Discrete-Continuous Domains. 228-260 2021 3 Data Intell. 2 https://doi.org/10.1162/dint_a_00064 https://www.wikidata.org/entity/Q131766315 db/journals/dint/dint3.html#BueffSB21

Vaishak Belle Ioannis Papantonis Principles and Practice of Explainable Machine Learning. 688969 2021 4 Frontiers Big Data https://doi.org/10.3389/fdata.2021.688969 db/journals/fdata/fdata4.html#BelleP21

Ioannis Papantonis Vaishak Belle Closed-Form Results for Prior Constraints in Sum-Product Networks. 644062 2021 4 Frontiers Artif. Intell. https://doi.org/10.3389/frai.2021.644062 db/journals/frai/frai4.html#PapantonisB21

Michael Varley Vaishak Belle Fairness in machine learning with tractable models. 106715 2021 215 Knowl. Based Syst. https://doi.org/10.1016/j.knosys.2020.106715 db/journals/kbs/kbs215.html#VarleyB21

Sándor Bartha James Cheney Vaishak Belle One down, 699 to go: or, synthesising compositional desugarings. 1-29 2021 5 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3485499 https://www.wikidata.org/entity/Q130952541 db/journals/pacmpl/pacmpl5.html#BarthaCB21

Alexander Philipp Rader Ionela G. Mocanu Vaishak Belle Brendan Juba Learning Implicitly with Noisy Data in Linear Arithmetic. 1410-1417 2021 IJCAI https://doi.org/10.24963/ijcai.2021/195 conf/ijcai/2021 db/conf/ijcai/ijcai2021.html#RaderMBJ21 Gary Smith Ron P. A. Petrick Vaishak Belle Intent Recognition in Smart Homes with ProbLog. 430-431 2021 PerCom Workshops https://doi.org/10.1109/PerComWorkshops51409.2021.9431150 conf/percom/2021w db/conf/percom/percomw2021.html#SmithPB21 Paulius Dilkas Vaishak Belle Weighted Model Counting Without Parameter Variables. 134-151 2021 SAT https://doi.org/10.1007/978-3-030-80223-3_10 conf/sat/2021 db/conf/sat/sat2021.html#DilkasB21 Jonathan Feldstein Vaishak Belle Lifted reasoning meets weighted model integration. 322-332 2021 UAI https://proceedings.mlr.press/v161/feldstein21a.html conf/uai/2021 db/conf/uai/uai2021.html#FeldsteinB21 Paulius Dilkas Vaishak Belle Weighted model counting with conditional weights for Bayesian networks. 386-396 2021 UAI https://proceedings.mlr.press/v161/dilkas21a.html conf/uai/2021 db/conf/uai/uai2021.html#DilkasB21 Vaishak Belle Logic Meets Learning: From Aristotle to Neural Networks. 78-102 2021 Neuro-Symbolic Artificial Intelligence https://doi.org/10.3233/FAIA210350 series/faia/342 db/series/faia/faia342.html#Belle21

Sándor Bartha James Cheney Vaishak Belle One Down, 699 to Go: or, synthesising compositional desugarings. 2021 abs/2109.06114 CoRR https://arxiv.org/abs/2109.06114 db/journals/corr/corr2109.html#abs-2109-06114

Christian Muise Vaishak Belle Paolo Felli Sheila A. McIlraith Tim Miller 0001 Adrian R. Pearce Liz Sonenberg Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. 2021 abs/2110.02480 CoRR https://arxiv.org/abs/2110.02480 db/journals/corr/corr2110.html#abs-2110-02480

Nicholas Hoernle Rafael-Michael Karampatsis Vaishak Belle Kobi Gal MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. 2021 abs/2111.01564 CoRR https://arxiv.org/abs/2111.01564 db/journals/corr/corr2111.html#abs-2111-01564

Vaishak Belle Hector J. Levesque Regression and progression in stochastic domains. 103247 2020 281 Artif. Intell. https://doi.org/10.1016/j.artint.2020.103247 db/journals/ai/ai281.html#BelleL20

Laszlo Treszkai Vaishak Belle A correctness result for synthesizing plans with loops in stochastic domains. 92-107 2020 119 Int. J. Approx. Reason. https://doi.org/10.1016/j.ijar.2019.12.005 https://www.wikidata.org/entity/Q126586464 db/journals/ijar/ijar119.html#TreszkaiB20

Vaishak Belle Luc De Raedt Semiring programming: A semantic framework for generalized sum product problems. 181-201 2020 126 Int. J. Approx. Reason. https://doi.org/10.1016/j.ijar.2020.08.001 https://www.wikidata.org/entity/Q136473042 db/journals/ijar/ijar126.html#BelleR20

Vaishak Belle Abstracting probabilistic models: Relations, constraints and beyond. 105976 2020 199 Knowl. Based Syst. https://doi.org/10.1016/j.knosys.2020.105976 db/journals/kbs/kbs199.html#Belle20

Amélie Levray Vaishak Belle Learning Credal Sum-Product Networks. 2020 AKBC https://doi.org/10.24432/C5X59D conf/akbc/2020 db/conf/akbc/akbc2020.html#LevrayB20 Paulius Dilkas Vaishak Belle Generating Random Logic Programs Using Constraint Programming. 828-845 2020 CP https://doi.org/10.1007/978-3-030-58475-7_48 conf/cp/2020 db/conf/cp/cp2020.html#DilkasB20 Ionela G. Mocanu Vaishak Belle Brendan Juba Polynomial-Time Implicit Learnability in SMT. 1152-1158 2020 ECAI https://doi.org/10.3233/FAIA200213 conf/ecai/2020 db/conf/ecai/ecai2020.html#MocanuBJ20 Anton Fuxjaeger Vaishak Belle Logical Interpretations of Autoencoders. 2481-2488 2020 ECAI https://doi.org/10.3233/FAIA200381 conf/ecai/2020 db/conf/ecai/ecai2020.html#FuxjaegerB20 Anton Fuxjaeger Vaishak Belle Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation. 347-355 2020 ICAART (2) https://doi.org/10.5220/0008896003470355 conf/icaart/2020-2 db/conf/icaart/icaart2020-2.html#FuxjaegerB20 Vaishak Belle Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains. 3-16 2020 SUM https://doi.org/10.1007/978-3-030-58449-8_1 conf/sum/2020 db/conf/sum/sum2020.html#Belle20 Vaishak Belle Logic, Probability and Action: A Situation Calculus Perspective. 52-67 2020 SUM https://doi.org/10.1007/978-3-030-58449-8_4 conf/sum/2020 db/conf/sum/sum2020.html#Belle20a

Vaishak Belle SMT + ILP. 2020 abs/2001.05208 CoRR https://arxiv.org/abs/2001.05208 db/journals/corr/corr2001.html#abs-2001-05208

Ioannis Papantonis Vaishak Belle Interventions and Counterfactuals in Tractable Probabilistic Models: Limitations of Contemporary Transformations. 2020 abs/2001.10905 CoRR https://arxiv.org/abs/2001.10905 db/journals/corr/corr2001.html#abs-2001-10905

Ioannis Papantonis Vaishak Belle On Constraint Definability in Tractable Probabilistic Models. 2020 abs/2001.11349 CoRR https://arxiv.org/abs/2001.11349 db/journals/corr/corr2001.html#abs-2001-11349

Paulius Dilkas Vaishak Belle Generating Random Logic Programs Using Constraint Programming. 2020 abs/2006.01889 CoRR https://arxiv.org/abs/2006.01889 db/journals/corr/corr2006.html#abs-2006-01889

Vaishak Belle Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains. 2020 abs/2006.08480 CoRR https://arxiv.org/abs/2006.08480 db/journals/corr/corr2006.html#abs-2006-08480

Vaishak Belle Logic, Probability and Action: A Situation Calculus Perspective. 2020 abs/2006.09868 CoRR https://arxiv.org/abs/2006.09868 db/journals/corr/corr2006.html#abs-2006-09868

Vaishak Belle Ioannis Papantonis Principles and Practice of Explainable Machine Learning. 2020 abs/2009.11698 CoRR https://arxiv.org/abs/2009.11698 db/journals/corr/corr2009.html#abs-2009-11698

Alexander Philipp Rader Ionela G. Mocanu Vaishak Belle Brendan Juba Learning Implicitly with Noisy Data in Linear Arithmetic. 2020 abs/2010.12619 CoRR https://arxiv.org/abs/2010.12619 db/journals/corr/corr2010.html#abs-2010-12619

Drew Hemment Ruth Aylett Vaishak Belle Dave Murray-Rust Ewa Luger Jane Hillston Michael Rovatsos Frank Broz Experiential AI. 25-31 2019 5 AI Matters 1 https://doi.org/10.1145/3320254.3320264 https://www.wikidata.org/entity/Q122406320 db/journals/aimatters/aimatters5.html#HemmentABMLHRB19

Stefanie Speichert Vaishak Belle Learning Probabilistic Logic Programs over Continuous Data. 129-144 2019 ILP https://doi.org/10.1007/978-3-030-49210-6_11 conf/ilp/2019 db/conf/ilp/ilp2019.html#SpeichertB19 Vaishak Belle Brendan Juba Implicitly learning to reason in first-order logic. 3376-3386 2019 NeurIPS https://proceedings.neurips.cc/paper/2019/hash/09fb05dd477d4ae6479985ca56c5a12d-Abstract.html http://papers.nips.cc/paper/8599-implicitly-learning-to-reason-in-first-order-logic conf/nips/2019 db/conf/nips/nips2019.html#BelleJ19

Amélie Levray Vaishak Belle Learning Tractable Probabilistic Models in Open Worlds. 2019 abs/1901.05847 CoRR http://arxiv.org/abs/1901.05847 db/journals/corr/corr1901.html#abs-1901-05847

Michael Varley Vaishak Belle Fairness in Machine Learning with Tractable Models. 2019 abs/1905.07026 CoRR http://arxiv.org/abs/1905.07026 db/journals/corr/corr1905.html#abs-1905-07026

Laszlo Treszkai Vaishak Belle A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains. 2019 abs/1905.07028 CoRR http://arxiv.org/abs/1905.07028 db/journals/corr/corr1905.html#abs-1905-07028

Vaishak Belle Brendan Juba Implicitly Learning to Reason in First-Order Logic. 2019 abs/1906.10106 CoRR http://arxiv.org/abs/1906.10106 db/journals/corr/corr1906.html#abs-1906-10106

Drew Hemment Ruth Aylett Vaishak Belle Dave Murray-Rust Ewa Luger Jane Hillston Michael Rovatsos Frank Broz Experiential AI. 2019 abs/1908.02619 CoRR http://arxiv.org/abs/1908.02619 db/journals/corr/corr1908.html#abs-1908-02619

Vaishak Belle The Quest for Interpretable and Responsible Artificial Intelligence. 2019 abs/1910.04527 CoRR http://arxiv.org/abs/1910.04527 db/journals/corr/corr1910.html#abs-1910-04527

Anton Fuxjaeger Vaishak Belle Logical Interpretations of Autoencoders. 2019 abs/1911.11629 CoRR http://arxiv.org/abs/1911.11629 db/journals/corr/corr1911.html#abs-1911-11629

Vaishak Belle Hector J. Levesque Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. 189-221 2018 262 Artif. Intell. https://doi.org/10.1016/j.artint.2018.06.003 https://www.wikidata.org/entity/Q129630646 db/journals/ai/ai262.html#BelleL18

Vaishak Belle Probabilistic Planning by Probabilistic Programming. 654-657 2018 AAAI Workshops https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/16627 conf/aaai/2018w db/conf/aaai/aaai2018w.html#Belle18 Vaishak Belle On Plans With Loops and Noise. 1310-1317 2018 AAMAS http://dl.acm.org/citation.cfm?id=3237895 conf/atal/2018 db/conf/atal/aamas2018.html#Belle18 Samuel Kolb Martin Mladenov Scott Sanner Vaishak Belle Kristian Kersting Efficient Symbolic Integration for Probabilistic Inference. 5031-5037 2018 IJCAI https://doi.org/10.24963/ijcai.2018/698 conf/ijcai/2018 db/conf/ijcai/ijcai2018.html#KolbMSBK18

Vaishak Belle Probabilistic Planning by Probabilistic Programming. 2018 abs/1801.08365 CoRR http://arxiv.org/abs/1801.08365 db/journals/corr/corr1801.html#abs-1801-08365

Andreas C. Bueff Stefanie Speichert Vaishak Belle Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks. 2018 abs/1807.05464 CoRR http://arxiv.org/abs/1807.05464 db/journals/corr/corr1807.html#abs-1807-05464

Stefanie Speichert Vaishak Belle Learning Probabilistic Logic Programs in Continuous Domains. 2018 abs/1807.05527 CoRR http://arxiv.org/abs/1807.05527 db/journals/corr/corr1807.html#abs-1807-05527

Vaishak Belle On Plans With Loops and Noise. 2018 abs/1809.05309 CoRR http://arxiv.org/abs/1809.05309 db/journals/corr/corr1809.html#abs-1809-05309

Vaishak Belle Hector J. Levesque Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. 2018 abs/1809.05314 CoRR http://arxiv.org/abs/1809.05314 db/journals/corr/corr1809.html#abs-1809-05314

Vaishak Belle Abstracting Probabilistic Relational Models. 2018 abs/1810.02434 CoRR http://arxiv.org/abs/1810.02434 db/journals/corr/corr1810.html#abs-1810-02434

Lewis Hammond Vaishak Belle Deep Tractable Probabilistic Models for Moral Responsibility. 2018 abs/1810.03736 CoRR http://arxiv.org/abs/1810.03736 db/journals/corr/corr1810.html#abs-1810-03736

Anton Fuxjaeger Vaishak Belle Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation. 2018 abs/1811.12127 CoRR http://arxiv.org/abs/1811.12127 db/journals/corr/corr1811.html#abs-1811-12127

Davide Nitti 0001 Vaishak Belle Tinne De Laet Luc De Raedt Planning in hybrid relational MDPs. 1905-1932 2017 106 Mach. Learn. 12 https://doi.org/10.1007/s10994-017-5669-x db/journals/ml/ml106.html#NittiBLR17

Vaishak Belle Open-Universe Weighted Model Counting. 3701-3708 2017 AAAI https://doi.org/10.1609/aaai.v31i1.11057 conf/aaai/2017 db/conf/aaai/aaai2017.html#Belle17 Vaishak Belle Open-Universe Weighted Model Counting: Extended Abstract. 2017 AAAI Workshops https://aaai.org/papers/aaaiw-ws0331-17-15132/ conf/aaai/2017w db/conf/aaai/aaai2017w.html#Belle17a Martin Mladenov Vaishak Belle Kristian Kersting The Symbolic Interior Point Method. 1199-1205 2017 AAAI https://doi.org/10.1609/aaai.v31i1.10699 conf/aaai/2017 db/conf/aaai/aaai2017.html#MladenovBK17 Vaishak Belle Gerhard Lakemeyer Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. 828-836 2017 IJCAI https://doi.org/10.24963/ijcai.2017/115 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#BelleL17 Anton Dries Angelika Kimmig Jesse Davis Vaishak Belle Luc De Raedt Solving Probability Problems in Natural Language. 3981-3987 2017 IJCAI https://doi.org/10.24963/ijcai.2017/556 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#DriesKDBR17 Vaishak Belle Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds. 5116-5120 2017 IJCAI https://doi.org/10.24963/ijcai.2017/733 https://www.wikidata.org/entity/Q102362813 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#Belle17 Vaishak Belle Weighted Model Counting With Function Symbols. 2017 UAI http://auai.org/uai2017/proceedings/papers/132.pdf conf/uai/2017 db/conf/uai/uai2017.html#Belle17

Vaishak Belle Hector J. Levesque A Logical Theory of Localization. 741-772 2016 104 Stud Logica 4 https://doi.org/10.1007/s11225-015-9625-0 db/journals/sLogica/sLogica104.html#BelleL16

Vaishak Belle Satisfiability and Model Counting in Open Universes. 2016 AAAI Workshop: Beyond NP https://aaai.org/papers/aaaiw-ws0190-16-12605/ conf/aaai/2016np db/conf/aaai/np2016.html#Belle16 Vaishak Belle Gerhard Lakemeyer Hector J. Levesque A First-Order Logic of Probability and Only Knowing in Unbounded Domains. 893-899 2016 AAAI https://doi.org/10.1609/aaai.v30i1.10108 conf/aaai/2016 db/conf/aaai/aaai2016.html#BelleLL16 Vaishak Belle Guy Van den Broeck Andrea Passerini Component Caching in Hybrid Domains with Piecewise Polynomial Densities. 3369-3375 2016 AAAI https://doi.org/10.1609/aaai.v30i1.10441 conf/aaai/2016 db/conf/aaai/aaai2016.html#BelleBP16 Vaishak Belle Guy Van den Broeck Andrea Passerini Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report. 4115-4119 2016 IJCAI http://www.ijcai.org/Abstract/16/613 conf/ijcai/2016 db/conf/ijcai/ijcai2016.html#BelleBP16 Vaishak Belle Hector J. Levesque Foundations for Generalized Planning in Unbounded Stochastic Domains. 380-389 2016 KR https://aaai.org/papers/39-12881-foundations-for-generalized-planning-in-unbounded-stochastic-domains/ conf/kr/2016 db/conf/kr/kr2016.html#BelleL16

Martin Mladenov Vaishak Belle Kristian Kersting The Symbolic Interior Point Method. 2016 abs/1605.08187 CoRR http://arxiv.org/abs/1605.08187 db/journals/corr/corr1605.html#MladenovBK16

Vaishak Belle Luc De Raedt Semiring Programming: A Framework for Search, Inference and Learning. 2016 abs/1609.06954 CoRR http://arxiv.org/abs/1609.06954 db/journals/corr/corr1609.html#BelleR16

Vaishak Belle Gerhard Lakemeyer Semantical considerations on multiagent only knowing. 1-26 2015 223 Artif. Intell. https://doi.org/10.1016/j.artint.2015.02.005 db/journals/ai/ai223.html#BelleL15

Vaishak Belle Hector J. Levesque Robot location estimation in the situation calculus. 397-413 2015 13 J. Appl. Log. 4 https://doi.org/10.1016/j.jal.2015.02.004 db/journals/japll/japll13.html#BelleL15

Christian J. Muise Vaishak Belle Paolo Felli Sheila A. McIlraith Tim Miller 0001 Adrian R. Pearce Liz Sonenberg Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. 3327-3334 2015 AAAI https://doi.org/10.1609/aaai.v29i1.9665 conf/aaai/2015 db/conf/aaai/aaai2015.html#MuiseBFMMPS15 Guillaume Aucher Vaishak Belle Multi-Agent Only Knowing on Planet Kripke. 2713-2719 2015 IJCAI http://ijcai.org/Abstract/15/384 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#AucherB15 Vaishak Belle Gerhard Lakemeyer Only Knowing Meets Common Knowledge. 2755-2761 2015 IJCAI http://ijcai.org/Abstract/15/390 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#BelleL15 Vaishak Belle Hector J. Levesque ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. 2762-2769 2015 IJCAI http://ijcai.org/Abstract/15/391 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#BelleL15a Vaishak Belle Andrea Passerini Guy Van den Broeck Probabilistic Inference in Hybrid Domains by Weighted Model Integration. 2770-2776 2015 IJCAI http://ijcai.org/Abstract/15/392 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#BellePB15 Davide Nitti 0001 Vaishak Belle Luc De Raedt Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming. 327-342 2015 ECML/PKDD (2) https://doi.org/10.1007/978-3-319-23525-7_20 conf/pkdd/2015-2 db/conf/pkdd/pkdd2015-2.html#NittiBR15 Vaishak Belle Guy Van den Broeck Andrea Passerini Hashing-Based Approximate Probabilistic Inference in Hybrid Domains. 141-150 2015 UAI conf/uai/2015 db/conf/uai/uai2015.html#BelleBP15 http://auai.org/uai2015/proceedings/papers/187.pdf

Vaishak Belle On the projection problem in active knowledge bases with incomplete information. 14-16 2014 1 AI Matters 2 https://doi.org/10.1145/2685328.2685332 db/journals/aimatters/aimatters1.html#Belle14

Vaishak Belle Gerhard Lakemeyer Multiagent Only Knowing in Dynamic Systems. 363-402 2014 49 J. Artif. Intell. Res. https://doi.org/10.1613/jair.4192 https://www.wikidata.org/entity/Q129489473 db/journals/jair/jair49.html#BelleL14

Vaishak Belle Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur. 32-35 2014 45 SIGACT News 2 https://doi.org/10.1145/2636805.2636815 db/journals/sigact/sigact45.html#Belle14

Vaishak Belle Hector J. Levesque PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. 989-995 2014 AAAI https://doi.org/10.1609/aaai.v28i1.8865 conf/aaai/2014 db/conf/aaai/aaai2014.html#BelleL14 Christian J. Muise Vaishak Belle Sheila A. McIlraith Computing Contingent Plans via Fully Observable Non-Deterministic Planning. 2322-2329 2014 AAAI https://doi.org/10.1609/aaai.v28i1.9049 conf/aaai/2014 db/conf/aaai/aaai2014.html#MuiseBM14 Vaishak Belle Hector J. Levesque A Logical Theory of Robot Localization. 2014 AAAI Spring Symposia http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7688 conf/aaaiss/2014 db/conf/aaaiss/aaaiss2014.html#BelleL14 Christian J. Muise Sheila A. McIlraith Vaishak Belle Non-Deterministic Planning With Conditional Effects. 2014 ICAPS http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7950 conf/aips/2014 db/conf/aips/icaps2014.html#MuiseMB14 Vaishak Belle Hector J. Levesque A logical theory of robot localization. 349-356 2014 AAMAS http://dl.acm.org/citation.cfm?id=2615789 conf/atal/2014 db/conf/atal/aamas2014.html#BelleL14 Vaishak Belle Hector J. Levesque How to Progress Beliefs in Continuous Domains. 2014 KR https://aaai.org/papers/0438-7998-how-to-progress-beliefs-in-continuous-domains/ conf/kr/2014 db/conf/kr/kr2014.html#BelleL14 Vaishak Belle Gerhard Lakemeyer On the Progression of Knowledge in Multiagent Systems. 2014 KR https://aaai.org/papers/0590-7996-on-the-progression-of-knowledge-in-multiagent-systems/ conf/kr/2014 db/conf/kr/kr2014.html#BelleL14a

Vaishak Belle Hector J. Levesque Robot Location Estimation in the Situation Calculus. 2014 abs/1402.7276 CoRR http://arxiv.org/abs/1402.7276 db/journals/corr/corr1402.html#BelleL14

Vaishak Belle Hector J. Levesque Reasoning about Continuous Uncertainty in the Situation Calculus. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6656 http://ijcai.org/Abstract/13/115 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#BelleL13 732-738 Vaishak Belle Hector J. Levesque Reasoning about Probabilities in Dynamic Systems using Goal Regression. 2013 UAI https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=2367&proceeding_id=29 conf/uai/2013 db/conf/uai/uai2013.html#BelleL13

Vaishak Belle Hector J. Levesque Reasoning about Probabilities in Dynamic Systems using Goal Regression. 2013 CoRR http://arxiv.org/abs/1309.6816 abs/1309.6816 db/journals/corr/corr1309.html#BelleL13

Vaishak Belle On the projection problem in active knowledge bases with incomplete information. 2012 1-200 RWTH Aachen University http://darwin.bth.rwth-aachen.de/opus3/volltexte/2012/4196 https://nbn-resolving.org/urn:nbn:de:hbz:82-opus-41963 https://d-nb.info/1024800253 https://d-nb.info/102745674X

Vaishak Belle Review of from zero to infinity: what makes numbers interesting by Constance Reid. 10-11 2011 42 SIGACT News 2 https://doi.org/10.1145/1998037.1998040 db/journals/sigact/sigact42.html#Belle11

Vaishak Belle Gerhard Lakemeyer A Semantical Account of Progression in the Presence of Uncertainty. 2011 AAAI https://doi.org/10.1609/aaai.v25i1.7858 conf/aaai/2011 db/conf/aaai/aaai2011.html#BelleL11 165-170 Vaishak Belle Gerhard Lakemeyer On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. 744-749 2011 IJCAI https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-131 conf/ijcai/2011 db/conf/ijcai/ijcai2011.html#BelleL11 Vaishak Belle Gerhard Lakemeyer Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. 2010 AAAI https://doi.org/10.1609/aaai.v24i1.7596 conf/aaai/2010 db/conf/aaai/aaai2010.html#BelleL10 255-260 Vaishak Belle Multi-Agent Only-Knowing Revisited. 16 2010 AlgoSyn conf/dagstuhl/2010algosyn db/conf/dagstuhl/algosyn2010.html#Belle10 Vaishak Belle Gerhard Lakemeyer Multi-Agent Only-Knowing Revisited. 2010 KR https://aaai.org/papers/12-1361-multi-agent-only-knowing-revisited/ conf/kr/2010 db/conf/kr/kr2010.html#BelleL10

Vaishak Belle Gerhard Lakemeyer Multi-Agent Only-Knowing Revisited http://arxiv.org/abs/1009.2041 2010 CoRR abs/1009.2041 db/journals/corr/corr1009.html#abs-1009-2041

Vaishak Belle Thomas Deselaers Stefan Schiffer 0002 Randomized trees for real-time one-step face detection and recognition. 1-4 2008 ICPR https://doi.org/10.1109/ICPR.2008.4761365 https://doi.ieeecomputersociety.org/10.1109/ICPR.2008.4761365 conf/icpr/2008 db/conf/icpr/icpr2008.html#BelleDS08 Stuart Anderson Guillaume Aucher Ruth Aylett Pablo Barceló Antonio Valerio Miceli Barone Sándor Bartha Sander Beckers Michael Benedikt Thomas Bolander Paul Brennan Guy Van den Broeck Frank Broz Andreas C. Bueff Sandrine Chausson James Cheney Hana Chockler Jessica Ciupa Jesse Davis Thomas Deselaers Alec F. Diallo Paulius Dilkas Dana Drachsler-Cohen Anton Dries Xin Du 0006 Jonathan Feldstein Paolo Felli Qihui Feng Michael Fisher 0001 Anton R. FuxjägerAnton Fuxjaeger Kobi Gal Enrique Bojorquez Gallardo Bhargavi Ganesh Sonny George Lewis Hammond Fengxiang He Drew Hemment Andreas Herzig Jane Hillston Nicholas HoernleNick Hoernle Till Hofmann Qinfei Huang Brendan Juba Rafael-Michael Karampatsis Kristian Kersting Rose Azad Khan Angelika Kimmig Nadin Kökciyan Samuel Kolb Ekaterina Komendantskaya Tinne De Laet Gerhard Lakemeyer Bénédicte Legastelois Hector J. Levesque Amélie Levray Xue Li 0018 Yixuan Li 0003 Daxin Liu 0002 Miguel Ángel Méndez Lucero Ewa Luger Gary Marcus 0001 Sheila A. McIlraith Tim Miller 0001 Martin Mladenov Ionela G. MocanuIonela Georgiana Mocanu Sanderson Molick Christian J. MuiseChristian Muise David Murray-RustDave Murray-Rust Bernhard Nebel Daniel Neider Davide Nitti 0001 Alistair Nottle Kwabena Nuamah Jeff Z. Pan Daga Panas Dagmara Panas Ioannis Papantonis Amit Parag Andrea Passerini Paul Patras Ali Payani Adrian R. Pearce Ronald P. A. PetrickRon P. A. Petrick Sergei Petrov Elizabeth Polgreen Alexander Philipp Rader Luc De Raedt Amy Rafferty Ajitha Rajan Subramanian Ramamoorthy Björn Ross Michael Rovatsos Alessandra Russo Ameer Saadat-Yazdi Scott Sanner Stefan Schiffer 0002 Sohan Seth Auste Simkute Gary Smith Liz Sonenberg Stefanie Speichert Chris Sypherd Weizhi Tang Laszlo Treszkai Efthymia Tsamoura Nijesh Upreti Shannon Vallor Michael Varley Kush R. Varshney Joost Vennekens Matjaz Vidmar Cheng Wang Zhenxu Yang Hang Yu Tom Yuviler Maifang Zhang Qian Zuo