Login / Signup
System Description: Russell - A Logical Framework for Deductive Systems.
Dmitry Vlasov
Published in:
CoRR (2017)
Keyphrases
</>
logical framework
expert systems
inference rules
possibilistic logic
machine learning
artificial intelligence