Proof-Theory and Semantics for a Theory of Definite Descriptions.

Published in: CoRR (2021)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
partial order
high level
nonmonotonic reasoning
decision making
graphical models
theorem prover
probabilistic reasoning