Advanced Intelligent Logic and System Lab.