Pages that link to "Item:Q4291873"

The following pages link to First order abduction via tableau and sequent calculi (Q4291873):

Displaying 24 items.

• Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
• Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
• A superposition calculus for abductive reasoning (Q2013317) (← links)
• Inferential conditionals and evidentiality (Q2255224) (← links)
• A conditional logic for abduction (Q2263054) (← links)
• First-order abduction as enumeration of stable models (Q2284490) (← 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)
• (Q2721193) (← links)
• Towards automated first-order abduction: the cut-based approach (Q2909831) (← links)
• Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation (Q2946739) (← links)
• On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations (Q3305311) (← links)
• Towards Abductive Reasoning in First-order Logic (Q3411854) (← links)
• Quantifier-Free Equational Logic and Prime Implicate Generation (Q3454103) (← links)
• (Q3509041) (← links)
• Abduction via <i>C</i>-tableaux and δ-resolution (Q3647297) (← links)
• The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
• (Q3686698) (← links)
• (Q4362904) (← links)
• (Q4503917) (← links)
• Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
• A logic for best explanations (Q5379324) (← links)
• Types for Proofs and Programs (Q5712303) (← links)
• Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)