@conference {carnielli2001ex,
	title = {Ex contradictione non sequitur quodlibet},
	booktitle = {Proceedings of the 2000 Advanced Reasoning Forum Conference},
	year = {2001},
	abstract = {<p>We summarize here the main arguments, basic research lines, and results on the foundations of the logics of formal inconsistency. These involve, in particular, some classes of well-known paraconsistent systems. We also present their semantical interpretations by way of possible-translations semantics and their applications to human reasoning and machine reasoning.</p>},
	author = {Carnielli, Walter A. and Marcos, Jo{\~a}o}
}
