Login / Signup
Local Reasoning for Parameterized First Order Protocols.
Rylo Ashmore
Arie Gurfinkel
Richard J. Trefler
Published in:
CoRR (2019)
Keyphrases
</>
higher order
probabilistic logic
first order logic
knowledge base
knowledge representation
reasoning systems
automated reasoning
knowledge representation and reasoning
model based reasoning
quality of service
multi party
reasoning tasks
reasoning process
conditional logic
deductive reasoning
higher throughput