These are some collected references to places where my work has been mentioned or actively used by other people. I have found most of these using internet search, or was pointed to them by colleagues.  Some have associated links to the full text or abstract, others not.

Perhaps you will contribute to my collection?!

Measuring inconsistency in knowledgebases
J. Grant, and A. Hunter. To appear in Journal of Intelligent Information Systems

Paraconsistent logics with simple semantics
. To appear in Logique et Analyse.

Open and closed reasoning in the Semantic Web 
Technical Report, CENTRIA, Universidade Nova de Lisboa, 2005.

A rich paraconsistent extension of full positive logic 
D. Batens, and K. de Clercq. Submitted for publication.

Non-deterministic semantics for families of paraconsistent logics 
A. Avron. To appear in J.-Y. Béziau and W. A. Carnielli, Paraconsistency with no Frontiers, North-Holland, 2005.

Paraconsistent provability logic and rational epistemic agents 
, and . To appear in J.-Y. Béziau and W. A. Carnielli, Paraconsistency with no Frontiers, North-Holland, 2005.

Tautological entailments and their rivals 
F. Paoli. To appear in J.-Y. Béziau and W. A. Carnielli, Paraconsistency with no Frontiers, North-Holland, 2005.

Semi-paraconsistent deontic logic 
. To appear in J.-Y. Béziau and W. A. Carnielli, Paraconsistency with no Frontiers, North-Holland, 2005.

Da Costa 1964 Logical Seminar: Revisited memories 
. To appear in J.-Y. Béziau and W. A. Carnielli, Paraconsistency with no Frontiers, North-Holland, 2005.

Logical non-determinism as a tool for logical modularity: An introduction 
A. Avron. In: S. Artemov, H. Barringer, A. Garcez, L. Lamb, and J. Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, College Publications, 2005, pp.105-124.

Splitting logics 
W. Carnielli and M. E. Coniglio. In: S. Artemov, H. Barringer, A. Garcez, L. Lamb, and J. Woods, editors, We Will Show Them! Essays in Honour of Dov Gabbay, College Publications, 2005, pp.389-414.

Polynomial ring calculus for logical inference 
W. Carnielli. CLE e-Prints, vol.5(3), 2005.

Non-deterministic semantics for paraconsistent C-systems 
A. Avron. In L. Godo, editor, Proceedings of the ECSQARU 2005, held in Barcelona, ES, July 2005. Lecture Notes in Computer Science, Vol.3571, Springer, 2005, pp.625-637.

A data model based on paraconsistent intuitionistic fuzzy relations 
and . In M.-S. Hacid, N. V. Murray, Z. W. Ras, and S. Tsumoto (editors), Foundations of Intelligent Systems: Proceedings of the 15th International Symposium (ISMIS 2005), held in Saratoga Springs, NY, USA, May 25-28, 2005. Lecture Notes in Computer Science, Vol.3488, Springer, 2005, pp.669-677.

Polynomial ring calculus for many-valued logics 
W. Carnielli. In: Proceedings of the 35th International Symposium on Multiple-Valued Logic (ISMVL'05), held in Calgary, Canada, IEEE Computer Society, 2005, pp.20–25.

Pivotal and pivotal-discriminative consequence relations 
J. Ben-Naim. Journal of Logic and Computation, 15(5):679-700, 2005.

Preferential and preferential-discriminative consequence relations 
J. Ben-Naim. Journal of Logic and Computation, 15(3):263-294, 2005.

A non-deterministic view on nonclassical negations 
A. Avron. Studia Logica, 80:159-194, 2005.

Fibring of logics as a universal construction
C. Caleiro, W. A. Carnielli, J. Rasga, and C. Sernadas. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2001. In: D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd edition, v.13, Kluwer, 2005, pp.123-187.

Possible-translations algebraization for paraconsistent logics 
, and W. Carnielli. Bulletin of the Section of Logic, 34(2):77-92, 2005.

Multi-valued calculi for logics based on non-determinism 
A. Avron, and . Logic Journal of the IGPL, 13(4):365-387, 2005.

Approaches to measuring inconsistent information
A. Hunter, and S. Konieczny. In: L. Bertossi, A. Hunter, and T. Schaub, editors, Inconsistency Tolerance, Lecture Notes in Computer Science, Vol.3300, Springer, 2005, pp.189-234.

Non-deterministic multiple-valued structures 
A. Avron, and . Journal of Logic and Computation, 15:241-261, 2005.

Towards a general theory of the combination of logics
A. Costa-Leite. In: J.-Y. Béziau, A. Costa-Leite, and A. Facchini, editors, Aspects of Universal Logic, Institute of Logic, University of Neuchâtel, CH, 2005, pp.196-204.

Anti-intuitionism and paraconsistency 
, and W. A. Carnielli. Journal of Applied Logic, 3(1):161-184, 2005.

Combining classical logic, paraconsistency and relevance 
A. Avron. Journal of Applied Logic, 3(1):133-160, 2005.

Paraconsistent informational logic 
, and . Journal of Applied Logic, 3(1):97-118, 2005.

An encompassing framework for paraconsistent logic programs 
, , and . Journal of Applied Logic, 3(1):67-95, 2005.

A paraconsistent logic programming approach for querying inconsistent knowledge bases 
, and . In I. Russell and Z. Markov, editors, Proceedings of the FLAIRS-2005, held in Clearwater Beach, Florida, US, May 2005. AAAI Press, 2005, pp.747-752.

An Introduction to Paraconsistent Logics (Book)
M. Bremer. Peter Lang, New York, 2005. 

Deriving information from inconsistent knowledge bases: A completeness theorem 
J. Paris. Logic Journal of the IGPL, 12(5):345-353, 2004.

SVM and reduction-based two algorithms for examining and eliminating mistakes in inconsistent examples 
, M.-Y. Liao, G.-S. Chen, B.-R. Yang, and Y.-M. Chen. In: Machine Learning and Cybernetics: Proceedings of the 2004 International Conference, held in Shanghai, CN, Aug 26-29, 2004. IEEE Press, 2004, pp.2189-2192.

Negation and negative information in the W3C resource description framework
, , , and . Annals of Mathematics, Computing & Teleinformatics 1(2):25–34, 2004.

Paraconsistent assertions
J. Villadsen. In: G. Lindemann, J. Denzinger, I. J. Timm and R. Unland, editors, Multiagent System Technologies, Proceedings of the Second German Conference, Erfurt, September 2004 Lecture Notes in Computer Science, Vol.3187 (MATES 2004), Springer, 2004, pp.99-113.

Non-truth-functional many-valuedness 
. In: J.-Y. Béziau, A. Costa-Leite, and A. Facchini, editors, Aspects of Universal Logic, pp.199–218. Neuchâtel: Centre de Recherches Sémiologiques, 2004.

Foundations of paraconsistent resolution
. Fundamenta Informaticae, 21:1001-1024, 2004.

A Knowledge-Level View of Consistent Query Answers (Thesis)
E. Evangelista. School of Computing Science, Simon Fraser University, Canada, 2004.

Positive Logic: plenitude, potentiality and problems (of negationless thinking) (Thesis, in Portuguese)
. Institute for Philosophy and Human Sciences (IFCH), State University of Campinas (UNICAMP), Brazil, 2004.

Possible-Translations Algebraic Semantics (Thesis, in Portuguese)
. Institute for Philosophy and Human Sciences (IFCH), State University of Campinas (UNICAMP), Brazil, 2004.

Paraconsistent logic and paraconsistency: technical and philosophical developments 
, , and . CLE e-Prints, vol.4(3), 2004.

Preservation of interpolation by fibring 
W. Carnielli, C. Sernadas, and A. Zanardo. In: W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of the Workshop on Combination of Logics: Theory and Applications (CombLog'04), held in Lisbon, Portugal, 28–30 July 2004, pp.151–157.

Finite algebraizability via possible-translations semantics 
, M. E. Coniglio, and W. Carnielli. In: W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of the Workshop on Combination of Logics: Theory and Applications (CombLog'04), held in Lisbon, Portugal, 28–30 July 2004, pp.79–85.

Coherent integration of databases by abductive logic programming
O. Arieli, , , and . Journal of Artificial Intelligence Research, 21:245–286, 2004.

Simplification of integrity constraints for data integration
H. Christiansen and D. Martinenghi. In: Dietmar Seipel, and José M. Turull-Torres, editors, Foundations of Information and Knowledge Systems, Proceedings of the 3rd International Symposium, Lecture Notes in Computer Science, Vol.2942 (FoIKS 2004), Springer, 2004, pp.31-48.

Database repair by signed formulae
O. Arieli, , , and . In: Dietmar Seipel, and José M. Turull-Torres, editors, Foundations of Information and Knowledge Systems, Proceedings of the 3rd International Symposium, Lecture Notes in Computer Science, Vol.2942 (FoIKS 2004), Springer, 2004, pp.14-30.

Paraconsistent Logics and Logic Programs Verification (Thesis, in English)
. Dipartimento di Studi Matematici ed Informatici "R. Magari", Università degli Studi di Siena, Italy, 2004.

Non-deterministic matrices 
A. Avron, and . Presented at the IEEE XXXIV International Symposium on Multiple-Valued Logic (ISMVL), 2004.

Modal (logic) paraconsistency
P. Besnard and P. Wong. In: T. D. Nielsen, and N. L. Zhang, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings of the 7th European Conference (ECSQARU 2003), Lecture Notes in Computer Science, Vol.2711, Springer, 2003, pp.540-551.

A Theory of Pragmatic Truth: The quasi truth of Newton C. A. da Costa (Thesis, in Portuguese)
. Institute for Philosophy and Human Sciences (IFCH), State University of Campinas (UNICAMP), Brazil, 2003.

Reasoning with different levels of uncertainty
O. Arieli. Journal of Applied Non-Classical Logics 13(3/4):317–343, 2003.

Tableaux with four signs as a unified framework
A. Avron. In: M. C. Mayer and F. Pirri, editors, Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of TABLEAUX 2003, Lecture Notes in Computer Science, Vol.2796, Springer, 2003, pp.4-16.

Query answering in inconsistent databases
L. Bertossi and J. Chomicki. Chapter in: J. Chomicki, G. Saake and R. van der Meyden, editors, Logics for Emerging Applications of Databases, Springer, 2003.

Forzamiento semántico de marcas para la lógica básica paraconsistente - LBPc
, Revista Universidad EAFIT (Colombia) 130:29–51, 2003.

Paraconsistency, Modalities and Knowability (Thesis, in Portuguese)
. Institute for Philosophy and Human Sciences (IFCH), State University of Campinas (UNICAMP), Brazil, 2003.

Unsaid Beliefs, Said About Beliefs (Thesis, in Portuguese)
. Institute for Philosophy and Human Sciences (IFCH), State University of Campinas (UNICAMP), Brazil, 2003, 121p.

Fibring Labelled First-order Based Logics (Thesis, in English)
J. Rasga. Center for Logic and Computation (CLC), UTL, Portugal, 2003.

Preservationist logics and nonmonotonic logics 
M. Allen. Presented at the NASSLLI 2002, June 2002, Stanford, USA.

Paraconsistent semantics for extended logic programs
O. Arieli. In: Proceedings of the 2002 International Conference on Artificial Intelligence (IC-AI'02), v.3, CMSRA Press, 2002, pp.1199-1205.

Combining valuations with society semantics 
, and M. E. Coniglio. Journal of Applied Non-Classical Logics, 13(1):21–46, 2003.
CLE e-Prints, vol.2(2), 2002.

Lógica básica con aceptación fuerte
, Boletín de Matemáticas (Nueva Serie), 9(1):23-52, 2002.

Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo
, Partial Technical Report, Logic and Computation Group, Universidad EAFIT, Sep 2002.

Repairing inconsistent databases: a model-theoretic approach and abductive reasoning
O. Arieli, , , and . In: Hendrik Decker, Jørgen Villadsen, and Toshiharu Waragai, organizers, Proceedings of the Workshop on Paraconsistent Computational Logic (PCL 2002), held in Copenhagen, Denmark, July 27th 2002, as part of the 2002 Federated Logic Conference (FLoC'02), pp.51–65.  Volume 95 of Datalogiske Skrifter, Roskilde University, Denmark.

Paraconsistent logic from a modal viewpoint
. In: J. Marcos, D. Batens, and W. A. Carnielli, organizers, Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), held in Trento, Italy, 5–9 August 2002, as part of the 14th European Summer School on Logic, Language and Information (ESSLLI 2002), pp.121–129. 

Paraconsistent informational logic
, and . In: J. Marcos, D. Batens, and W. A. Carnielli, organizers, Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), held in Trento, Italy, 5–9 August 2002, as part of the 14th European Summer School on Logic, Language and Information (ESSLLI 2002), pp.90–102. 

How to build your own paraconsistent logic:
an introduction to the Logics of Formal (In)Consistency
W. A. Carnielli. In: J. Marcos, D. Batens, and W. A. Carnielli, organizers, Proceedings of the Workshop on Paraconsistent Logic (WoPaLo), held in Trento, Italy, 5–9 August 2002, as part of the 14th European Summer School on Logic, Language and Information (ESSLLI 2002), pp.58–72. 

Categorial combination of logics: Completeness preservation
M. E. Coniglio. Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2001. Submitted for publication.

Transfers between logics and their applications 
M. E. Coniglio, and W. A. Carnielli. Studia Logica 72(3):367–400, 2002.
CLE e-Prints, vol.1(4), 2001.

Modalità e Multimodalità (Book, in Italian)
, and W. A. Carnielli. Franco Angeli, Milan, 2001. 

The logic of confusion
. In: H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001), v.II, pp.821–826.  CSREA Press, USA, 2001. 

Society Semantics for n-Valued Logics (Thesis, in Portuguese)
. Institute for Philosophy and Human Sciences (IFCH), State University of Campinas (UNICAMP), Brazil, 2001, v+125p.

On the remarkable correspondence between paraconsistent logics, modal logics, and ambiguity logics 
D. Batens. In: W. A. Carnielli, M. E. Coniglio, and I. M. L. D’Ottaviano, editors, Paraconsistency: The logical way to the inconsistent.  Proceedings of the II World Congress on Paraconsistency (WCP’2000), pp.275–294.  Marcel Dekker, 2001.

Are paraconsistent negations negations? 
. In: W. A. Carnielli, M. E. Coniglio, and I. M. L. D’Ottaviano, editors, Paraconsistency: The logical way to the inconsistent.  Proceedings of the II World Congress on Paraconsistency (WCP’2000), pp.465–486.  Marcel Dekker, 2001.

Modulated fibring and the collapsing problem
C. Sernadas, J. Rasga, and W. A. Carnielli. The Journal of Symbolic Logic, 67(4):1541–1569.
Preprint, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2001.

Combining logics: Parchments revisited
C. Caleiro, P. Mateus, J. Ramos, and A. Sernadas. In Maura Cerioli and Gianna Reggio, editors, Recent Trends in Algebraic Development Techniques – Selected Papers, Lecture Notes in Computer Science, Vol.2267, Springer, 2001, pp.48-70.

Some propositional paraconsistent logics: C-extensions 
J. S. A. Maranhão. Tutorial on "Propositional Paraconsistent Logics", presented at the Institut für Logik und Wissenschaftstheorie, Leipzig, Germany, 2001.

The dialogical approach to paraconsistency
S. Rahman and W. A. Carnielli. Synthese 125(1/2):201-232, 2000.

Combining Logics (Thesis, in English)
C. Caleiro. Center for Logic and Computation (CLC), UTL, Portugal, 2000.

Paraconsistent Logics: An introduction  (Thesis, in Spanish)
J. L. Montes and C. E. Restrepo. Department of Basic Sciences, Universidad EAFIT, Colombia, 2000.

Fibring (para)consistent logics
M. E. Coniglio, A. T. Martins, A. Sernadas, and C. Sernadas. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2000. Extended abstract. Presented at the II World Congress on Paraconsistency (WCP’2000).

Possible-translations semantics for paraconsistent logics
W. A. Carnielli.  In: D. Batens, C. Mortensen, G. Priest, and J.-P. van Bendegem, editors, Frontiers in Paraconsistent Logic. Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, pp.149–163.  Baldock: Research Studies Press, King’s College Publications, 2000.

Natural deduction for paraconsistent logic
, and . Logica Trianguli, 4:3–24, 2000.

Sistema de lógica paraconsistente C1
, Revista Universidad EAFIT (Colombia) 118:23–34, 2000.

Possible-translations semantics
W. A. Carnielli. Livro de Resumos, XII Brazilian Logic Meeting (XII EBL), held at Itatiaia / RJ, BR, May 25--28, 1999. Pages 1–4.

A categorial approach to the combination of logics
W. A. Carnielli, and M. E. Coniglio. Manuscrito 22(2):69–94, 1999.

The future of paraconsistent logic
, Logical Studies 2:1–23, Special Issue on Paraconsistent Logic and Paraconsistency, 1999.