Pages that link to "Item:Q4930756"

The following pages link to Rational Closure for Defeasible Description Logics (Q4930756):

Displaying 38 items.

• Preferences in artificial intelligence (Q314443) (← links)
• Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
• Generalized fuzzy rough description logics (Q454980) (← links)
• Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies (Q1632047) (← links)
• Preferential accessibility and preferred worlds (Q1711506) (← links)
• Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
• Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
• A reconstruction of multipreference closure (Q2046040) (← links)
• Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model (Q2055796) (← links)
• Optimizing the computation of overriding in \(\mathcal{DL}^{\mathsf{N}}\) (Q2082509) (← links)
• On the KLM properties of a fuzzy DL with typicality (Q2146055) (← links)
• A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure (Q2224833) (← links)
• Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101) (← links)
• On rational entailment for propositional typicality logic (Q2289021) (← links)
• Strong inconsistency (Q2321259) (← links)
• Rational closure for all description logics (Q2321316) (← links)
• Typicalities and probabilities of exceptions in nonmotonic description logics (Q2329599) (← links)
• On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\) (Q2407461) (← links)
• Preferential reasoning for modal logics (Q2825407) (← links)
• Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis (Q2835863) (← links)
• Introducing Role Defeasibility in Description Logics (Q2835870) (← links)
• A Minimal Model Semantics for Nonmonotonic Reasoning (Q2915074) (← links)
• A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
• ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
• Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆 (Q4637881) (← links)
• Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure (Q4988945) (← links)
• An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases (Q5038463) (← links)
• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL (Q5140012) (← links)
• Reasoning about Multiple Aspects in Rational Closure for DLs (Q5215373) (← links)
• Reasoning on with Defeasibility in ASP (Q6063881) (← links)
• Situated conditional reasoning (Q6161506) (← links)
• Defeasible RDFS via rational closure (Q6490339) (← links)
• Concept combination in weighted DL (Q6545552) (← links)
• Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases (Q6545558) (← links)
• Deciding subsumption in defeasible \(\mathcal{ELI}_\bot\) with typicality models (Q6545562) (← links)
• A preferential interpretation of multilayer perceptrons in a conditional logic with typicality (Q6570288) (← links)
• Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach (Q6647308) (← links)