Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases

Cites Work

On truth-table reducibility to SAT
Nonmonotonic reasoning, preferential models and cumulative logics
What does a conditional knowledge base entail?
A treatise on many-valued logics
The Description Logic Handbook
Title not available (Why is that?)
Handbook of mathematical fuzzy logic. Volume 1
Bounded Query Classes
Title not available (Why is that?)
Rational Closure for Defeasible Description Logics
Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
Another perspective on default reasoning
Description logic programs under probabilistic uncertainty and fuzzy vagueness
Fuzzy description logics and \(t\)-norm based fuzzy logics
Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
Compiling finite linear CSP into SAT
A description logic of typicality for conceptual combination
Adding threshold concepts to the description logic \(\mathcal{EL}\)
Ordered models for concept representation
Towards rational closure for fuzzy logic: the case of propositional Gödel logic
Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
ASP-Core-2 input language format
An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
On the KLM properties of a fuzzy DL with typicality
Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach

This page was built for publication: Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545558)