C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A system of inference based on proof search: an extended abstract.
Dale Miller
Published in:
LICS (2023)
Keyphrases
</>
extended abstract
proof search
theorem prover
linear logic
theorem proving
inference rules
bayesian networks
proof planning
neural network
probabilistic inference
search procedure
probabilistic reasoning
sequent calculus
first order logic
proof procedure