Abduction through semantic tableaux versus abduction through goal-directed proofs.
2007) THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA. 22(3). p.295-304 Mark(
- An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning
- Direct dynamic proofs for classical compatibility
- Some Adaptive Logics for Diagnosis
- Ampliative adaptive logics and the foundation of logic-based approaches to abduction