Local Reasoning for Parameterized First Order Protocols.

Rylo Ashmore Arie Gurfinkel Richard J. Trefler

Published in: NFM (2019)

Keyphrases

probabilistic logic
knowledge base
first order logic
reasoning systems
higher order
probabilistic reasoning
meta level
reasoning process
analogical reasoning
knowledge representation
database
data sets
default reasoning
qualitative reasoning
knowledge representation and reasoning
stochastic dominance