Towards skolemize clauses binding for reasoning in inference engine

af Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Udgivet 2007

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

af Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Udgivet 2009

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

af Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Udgivet 2008

Intelligent information extraction using logical approach: skolemize clauses binding

af Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Udgivet 2008

An effective virtual laboratory approach for chemistry

af Bakar, Norasiken, Badioze Zaman, Halimah, Kamalrudin, Massila, Jusoff, Kamaruzaman, Khamis, Noorli
Udgivet 2013

Implementing low level features for human aggressive movement detection

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