4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014

Published in: PAAR@IJCAR (2015)

Keyphrases

automated reasoning
knowledge representation
reasoning systems
probabilistic reasoning
theorem prover
theorem proving
decision procedures
knowledge representation and reasoning
reasoning tasks
automated verification
neural network
general purpose
probabilistic inference