4 citations · 27 across the 35 of their papers we have counts for
4 papers · 2 filters
Logical Interpretations of Autoencoders
Anton Fuxjaeger, Vaishak Belle
The unification of low-level perception and high-level reasoning is a long-standing problem in artificial intelligence, which has the potential to not only bring the areas of logic…
The Quest for Interpretable and Responsible Artificial Intelligence
Vaishak Belle
Artificial Intelligence (AI) provides many opportunities to improve private and public life. Discovering patterns and structures in large troves of data in an automated manner is a…
Implicitly Learning to Reason in First-Order Logic
Vaishak Belle, Brendan Juba
We consider the problem of answering queries about formulas of first-order logic based on background knowledge partially represented explicitly as other formulas, and partially rep…
A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains
Laszlo Treszkai, Vaishak Belle
Finite-state controllers (FSCs), such as plans with loops, are powerful and compact representations of action selection widely used in robotics, video games and logistics. There ha…