Reasoning with hierarchies of open-textured predicates.
Ilaria CanavottoJohn F. HortyPublished in: ICAIL (2023)
Keyphrases
- meta level
- user defined
- knowledge representation
- analogical reasoning
- reasoning systems
- model based diagnosis
- reasoning process
- knowledge base
- topological relationships
- model based reasoning
- knowledge representation and reasoning
- reasoning tasks
- automated reasoning
- spatial reasoning
- legal reasoning
- hierarchical structure
- image regions
- consistency checking
- input image
- xml documents
- reasoning mechanisms
- artificial intelligence