Skip to main contentNeuro-Symbolic AI

Logic Embeddings

Description

A new approach to embedding complex queries that uses Skolemisation to eliminate existential variables for efficient querying.

Main Contributors

Francois Luus