Towards skolemize clauses binding for reasoning in inference engine

The paper presents a reasoning technique for open-domain question answering (QA) system. QA system has attracted more attention to meet information needs providing users with more precise and focused retrieval answers. We proposed a skolemize clauses binding (SCB) for reasoning, along with the theor...

Full description

Bibliographic Details
Main Authors: Abdul Kadir, Rabiah, Tengku Sembok, Tengku Mohd, Badioze Zaman, Halimah
Format: Conference or Workshop Item
Language:English
Published: IEEE 2007
Online Access:http://psasir.upm.edu.my/id/eprint/48258/1/Towards%20skolemize%20clauses%20binding%20for%20reasoning%20in%20inference%20engine.pdf