Login / Signup
Towards Skolemize Clauses Binding for Reasoning in Inference Engine.
Rabiah Abdul Kadir
Tengku Mohd Tengku Sembok
Halimah Badioze Halimah
Published in:
ICCSA Workshops (2007)
Keyphrases
</>
inference engine
knowledge base
expert systems
knowledge representation language
rule base
knowledge representation
backward chaining
knowledge based systems
first order logic
search space
knowledge structures
rule based systems