Fregean Extensions of First-Order Theories.

Published in: Math. Log. Q. (1994)

Keyphrases

theory revision
higher order
first order logic
knowledge base
quantifier elimination
logical theories
action theories
classical first order logic
theoretical framework
efficient implementation
concept learning
data sets
machine learning
e learning
linear temporal logic