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