Undecidability of the First order Theories of Free Noncommutative Lie Algebras.

Olga Kharlampovich Alexei G. Myasnikov

Published in: J. Symb. Log. (2018)

Keyphrases

theory revision
first order logic
description logics
theoretical framework
logical theories
data sets
action theories
knowledge base
database systems
reinforcement learning
belief revision
computational models
concept learning
boolean algebra
formal logic
linear temporal logic