Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN.
Kazumi NakamatsuJair Minoro AbeSeiki AkamaPublished in: KES (2) (2008)
Keyphrases
- preference relations
- logic programs
- knowledge base
- abstract argumentation
- knowledge representation
- automated reasoning
- uncertain information
- resource bounded
- qualitative reasoning
- reasoning process
- reasoning systems
- knowledge representation and reasoning
- real time
- logical reasoning
- reasoning problems
- formal models
- legal reasoning
- binary relations
- transitive closure
- search algorithm
- meta level