Abduction in consistent, anomalous and paraconsistent settings by means of goal-directed proofs

Speaker(s) Dagmar Provijn
Date 18 December 2009
Place Campinas, Brazil
Occasion MBR'09
Category Contributed