Login / Signup
Unification in predicate logic.
Wojciech Dzik
Piotr Wojtylak
Published in:
UNIF (2016)
Keyphrases
</>
predicate logic
formal logic
knowledge representation and reasoning
semantic net
temporal logic
predicate calculus
theorem proving
semantic network
computational linguistics
highly expressive
machine learning
knowledge base
knowledge acquisition
logic programming
lower level