Towards skolemize clauses binding for reasoning in inference engine

Bằng Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Được phát hành 2007

Generating 3D visual expression using semantic simplification description based on logical representation

Bằng Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Được phát hành 2009

Utilization of external knowledge to support answer extraction from restricted document using logical reasoning

Bằng Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Được phát hành 2008

Intelligent information extraction using logical approach: skolemize clauses binding

Bằng Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Được phát hành 2008

An effective virtual laboratory approach for chemistry

Bằng Bakar, Norasiken, Badioze Zaman, Halimah, Kamalrudin, Massila, Jusoff, Kamaruzaman, Khamis, Noorli
Được phát hành 2013

Implementing low level features for human aggressive movement detection

Bằng Tan Zizi, Tuan Khalisah, Ramli, Suzaimah, Ibrahim, Norazlin, Zainudin, Norulzahrah, Abdullah, Lili Nurliyana, Hasbullah, Nor Asiakin
Được phát hành 2015