DOI10.4149/cai_2018_3_581zbMath1504.68218MaRDI QIDQ5145721
Satoshi Tojo, Teeradaj Racharak, Boontawee Suntisrivaraporn
Publication date: 21 January 2021 Published in: Computing and Informatics (Search for Journal in Brave) Full work available at URL: https://doi.org/10.4149/cai_2018_3_581
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation