View of Abduction through semantic tableaux versus abduction through goal-directed proofs

Return to Article Details Abduction through semantic tableaux versus abduction through goal-directed proofs Download Download PDF