C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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