Sign in

Use of Logical Models for Proving Operational Termination in General Logics.

Salvador Lucas
Published in: WRLA (2016)
Keyphrases
  • neural network
  • special case
  • probabilistic model
  • closely related
  • statistical models
  • graphical models
  • information retrieval
  • artificial neural networks
  • statistical model
  • expressive power
  • modal logic
  • accurate models