Login / Signup
Entailment Functions and Reasoning Under Inconsistency.
Yakoub Salhi
Published in:
AAMAS (2019)
Keyphrases
</>
probabilistic logic
inconsistent information
logic programming
reasoning process
qualitative reasoning
classical logic
polynomial hierarchy
database
multi agent
automated reasoning
belief base
model based reasoning