Algorithms and data structures for first-order logic with connectivity under vertex failures.
Michal PilipczukNicole SchirrmacherSebastian SiebertzSzymon TorunczykAlexandre VignyPublished in: CoRR (2021)
Keyphrases
- first order logic
- algorithms and data structures
- expressive power
- data structures and algorithms
- data structure
- theorem proving
- spatial databases
- search tools
- probabilistic graphical models
- markov networks
- transitive closure
- knowledge representation
- markov logic networks
- directed graph
- range searching
- data mining tasks
- machine learning