Pages that link to "Item:Q1924825"
From MaRDI portal
The following pages link to Another perspective on default reasoning (Q1924825):
Displaying 21 items.
- Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System<i>P</i> (Q4453901) (← links)
- Approximate coherence-based reasoning (Q4453903) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
- System J — Revision entailment (Q4632326) (← links)
- A THEORETICAL FRAMEWORK FOR POSSIBILISTIC INDEPENDENCE IN A WEAKLY ORDERED SETTING (Q4822679) (← 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)
- Twenty-Five Years of Preferred Subtheories (Q5172613) (← links)
- Universal Logic as a Science of Patterns (Q5258967) (← links)
- Dynamic Reasoning Systems (Q5277897) (← links)
- Situated conditional reasoning (Q6161506) (← links)
- Defeasible RDFS via rational closure (Q6490339) (← links)
- Splitting techniques for conditional belief bases in the context of c-representations (Q6545557) (← links)
- Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases (Q6545558) (← 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)
- Approximations of system W between c-inference, system Z, and lexicographic inference (Q6587919) (← links)
- Compact representation of preferences (Q6602221) (← links)
- Weighted conditional \(\mathscr{EL}^\bot\) knowledge bases with integer weights: an ASP approach (Q6647308) (← links)
