Proof-theoretic aspects of NL$λ$.

Published in: CoRR (2020)

Keyphrases

proof theoretic
nonmonotonic reasoning
natural language
constraint logic programming
default reasoning
proof theory
linear logic
fixpoint
bayesian networks
probability distribution
knowledge representation