Undecidability of a Newly Proposed Calculus for CatLog3.

Max I. Kanovich Stepan L. Kuznetsov Andre Scedrov

Published in: FG (2019)

Keyphrases

description logics
probabilistic planning
number restrictions
learning algorithm
automated deduction
computer algebra
database
real time
information systems
first order logic
formal language
algebraic structure