AuthorsA. Gotlieb, D. Marijan and H. Spieker
TitleITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators
AfilliationSoftware Engineering
Project(s) Testing of Learning Robots (T-LARGO) , Testing of Learning Robots (T-Largo)
StatusPublished
Publication TypeJournal Article
Year of Publication2020
JournalInt. Journal on Artificial Intelligence Tools (IJAIT)
Volume29
Issue3-4
Pagination23
Date Published06/2020
PublisherWorld Scientific Publishing
DOI10.1142/S0218213020600064.
Citation Key27357

Contact person