Towards skolemize clauses binding for reasoning in inference engine

av Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Publicerad 2007

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

av Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Publicerad 2009

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

av Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Publicerad 2008

Intelligent information extraction using logical approach: skolemize clauses binding

av Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Publicerad 2008

An effective virtual laboratory approach for chemistry

av Bakar, Norasiken, Badioze Zaman, Halimah, Kamalrudin, Massila, Jusoff, Kamaruzaman, Khamis, Noorli
Publicerad 2013

Implementing low level features for human aggressive movement detection

av Tan Zizi, Tuan Khalisah, Ramli, Suzaimah, Ibrahim, Norazlin, Zainudin, Norulzahrah, Abdullah, Lili Nurliyana, Hasbullah, Nor Asiakin
Publicerad 2015