2 papers
cs.AI2019
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…
cs.AI2018
Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation
Anton Fuxjaeger, Vaishak Belle
Weighted model integration (WMI) extends weighted model counting (WMC) in providing a computational abstraction for probabilistic inference in mixed discrete-continuous domains. WM…