PROCESSING WITH SMART SYSTEMS: A NEW CHAPTER FOR ENHANCED AND USER-FRIENDLY AUTOMATED REASONING PLATFORMS