Foundations for an Abstract Proof Theory in the Context of Horn Rules.

Tim S. Lyon Piotr Ostropolski-Nalewaja

Published in: CoRR (2023)

Keyphrases

np hard
proof theory
special case
proof theoretic
artificial intelligence
computational complexity
default reasoning
decision problems
machine learning
bayesian networks
temporal logic