Taufiq Hidayat

Taufiq Hidayat

Lecturer

Research interest:
Logics, Programming, Knowledge Representation and Acquisition, Machine Learning, Soft Computing, Intelligence System

Email: taufiq.hidayat[at]uii.ac.id

Education:

Ph.D. | Doctor of Information and Communication Technology – Universiti Teknikal Malaysia Melaka

MCS. | Master of Computer Science in Computational Logic – Dresden University of Technology, Germany

S.T. | Bachelor in Informatics – Institut Teknologi Bandung

More:

   

Description

Taufiq Hidayat is a lecturer at the Department of Informatics Universitas Islam Indonesia. He obtained his Master’s degree in Computational Logic in 2005 from Technical University of Dresden, Germany. He holds PhD in Information Technology, Universiti Teknikal Malaysia Melaka, Malacca, Malaysia.

His research interests are mainly related to knowledge representation and acquisition, machine learning, soft computing, and intelligent system.

Selected publications

  • Hidayat, T., bin Ahmad, A., & bin Desa, M. I. (2021). Non-Redundant Implicational Base of Many-Valued Context Using SAT. Computing and Informatics, 40(2), 368-386.
  • Hidayat, T., & Irhasni, A. B. (2018, August). SAT Solver dengan DPLL dalam Pemrograman Deklaratif. In Seminar Nasional Aplikasi Teknologi Informasi (SNATI).
  • Hidayat, T., & Sidiq, M. N. F. (2018, August). Aplikasi Konversi Ekuivalensi Logis Formula Proposisi dengan Pohon Biner. In Seminar Nasional Aplikasi Teknologi Informasi (SNATI).
  • Hidayat, T. (2013, May). Using Sat for Attribute Exploration of Formal Context with Constraint. In Proceedings of International Conference on Information Technology (Vol. 2013).
  • Hidayat, T. (2011, December). Attribute exploration of many-valued context with SAT. In Proceedings of 10th WSEAS international conference on Computational Intelligence, Man-Machine Systems and Cybernetics (pp. 33-37).