I. Lakatos, Proofs and Refutations, 1976.

N. C. Da-costa, Beziau: La logique paraconsistante. Le concept de preuvè a lalumì ere de l'intelligence artificielle, pp.107-115, 1999.

N. C. Da-costa, Paraconsistent mathematics In: Frontiers of paraconsistent logics, 2000.

N. C. Da-costa, Logiques classiques et non classiques : essai sur les fondements de la logique, 1997.

J. Y. Beziau, La logique paraconsistante. Logiques classiques et non classiques, essai sur les fondements de la logique, 1997.

C. D. Pozza and C. Garola, A pragmatic interpretation of intuitionistic propositional logic, Erkenntnis, vol.34, issue.2, pp.81-109, 1995.
DOI : 10.1007/BF01131841

K. Nakamatsu, T. Kato, and A. Suzuki, Basic ideas of defeasible deontic traffic signal control based on a paraconsistent logic program evalpsn, Advances in Intelligent Systems and Robotics, 2003.

D. Angluin, Queries and concept learning, Machine Learning, vol.27, issue.4, pp.319-342, 1988.
DOI : 10.1007/BF00116828
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.4681

D. Angluin, Queries revisited, Theoretical Computer Science, vol.313, issue.2, pp.175-194, 2004.
DOI : 10.1016/j.tcs.2003.11.004

D. Angluin, Krikis: Learning from different teachers, Machine Learning, vol.51, issue.2, pp.137-163, 2003.
DOI : 10.1023/A:1022854802097

M. Afshar, A. Lanoue, and J. Sallantin, New directions: multidimensionnal optimization in drug discovery, Comprehensive Medicinal Chemistry, vol.2, p.4, 2006.

G. M. Nobrega and . Cerri, A contradiction-driven approach to theory formation: conceptual issues, pragmatics in human learning, potentialities, Journal of the Brazilian Computer Society, vol.9, issue.2, pp.37-55, 2003.
DOI : 10.1590/S0104-65002003000300004
URL : https://hal.archives-ouvertes.fr/lirmm-00108580

J. Sallantin, La découverte scientifique assistée par des agents rationnels. Revue des sciences et technologie de l'information, pp.15-30, 2003.
DOI : 10.3406/rbph.2003.4746

C. Dartnell and J. Sallantin, Assisting Scientific Discovery with an Adaptive Problem Solver, In: Discovery Science, pp.99-112, 2005.
DOI : 10.1007/11563983_10
URL : https://hal.archives-ouvertes.fr/lirmm-00120022