Locality Properties of Extensions of First-Order Logic and their Use in Algorithms (Abstract of Invited Talk).

Nicole Schweikardt

Published in: Description Logics (2021)

Keyphrases

first order logic
invited talk
expressive power
theorem proving
propositional logic
transitive closure
knowledge representation
markov networks
probabilistic graphical models
inference rules
representation language
computational complexity
selected papers