ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators
- Authors
- A. Gotlieb, D. Marijan and H. Spieker
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2020
- Journal
- International Journal on Artificial Intelligence Tools
- Publisher
- World Scientific Publishing
- Citation key
- 15807