Undecidability of Multiplicative Subexponential Logic.

Kaustuv Chaudhuri

Published in: LINEARITY (2014)

Keyphrases

classical logic
asynchronous circuits
logic programming
expert systems
modal logic
databases
machine learning
database
truth values
natural deduction
probabilistic planning
abductive reasoning
predicate logic
answering queries
multi valued
description logics
reinforcement learning