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