Login / Signup

Deep Inference in Proof Search: The Need for Shallow Inference.

Ozan Kahramanogullari
Published in: LPAR (2024)
Keyphrases
  • bayesian networks
  • probabilistic inference
  • artificial intelligence
  • tabu search
  • dynamical systems