Login / Signup
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators.
Arnaud Gotlieb
Dusica Marijan
Helge Spieker
Published in:
Int. J. Artif. Intell. Tools (2020)
Keyphrases
</>
lightweight
logical reasoning
knowledge representation
representing knowledge
communication infrastructure
knowledge base
efficient implementation
logical framework
low cost
reasoning tasks
development environments
logical rules