Depth-First Reasoning on Trees.
Yensen LimónIsmael Everardo Bárcenas PatiñoEdgard Benítez-GuerreroMaría Auxilio Medina NietoPublished in: Computación y Sistemas (2018)
Keyphrases
- search algorithm
- decision trees
- branch and bound
- search strategy
- knowledge base
- spatial reasoning
- knowledge representation
- search tree
- analogical reasoning
- reasoning systems
- depth first search
- tree structures
- automated reasoning
- artificial intelligence
- partial order
- search space
- expert systems
- model based diagnosis
- default reasoning
- logic programming
- reasoning tasks
- legal reasoning
- lower bound
- tree models