4 papers
Logic Tensor Network-Enhanced Generative Adversarial Network
Nijesh Upreti, Vaishak Belle
In this paper, we introduce Logic Tensor Network-Enhanced Generative Adversarial Network (LTN-GAN), a novel framework that enhances Generative Adversarial Networks (GANs) by incorp…
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…
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…