Realizing Progol by Forward Reasoning.
Tomonobu OzakiKoichi FurukawaTomoko MurakamiKen UenoPublished in: ILP (1997)
Keyphrases
- automated reasoning
- knowledge base
- knowledge representation
- reasoning tasks
- bi directional
- case based reasoning
- background knowledge
- inductive logic programming
- resource bounded
- default reasoning
- deductive reasoning
- logical reasoning
- reasoning mechanisms
- reasoning problems
- forward and backward
- reasoning systems
- probabilistic reasoning
- domain knowledge
- multi agent systems
- website