The following pages link to (Q4860658):
Displaying 10 items.
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- Inferential conditionals and evidentiality (Q2255224) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution (Q2446681) (← links)
- Metabolic Pathways as Temporal Logic Programs (Q2835858) (← links)
- Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation (Q2946739) (← links)
- (Q3509214) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
- Compilability of propositional abduction (Q5277767) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)