Axiom selection over large theory based on new first-order formula metrics.

Qinghua Liu Yang Xu

Published in: Appl. Intell. (2022)

Keyphrases

data sets
theoretical basis
higher order
general theory
case study
artificial intelligence
computational model
theoretical framework
first order logic
database
selection strategy
software quality
horn clauses
formal theory
linear temporal logic
logical theories
universally quantified