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

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