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:

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

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

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 is currently pursuing his 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).

Taufiq Hidayat

Lecturer

JURUSAN INFORMATIKA

TAUTAN CEPAT