Pages that link to "Item:Q898736"
From MaRDI portal
The following pages link to Semantic characterization of rational closure: from propositional logic to description logics (Q898736):
Displaying 32 items.
- Query answering in circumscribed OWL2 profiles (Q825008) (← 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)
- 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)
- Introducing Role Defeasibility in Description Logics (Q2835870) (← links)
- A Minimal Model Semantics for Nonmonotonic Reasoning (Q2915074) (← 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)
- Rational Closure for Defeasible Description Logics (Q4930756) (← 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)
- Reasoning about Multiple Aspects in Rational Closure for DLs (Q5215373) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- Situated conditional reasoning (Q6161506) (← links)
- Defeasible RDFS via rational closure (Q6490339) (← links)
- Non-distributive description logic (Q6541145) (← links)
- Rational closure extension in SPO-representable inductive inference operators (Q6545563) (← links)
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality (Q6570288) (← links)
- Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference (Q6630188) (← links)
- Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach (Q6647308) (← links)
