Towards skolemize clauses binding for reasoning in inference engine

Tekijä Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Julkaistu 2007

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

Tekijä Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Julkaistu 2009

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

Tekijä Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Julkaistu 2008

Intelligent information extraction using logical approach: skolemize clauses binding

Tekijä Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Julkaistu 2008

An effective virtual laboratory approach for chemistry

Tekijä Bakar, Norasiken, Badioze Zaman, Halimah, Kamalrudin, Massila, Jusoff, Kamaruzaman, Khamis, Noorli
Julkaistu 2013

Implementing low level features for human aggressive movement detection

Tekijä Tan Zizi, Tuan Khalisah, Ramli, Suzaimah, Ibrahim, Norazlin, Zainudin, Norulzahrah, Abdullah, Lili Nurliyana, Hasbullah, Nor Asiakin
Julkaistu 2015