ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators

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
Google Scholar BibTex