An Extension of Reciprocal Logics for Trust Reasoning.
Sameera BasitYuichi GotoPublished in: ACIIDS (2) (2020)
Keyphrases
- inheritance reasoning
- proof theoretic
- proof theory
- default reasoning
- nonmonotonic reasoning
- computational properties
- expressive power
- reasoning systems
- knowledge base
- modal logic
- intuitionistic logic
- multiple inheritance
- decision procedures
- nonmonotonic inference
- logical framework
- trust evaluation
- knowledge representation formalisms
- horn logic
- reasoning problems
- reasoning process
- trust model
- linear logic
- reasoning tasks
- automated reasoning
- spatial reasoning
- probabilistic reasoning
- first order logic
- knowledge representation
- query language