4 citations · 11 across the 14 of their papers we have counts for
9 papers · 1 filter
Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
Sanderson Molick, Vaishak Belle
The paper introduces a basic logic of knowledge and abduction by extending Levesque logic of only-knowing with an abduction modal operator defined via the combination of basic epis…
Satisfiability Modulo Theory Meets Inductive Logic Programming
Nijesh Upreti, Vaishak Belle
Inductive Logic Programming (ILP) provides interpretable rule learning in relational domains, yet remains limited in its ability to induce and reason with numerical constraints. Cl…
Lyria: A Genetic Algorithm-Driven Neuro-Symbolic Reasoning Framework for LLMs
Weizhi Tang, Kwabena Nuamah, Vaishak Belle
While LLMs have demonstrated impressive abilities across various domains, they struggle with two major issues. The first is that LLMs trap themselves into local optima and the seco…
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
Weizhi Tang, Yixuan Li, Chris Sypherd +2
Grammar plays a critical role in natural language processing and text/code generation by enabling the definition of syntax, the creation of parsers, and guiding structured outputs.…
Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems
Nijesh Upreti, Jessica Ciupa, Vaishak Belle
A computational ethics framework is essential for AI and autonomous systems operating in complex, real-world environments. Existing approaches often lack the adaptability needed to…
An Algebraic Framework for Hierarchical Probabilistic Abstraction
Nijesh Upreti, Vaishak Belle
Abstraction is essential for reducing the complexity of systems across diverse fields, yet designing effective abstraction methodology for probabilistic models is inherently challe…
Counterfactual Explanations as Plans
Vaishak Belle
There has been considerable recent interest in explainability in AI, especially with black-box machine learning models. As correctly observed by the planning community, when the ap…
Practical Considerations for Agentic LLM Systems
Chris Sypherd, Vaishak Belle
As the strength of Large Language Models (LLMs) has grown over recent years, so too has interest in their use as the underlying models for autonomous agents. Although LLMs demonstr…
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning
Jonathan Feldstein, Paulius Dilkas, Vaishak Belle +1
Integrating symbolic techniques with statistical ones is a long-standing problem in artificial intelligence. The motivation is that the strengths of either area match the weaknesse…