Login / Signup
A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames.
Mikhail N. Rybakov
Dmitry Shkatov
Published in:
Advances in Modal Logic (2018)
Keyphrases
</>
first order logic
inference rules
expressive power
theorem proving
knowledge representation
inductive logic programming
transitive closure
quantifier elimination
horn clauses
quantifier free
machine learning
theorem prover
inductive learning