Login / Signup
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence.
Michael Huth
Jim Huan-Pu Kuo
Published in:
TACAS (2014)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
theorem proving
probabilistic reasoning
reasoning tasks
decision procedures
theorem prover
trust model
natural language
knowledge representation and reasoning
propositional satisfiability
neural network
automated verification