Carnielli, Walter A, and João Marcos. 2001. “Ex Contradictione Non Sequitur Quodlibet”. In Proceedings of the 2000 Advanced Reasoning Forum Conference, Proceedings of the 2000 Advanced Reasoning Forum Conference,.

Carnielli, Walter A, and João Marcos. 2001. “Tableau Systems For Logics Of Formal Inconsistency” Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.

Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. “A Taxonomy Of C-Systems” Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.

Carnielli, Walter A, João Marcos, and Itala MLoffred D'Ottaviano. 2001. “A Taxonomy Of C-Systems” Walter A Carnielli and Coniglio, Marcelo E. Paraconsistency. The Logical Way to the Inconsistent: 1-94.

Meheus, Joke. 2002. “An Adaptive Logic For Pragmatic Truth” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 167–185.

Vermeir, Timothy. 2002. “An Inconsistency-Adaptive Proof Procedure For Logic Programming” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 323-340.

de Amo, Sandra, Walter A Carnielli, and João Marcos. 2002. “A Logical Framework For Integrating Inconsistent Information In Multiple Databases” Thomas Eiter and Schewe, Klaus-Dieter. Foundations of Information and Knowledge Systems 2284: 67-84. http://dx.doi.org/10.1007/3-540-45758-5_5.

Vanackere, Guido. 2002. “Ontological Causes Of Inconsistency And A Change-Adaptive, Logical Solution” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent 228: 151–166.

Batens, Diderik. 2002. “On Some Remarkable Relations Between Paraconsistent Logics, Modal Logics, And Ambiguity Logics” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. Paraconsistency. The Logical Way to the Inconsistent: 275–293.

Batens, Diderik. 2009. “Adaptive Cn Logics” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic: 27–45.

Meheus, Joke, and Kristof De Clercq. 2009. “Goal-Directed Tableaux” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic 21: 241–256.

Primiero, Giuseppe. 2009. “Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic: 443-463.

Provijn, Dagmar. 2009. “Strategies: What's In A Name?” Walter A Carnielli, Coniglio, Marcelo E, and D'Ottaviano, Itala MLoffred. The Many Sides of Logic 21: 287–306.

Heeffer, Albrecht. 2010. “The Symbolic Model For Algebra: Functions And Mechanisms” Lorenzo Magnani, Carnielli, Walter A, and Pizzi, Claudio. Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.