Sign in
Proceedings of the Third International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2021, Virtual Event, July 16, 2021.
Published in:
ARCADE@CADE (2021)
Keyphrases
</>
international workshop
automated reasoning
reasoning systems
domain driven data mining
knowledge representation
theorem prover
theorem proving
probabilistic reasoning
revised selected papers
reasoning tasks
selected papers
lecture notes in artificial intelligence
pacific rim
acm sigkdd
expert systems