Sign in
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases.
Mario Alviano
Laura Giordano
Daniele Theseider Dupré
Published in:
JELIA (2023)
Keyphrases
</>
defeasible reasoning
knowledge base
conditional logic
defeasible logic
legal reasoning
nonmonotonic reasoning
computational complexity
description logics
knowledge based systems
modal logic
formal semantics
argumentation systems
knowledge representation
logic programming
decision problems