Login / Signup
Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures.
Michal Pilipczuk
Nicole Schirrmacher
Sebastian Siebertz
Szymon Torunczyk
Alexandre Vigny
Published in:
ICALP (2022)
Keyphrases
</>
first order logic
algorithms and data structures
expressive power
data structures and algorithms
data structure
spatial databases
theorem proving
markov networks
probabilistic graphical models
transitive closure
range searching
knowledge representation
search tools
markov logic networks
data mining
knowledge base