What's Decidable About Program Verification Modulo Axioms?

Umang Mathur P. Madhusudan Mahesh Viswanathan

Published in: CoRR (2019)

Keyphrases

first order logic
action theories
expressive power
knowledge base
function symbols
transitive closure
propositional logic
expert systems
datalog programs
inference rules
situation calculus
horn clauses
polynomial hierarchy
data sets
data integration
knowledge representation
decision trees
machine learning