Towards a Proof Framework for Information Systems with Weak Consistency.

Peter Zeller Arnd Poetzsch-Heffter

Published in: SEFM (2016)

Keyphrases

information systems
main contribution
databases
probabilistic model
logical framework
neural network
information retrieval
bayesian networks
lightweight
health care