- Yes Fellows, Most Human Reasoning is Complex
- Goal-directed tableaux
- Adaptive arbitration by variant counting on commutative bases with weights
- Quasi-merging and Pure-arbitration on Information for the family of Adaptive Logics ADM
- Majority merging by adaptive counting
- Recent results by the inconsistency-adaptive labourers.
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(
- A formal logic for abductive reasoning
- An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning
- Discussive adaptive logics: handling internal and external inconsistencies.