Kolmogorov and Kuroda Translations Into Basic Predicate Logic.

Mohammad Ardeshir Wim Ruitenburg

Published in: Log. J. IGPL (2024)

Keyphrases

predicate logic
knowledge representation and reasoning
formal logic
machine translation
temporal logic
semantic net
semantic network
predicate calculus
computational linguistics
lower level
highly expressive
logical formulas
machine learning
artificial intelligence