Undecidability of Semi-Unification on a Napkin.

Andrej Dudenhefner

Published in: FSCD (2020)

Keyphrases

description logics
higher order
theorem proving
automated theorem proving
probabilistic planning
equational theories
artificial intelligence
knowledge base
bayesian networks
objective function
data structure
decision problems
default theories