Vaishak Belle - RankMe

192 papers A* 31A 20B 7C 2Misc 1Journal 99Unranked 29

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs. CoRR Saimun Habib, Vaishak Belle, Fengxiang He
2026	J	`jnl`	Integrating LTL Constraints into PPO for Safe Reinforcement Learning. CoRR Maifang Zhang, Hang Yu, Qian Zuo, Cheng Wang, Vaishak Belle, Fengxiang He
2026	A*	`conf`	The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going? AAAI Vaishak Belle, Gary Marcus
2025	C	`conf`	A Neurosymbolic Approach to Counterfactual Fairness. NeSy Xenia Heilmann, Chiara Manganini, Mattia Cerrato, Vaishak Belle
2025	—	`conf`	A Uniform Language for Safety, Robustness and Explainability. JELIA (1) Vaishak Belle, Pablo Barceló
2025	J	`jnl`	A propositional encoding for first-order clausal entailment over infinitely many constants. J. Symb. Comput. Vaishak Belle
2025	—	`conf`	Abnormal Predicates: Learning Categorical Defaults from Probabilistic Rules. ICAART (3) Rose Azad Khan, Vaishak Belle
2025	J	`jnl`	An Algebraic Framework for Hierarchical Probabilistic Abstraction. CoRR Nijesh Upreti, Vaishak Belle
2025	C	`conf`	Exploring Verification Frameworks for Social Choice Alignment. NeSy Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya
2025	—	`conf`	HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. ACL (Findings) Weizhi Tang, Yixuan Li, Chris Sypherd, Elizabeth Polgreen, Vaishak Belle
2025	J	`jnl`	HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. CoRR Weizhi Tang, Yixuan Li, Chris Sypherd, Elizabeth Polgreen, Vaishak Belle
2025	J	`jnl`	Incorporating Token Usage into Prompting Strategy Evaluation. CoRR Chris Sypherd, Sergei Petrov, Sonny George, Vaishak Belle
2025	B	`conf`	Logic Tensor Network-Enhanced Generative Adversarial Network. ICLP Nijesh Upreti, Vaishak Belle
2025	J	`jnl`	Logic and Neural Networks (Dagstuhl Seminar 25061). Dagstuhl Reports Vaishak Belle, Michael Benedikt, Dana Drachsler-Cohen, Daniel Neider, Tom Yuviler
2025	J	`jnl`	Lyria: A General LLM-Driven Genetic Algorithm Framework for Problem Solving. CoRR Weizhi Tang, Kwabena Nuamah, Vaishak Belle
2025	J	`jnl`	Neuro-symbolic Weak Supervision: Theory and Semantics. CoRR Nijesh Upreti, Vaishak Belle
2025	J	`jnl`	Program Semantic Inequivalence Game with Large Language Models. CoRR Antonio Valerio Miceli Barone, Vaishak Belle, Ali Payani
2025	B	`conf`	Propositional Abduction via Only-Knowing: A Non-Monotonic Approach. ICLP Sanderson Molick, Vaishak Belle
2025	J	`jnl`	Satisfiability Modulo Theory Meets Inductive Logic Programming. CoRR Nijesh Upreti, Vaishak Belle
2025	—	`conf`	Semantic Objective Functions: A Distribution-Aware Method for Adding Logical Constraints in Deep Learning. ICAART (3) Miguel Ángel Méndez Lucero, Enrique Bojorquez Gallardo, Vaishak Belle
2025	—	`conf`	Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems. ICAART (1) Nijesh Upreti, Jessica Ciupa, Vaishak Belle
2025	J	`jnl`	Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems. CoRR Nijesh Upreti, Jessica Ciupa, Vaishak Belle
2025	—	`conf`	Tractable Generative Modelling of Cosmological Numerical Simulations. ICAART (3) Amit Parag, Vaishak Belle
2025	J	`jnl`	Unreasonable effectiveness of LLM reasoning: a doubly cautionary tale of temporal question-answering. Trans. Mach. Learn. Res. Dagmara Panas, Ali Payani, Vaishak Belle
2025	A	`conf`	What Is a Counterfactual Cause in Action Theories? AAMAS Daxin Liu, Vaishak Belle
2025	J	`jnl`	What Is a Counterfactual Cause in Action Theories? CoRR Daxin Liu, Vaishak Belle
2025	J	`jnl`	Why not both? Complementing explanations with uncertainty, and self-confidence in human-AI collaboration. Frontiers Comput. Sci. Ioannis Papantonis, Vaishak Belle
2024	—	`conf`	An Algebraic Framework for Hierarchical Probabilistic Abstraction. IJCLR Nijesh Upreti, Vaishak Belle
2024	—	`conf`	Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical Relationships. NeSy (2) Dagmara Panas, Sohan Seth, Vaishak Belle
2024	J	`jnl`	Can Large Language Models put 2 and 2 together? Probing for Entailed Arithmetical Relationships. CoRR Dagmara Panas, Sohan Seth, Vaishak Belle
2024	B	`conf`	Counterfactual Explanations as Plans. ICLP Vaishak Belle
2024	—	`conf`	Ethical Reward Machine. NeSy (1) Jessica Ciupa, Vaishak Belle
2024	J	`jnl`	LTLBench: Towards Benchmarks for Evaluating Temporal Logic Reasoning in Large Language Models. CoRR Weizhi Tang, Vaishak Belle
2024	—	`conf`	Language-Agnostic Semantics for Implicit Learning as Reasoning: Extended Abstract. IJCLR Vaishak Belle
2024	J	`jnl`	Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach. Mach. Learn. Andreas C. Bueff, Vaishak Belle
2024	J	`jnl`	Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning. CoRR Jonathan Feldstein, Paulius Dilkas, Vaishak Belle, Efthymia Tsamoura
2024	—	`conf`	MisCC: Misinformation Detection on Counterfactual Claims. IJCLR Xue Li, Vaishak Belle, Björn Ross
2024	J	`jnl`	Neural Networks Decoded: Targeted and Robust Analysis of Neural Network Decisions via Causal Explanations and Reasoning. CoRR Alec F. Diallo, Vaishak Belle, Paul Patras
2024	J	`jnl`	Practical Considerations for Agentic LLM Systems. CoRR Chris Sypherd, Vaishak Belle
2024	J	`jnl`	Principled diverse counterfactuals in multilinear models. Mach. Learn. Ioannis Papantonis, Vaishak Belle
2024	A	`conf`	Progression with Probabilities in the Situation Calculus: Representation and Succinctness. AAMAS Daxin Liu, Vaishak Belle
2024	—	`conf`	Reasoning About Neural Network Perception in the Situation Calculus. IJCLR Vaishak Belle, Daxin Liu
2024	J	`jnl`	Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning. CoRR Miguel Ángel Méndez Lucero, Enrique Bojorquez Gallardo, Vaishak Belle
2024	—	`conf`	ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. NeSy (2) Weizhi Tang, Vaishak Belle
2024	J	`jnl`	ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. CoRR Weizhi Tang, Vaishak Belle
2024	J	`jnl`	Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121). Dagstuhl Reports Vaishak Belle, Hana Chockler, Shannon Vallor, Kush R. Varshney, Joost Vennekens, Sander Beckers
2024	J	`jnl`	Zero, Finite, and Infinite Belief History of Theory of Mind Reasoning in Large Language Models. CoRR Weizhi Tang, Vaishak Belle
2023	A	`conf`	A Logic of Only-Believing over Arbitrary Probability Distributions. AAMAS Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer
2023	A	`conf`	A Web-based Tool for Detecting Argument Validity and Novelty. AAMAS Sandrine Chausson, Ameer Saadat-Yazdi, Xue Li, Jeff Z. Pan, Vaishak Belle, Nadin Kökciyan, Björn Ross
2023	A	`conf`	Abstracting Noisy Robot Programs. AAMAS Till Hofmann, Vaishak Belle
2023	A	`conf`	Actions, Continuous Distributions and Meta-Beliefs. AAMAS Vaishak Belle
2023	J	`jnl`	Agency and legibility for artists through Experiential AI. CoRR Drew Hemment, Matjaz Vidmar, Daga Panas, Dave Murray-Rust, Vaishak Belle, Ruth Aylett
2023	—	`ch.`	Boolean Connectives and Deep Learning: Three Interpretations. Compendium of Neurosymbolic Artificial Intelligence Miguel Ángel Méndez Lucero, Vaishak Belle
2023	—	`conf`	Challenges in Explaining Brain Tumor Detection. TAS Bénédicte Legastelois, Amy Rafferty, Paul Brennan, Hana Chockler, Ajitha Rajan, Vaishak Belle
2023	A*	`conf`	Concerning Measures in a First-order Logic with Actions and Meta-beliefs. KR Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer
2023	B	`conf`	Deep Inductive Logic Programming meets Reinforcement Learning. ICLP Andreas C. Bueff, Vaishak Belle
2023	J	`jnl`	Epistemic planning: Perspectives on the special issue. Artif. Intell. Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel
2023	B	`conf`	Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. JELIA Vaishak Belle
2023	J	`jnl`	Experiential AI: A transdisciplinary framework for legibility and agency in AI. CoRR Drew Hemment, Dave Murray-Rust, Vaishak Belle, Ruth Aylett, Matjaz Vidmar, Frank Broz
2023	J	`jnl`	Knowledge representation and acquisition for ethical AI: challenges and opportunities. Ethics Inf. Technol. Vaishak Belle
2023	J	`jnl`	Knowledge representation and acquisition in the era of large language models: Reflections on learning to reason via PAC-Semantics. Nat. Lang. Process. J. Ionela G. Mocanu, Vaishak Belle
2023	A	`conf`	Learnability with PAC Semantics for Multi-agent Beliefs. AAMAS Ionela G. Mocanu, Vaishak Belle, Brendan Juba
2023	J	`jnl`	Learnability with PAC Semantics for Multi-agent Beliefs. CoRR Ionela G. Mocanu, Vaishak Belle, Brendan Juba
2023	J	`jnl`	Learnability with PAC Semantics for Multi-agent Beliefs. Theory Pract. Log. Program. Ionela G. Mocanu, Vaishak Belle, Brendan Juba
2023	—	`conf`	Logic + Reinforcement Learning + Deep Learning: A Survey. ICAART (3) Andreas C. Bueff, Vaishak Belle
2023	—	`conf`	Model Transparency: Why Do We Care? ICAART (3) Ioannis Papantonis, Vaishak Belle
2023	—	`conf`	Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges. AAMAS Workshops Vaishak Belle, Michael Fisher, Alessandra Russo, Ekaterina Komendantskaya, Alistair Nottle
2023	J	`jnl`	Statistical relational learning and neuro-symbolic AI: what does first-order logic offer? CoRR Vaishak Belle
2023	A*	`conf`	Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. KR Paulius Dilkas, Vaishak Belle
2023	J	`jnl`	Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. CoRR Paulius Dilkas, Vaishak Belle
2023	J	`jnl`	Toward A Logical Theory Of Fairness and Bias. CoRR Vaishak Belle
2023	J	`jnl`	Toward A Logical Theory Of Fairness and Bias. Theory Pract. Log. Program. Vaishak Belle
2023	A	`conf`	Transparency in Sum-Product Network Decompilation. ECAI Ioannis Papantonis, Vaishak Belle
2023	A	`conf`	Verifying Belief-Based Programs via Symbolic Dynamic Programming. ECAI Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer
2023	J	`jnl`	Why not both? Complementing explanations with uncertainty, and the role of self-confidence in Human-AI collaboration. CoRR Ioannis Papantonis, Vaishak Belle
2022	J	`jnl`	Abstracting Noisy Robot Programs. CoRR Till Hofmann, Vaishak Belle
2022	J	`jnl`	Analyzing generalized planning under nondeterminism. Artif. Intell. Vaishak Belle
2022	J	`jnl`	Breaking CAPTCHA with Capsule Networks. Neural Networks Ionela Georgiana Mocanu, Zhenxu Yang, Vaishak Belle
2022	J	`jnl`	Efficient multi-agent epistemic planning: Teaching planners about nested belief. Artif. Intell. Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2022	J	`jnl`	Explainability in Machine Learning: a Pedagogical Perspective. CoRR Andreas C. Bueff, Ioannis Papantonis, Auste Simkute, Vaishak Belle
2022	J	`jnl`	Intention Recognition With ProbLog. Frontiers Artif. Intell. Gary Smith, Vaishak Belle, Ronald P. A. Petrick
2022	—	`conf`	KEViN: A Knowledge Enhanced Validity and Novelty Classifier for Arguments. ArgMining@COLING Ameer Saadat-Yazdi, Xue Li, Sandrine Chausson, Vaishak Belle, Björn Ross, Jeff Z. Pan, Nadin Kökciyan
2022	A*	`conf`	MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. AAAI Nick Hoernle, Rafael-Michael Karampatsis, Vaishak Belle, Kobi Gal
2022	J	`jnl`	Principled Diverse Counterfactuals in Multilinear Models. CoRR Ioannis Papantonis, Vaishak Belle
2022	J	`jnl`	Signal Perceptron: On the Identifiability of Boolean Function Spaces and Beyond. Frontiers Artif. Intell. Miguel Ángel Méndez Lucero, Rafael-Michael Karampatsis, Enrique Bojorquez Gallardo, Vaishak Belle
2022	Misc	`conf`	Tractable Probabilistic Models for Ethical AI. ICCS Vaishak Belle
2022	J	`jnl`	Using Abstraction for Interpretable Robot Programs in Stochastic Domains. CoRR Till Hofmann, Vaishak Belle
2022	J	`jnl`	Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities. CoRR Xin Du, Bénédicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy
2021	J	`jnl`	Closed-Form Results for Prior Constraints in Sum-Product Networks. Frontiers Artif. Intell. Ioannis Papantonis, Vaishak Belle
2021	J	`jnl`	Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. CoRR Christian Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2021	J	`jnl`	Fairness in machine learning with tractable models. Knowl. Based Syst. Michael Varley, Vaishak Belle
2021	—	`conf`	Intent Recognition in Smart Homes with ProbLog. PerCom Workshops Gary Smith, Ron P. A. Petrick, Vaishak Belle
2021	A*	`conf`	Learning Implicitly with Noisy Data in Linear Arithmetic. IJCAI Alexander Philipp Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba
2021	J	`jnl`	Learning tractable probabilistic models for moral responsibility and blame. Data Min. Knowl. Discov. Lewis Hammond, Vaishak Belle
2021	A	`conf`	Lifted reasoning meets weighted model integration. UAI Jonathan Feldstein, Vaishak Belle
2021	—	`ch.`	Logic Meets Learning: From Aristotle to Neural Networks. Neuro-Symbolic Artificial Intelligence Vaishak Belle
2021	J	`jnl`	MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. CoRR Nicholas Hoernle, Rafael-Michael Karampatsis, Vaishak Belle, Kobi Gal
2021	J	`jnl`	One Down, 699 to Go: or, synthesising compositional desugarings. CoRR Sándor Bartha, James Cheney, Vaishak Belle
2021	J	`jnl`	One down, 699 to go: or, synthesising compositional desugarings. Proc. ACM Program. Lang. Sándor Bartha, James Cheney, Vaishak Belle
2021	J	`jnl`	Principles and Practice of Explainable Machine Learning. Frontiers Big Data Vaishak Belle, Ioannis Papantonis
2021	J	`jnl`	Probabilistic Tractable Models in Mixed Discrete-Continuous Domains. Data Intell. Andreas C. Bueff, Stefanie Speichert, Vaishak Belle
2021	A	`conf`	Weighted Model Counting Without Parameter Variables. SAT Paulius Dilkas, Vaishak Belle
2021	A	`conf`	Weighted model counting with conditional weights for Bayesian networks. UAI Paulius Dilkas, Vaishak Belle
2020	J	`jnl`	A correctness result for synthesizing plans with loops in stochastic domains. Int. J. Approx. Reason. Laszlo Treszkai, Vaishak Belle
2020	J	`jnl`	Abstracting probabilistic models: Relations, constraints and beyond. Knowl. Based Syst. Vaishak Belle
2020	A	`conf`	Generating Random Logic Programs Using Constraint Programming. CP Paulius Dilkas, Vaishak Belle
2020	J	`jnl`	Generating Random Logic Programs Using Constraint Programming. CoRR Paulius Dilkas, Vaishak Belle
2020	J	`jnl`	Interventions and Counterfactuals in Tractable Probabilistic Models: Limitations of Contemporary Transformations. CoRR Ioannis Papantonis, Vaishak Belle
2020	—	`conf`	Learning Credal Sum-Product Networks. AKBC Amélie Levray, Vaishak Belle
2020	J	`jnl`	Learning Implicitly with Noisy Data in Linear Arithmetic. CoRR Alexander Philipp Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba
2020	—	`conf`	Logic, Probability and Action: A Situation Calculus Perspective. SUM Vaishak Belle
2020	J	`jnl`	Logic, Probability and Action: A Situation Calculus Perspective. CoRR Vaishak Belle
2020	A	`conf`	Logical Interpretations of Autoencoders. ECAI Anton Fuxjaeger, Vaishak Belle
2020	J	`jnl`	On Constraint Definability in Tractable Probabilistic Models. CoRR Ioannis Papantonis, Vaishak Belle
2020	A	`conf`	Polynomial-Time Implicit Learnability in SMT. ECAI Ionela G. Mocanu, Vaishak Belle, Brendan Juba
2020	J	`jnl`	Principles and Practice of Explainable Machine Learning. CoRR Vaishak Belle, Ioannis Papantonis
2020	J	`jnl`	Regression and progression in stochastic domains. Artif. Intell. Vaishak Belle, Hector J. Levesque
2020	J	`jnl`	SMT + ILP. CoRR Vaishak Belle
2020	—	`conf`	Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation. ICAART (2) Anton Fuxjaeger, Vaishak Belle
2020	J	`jnl`	Semiring programming: A semantic framework for generalized sum product problems. Int. J. Approx. Reason. Vaishak Belle, Luc De Raedt
2020	—	`conf`	Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains. SUM Vaishak Belle
2020	J	`jnl`	Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains. CoRR Vaishak Belle
2019	J	`jnl`	A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains. CoRR Laszlo Treszkai, Vaishak Belle
2019	J	`jnl`	Experiential AI. AI Matters Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz
2019	J	`jnl`	Experiential AI. CoRR Drew Hemment, Ruth Aylett, Vaishak Belle, Dave Murray-Rust, Ewa Luger, Jane Hillston, Michael Rovatsos, Frank Broz
2019	J	`jnl`	Fairness in Machine Learning with Tractable Models. CoRR Michael Varley, Vaishak Belle
2019	J	`jnl`	Implicitly Learning to Reason in First-Order Logic. CoRR Vaishak Belle, Brendan Juba
2019	A*	`conf`	Implicitly learning to reason in first-order logic. NeurIPS Vaishak Belle, Brendan Juba
2019	B	`conf`	Learning Probabilistic Logic Programs over Continuous Data. ILP Stefanie Speichert, Vaishak Belle
2019	J	`jnl`	Learning Tractable Probabilistic Models in Open Worlds. CoRR Amélie Levray, Vaishak Belle
2019	J	`jnl`	Logical Interpretations of Autoencoders. CoRR Anton Fuxjaeger, Vaishak Belle
2019	J	`jnl`	The Quest for Interpretable and Responsible Artificial Intelligence. CoRR Vaishak Belle
2018	J	`jnl`	Abstracting Probabilistic Relational Models. CoRR Vaishak Belle
2018	J	`jnl`	Deep Tractable Probabilistic Models for Moral Responsibility. CoRR Lewis Hammond, Vaishak Belle
2018	A*	`conf`	Efficient Symbolic Integration for Probabilistic Inference. IJCAI Samuel Kolb, Martin Mladenov, Scott Sanner, Vaishak Belle, Kristian Kersting
2018	J	`jnl`	Learning Probabilistic Logic Programs in Continuous Domains. CoRR Stefanie Speichert, Vaishak Belle
2018	A	`conf`	On Plans With Loops and Noise. AAMAS Vaishak Belle
2018	J	`jnl`	On Plans With Loops and Noise. CoRR Vaishak Belle
2018	—	`conf`	Probabilistic Planning by Probabilistic Programming. AAAI Workshops Vaishak Belle
2018	J	`jnl`	Probabilistic Planning by Probabilistic Programming. CoRR Vaishak Belle
2018	J	`jnl`	Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems. CoRR Vaishak Belle, Hector J. Levesque
2018	J	`jnl`	Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. Artif. Intell. Vaishak Belle, Hector J. Levesque
2018	J	`jnl`	Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation. CoRR Anton Fuxjaeger, Vaishak Belle
2018	J	`jnl`	Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks. CoRR Andreas C. Bueff, Stefanie Speichert, Vaishak Belle
2017	A*	`conf`	Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds. IJCAI Vaishak Belle
2017	A*	`conf`	Open-Universe Weighted Model Counting. AAAI Vaishak Belle
2017	—	`conf`	Open-Universe Weighted Model Counting: Extended Abstract. AAAI Workshops Vaishak Belle
2017	J	`jnl`	Planning in hybrid relational MDPs. Mach. Learn. Davide Nitti, Vaishak Belle, Tinne De Laet, Luc De Raedt
2017	A*	`conf`	Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. IJCAI Vaishak Belle, Gerhard Lakemeyer
2017	A*	`conf`	Solving Probability Problems in Natural Language. IJCAI Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt
2017	A*	`conf`	The Symbolic Interior Point Method. AAAI Martin Mladenov, Vaishak Belle, Kristian Kersting
2017	A	`conf`	Weighted Model Counting With Function Symbols. UAI Vaishak Belle
2016	A*	`conf`	A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque
2016	J	`jnl`	A Logical Theory of Localization. Stud Logica Vaishak Belle, Hector J. Levesque
2016	A*	`conf`	Component Caching in Hybrid Domains with Piecewise Polynomial Densities. AAAI Vaishak Belle, Guy Van den Broeck, Andrea Passerini
2016	A*	`conf`	Foundations for Generalized Planning in Unbounded Stochastic Domains. KR Vaishak Belle, Hector J. Levesque
2016	A*	`conf`	Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report. IJCAI Vaishak Belle, Guy Van den Broeck, Andrea Passerini
2016	—	`conf`	Satisfiability and Model Counting in Open Universes. AAAI Workshop: Beyond NP Vaishak Belle
2016	J	`jnl`	Semiring Programming: A Framework for Search, Inference and Learning. CoRR Vaishak Belle, Luc De Raedt
2016	J	`jnl`	The Symbolic Interior Point Method. CoRR Martin Mladenov, Vaishak Belle, Kristian Kersting
2015	A*	`conf`	ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. IJCAI Vaishak Belle, Hector J. Levesque
2015	A	`conf`	Hashing-Based Approximate Probabilistic Inference in Hybrid Domains. UAI Vaishak Belle, Guy Van den Broeck, Andrea Passerini
2015	A*	`conf`	Multi-Agent Only Knowing on Planet Kripke. IJCAI Guillaume Aucher, Vaishak Belle
2015	A*	`conf`	Only Knowing Meets Common Knowledge. IJCAI Vaishak Belle, Gerhard Lakemeyer
2015	A*	`conf`	Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. AAAI Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg
2015	—	`conf`	Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming. ECML/PKDD (2) Davide Nitti, Vaishak Belle, Luc De Raedt
2015	A*	`conf`	Probabilistic Inference in Hybrid Domains by Weighted Model Integration. IJCAI Vaishak Belle, Andrea Passerini, Guy Van den Broeck
2015	J	`jnl`	Robot location estimation in the situation calculus. J. Appl. Log. Vaishak Belle, Hector J. Levesque
2015	J	`jnl`	Semantical considerations on multiagent only knowing. Artif. Intell. Vaishak Belle, Gerhard Lakemeyer
2014	—	`conf`	A Logical Theory of Robot Localization. AAAI Spring Symposia Vaishak Belle, Hector J. Levesque
2014	A	`conf`	A logical theory of robot localization. AAMAS Vaishak Belle, Hector J. Levesque
2014	A*	`conf`	Computing Contingent Plans via Fully Observable Non-Deterministic Planning. AAAI Christian J. Muise, Vaishak Belle, Sheila A. McIlraith
2014	A*	`conf`	How to Progress Beliefs in Continuous Domains. KR Vaishak Belle, Hector J. Levesque
2014	J	`jnl`	Multiagent Only Knowing in Dynamic Systems. J. Artif. Intell. Res. Vaishak Belle, Gerhard Lakemeyer
2014	A*	`conf`	Non-Deterministic Planning With Conditional Effects. ICAPS Christian J. Muise, Sheila A. McIlraith, Vaishak Belle
2014	A*	`conf`	On the Progression of Knowledge in Multiagent Systems. KR Vaishak Belle, Gerhard Lakemeyer
2014	J	`jnl`	On the projection problem in active knowledge bases with incomplete information. AI Matters Vaishak Belle
2014	A*	`conf`	PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. AAAI Vaishak Belle, Hector J. Levesque
2014	J	`jnl`	Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur. SIGACT News Vaishak Belle
2014	J	`jnl`	Robot Location Estimation in the Situation Calculus. CoRR Vaishak Belle, Hector J. Levesque
2013	A*	`conf`	Reasoning about Continuous Uncertainty in the Situation Calculus. IJCAI Vaishak Belle, Hector J. Levesque
2013	A	`conf`	Reasoning about Probabilities in Dynamic Systems using Goal Regression. UAI Vaishak Belle, Hector J. Levesque
2013	J	`jnl`	Reasoning about Probabilities in Dynamic Systems using Goal Regression. CoRR Vaishak Belle, Hector J. Levesque
2012	—	`—`	On the projection problem in active knowledge bases with incomplete information. Vaishak Belle
2011	A*	`conf`	A Semantical Account of Progression in the Presence of Uncertainty. AAAI Vaishak Belle, Gerhard Lakemeyer
2011	A*	`conf`	On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. IJCAI Vaishak Belle, Gerhard Lakemeyer
2011	J	`jnl`	Review of from zero to infinity: what makes numbers interesting by Constance Reid. SIGACT News Vaishak Belle
2010	J	`jnl`	Multi-Agent Only-Knowing Revisited CoRR Vaishak Belle, Gerhard Lakemeyer
2010	—	`conf`	Multi-Agent Only-Knowing Revisited. AlgoSyn Vaishak Belle
2010	A*	`conf`	Multi-Agent Only-Knowing Revisited. KR Vaishak Belle, Gerhard Lakemeyer
2010	A*	`conf`	Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. AAAI Vaishak Belle, Gerhard Lakemeyer
2008	B	`conf`	Randomized trees for real-time one-step face detection and recognition. ICPR Vaishak Belle, Thomas Deselaers, Stefan Schiffer