Hoare-Style Reasoning from Multiple Contracts.

Olaf Owe Toktam Ramezanifarkhani Elahe Fazeldehkordi

Published in: IFM (2017)

Keyphrases

knowledge base
supply chain
knowledge acquisition
reasoning systems
database
neural network
artificial intelligence
social networks
domain knowledge
combining multiple
probabilistic reasoning
meta level
automated reasoning