Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets.

Shirly Stephen Torsten Hahmann

Published in: AAAI (2019)

Keyphrases

first order logic
probabilistic model
knowledge representation
expressive power
database
artificial intelligence
parameter estimation
representation language
search algorithm
probability distribution
answer set programming
transitive closure
logical formulas