4 citations · 11 across the 14 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LG2026
Integrating LTL Constraints into PPO for Safe Reinforcement Learning
Maifang Zhang, Hang Yu, Qian Zuo +3
This paper proposes Proximal Policy Optimization with Linear Temporal Logic Constraints (PPO-LTL), a framework that integrates safety constraints written in LTL into PPO for safe r…
cs.AI2026
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…
cs.LG2026
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…