Reasoner Abbreviations and Acronyms
ATMS
Assumption-Basjd Truth Maintenance Systems
IRIS
Integrated Rule Inference System
Last updated:
January 4, 2020
— Total entries: 2