Proving Semantic Properties as First-Order Satisfiability (Extended Abstract).

Published in: IJCAI (2020)

Keyphrases

extended abstract
semantic properties
computational properties
propositional theories
expressive power
semantic knowledge
first order logic
logic programs
satisfiability problem
propositional logic
description logics
language model
bayesian network classifiers