Submitted Papers  (thanks for comments)

• João Alcântara, C. V. Damásio and L. M. Pereira. A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets  (extended version). 2004.
• João Alcântara, C. V. Damásio and L. M. Pereira. A Frame-based Characterisation of  the Paraconsistent Well-founded Semantics with Explicit Negation  (submitted). 2004.

 Invited Talks

• João Alcântara, C. V. Damásio, L. M. Pereira. The Logic(s) of Logic Programming (Power Point Presentation, compressed). Jornada de lógica y matemáticas aplicada a la programación. Altea, Spain, October 2003.

Papers in Scientific Journals

• João Alcântara, C. V. Damásio and L. M. Pereira. An Encompassing Framework for Paraconsistent Logic Programs. Journal of Applied Logic.
  There is an extended version with the proofs of all theorems. To appear 2004.

Papers in International Conferences and Workshops

2004

• João Alcântara, C. V. Damásio and L. M. Pereira. A Declarative Characterisation of Disjunctive Paraconsistent Answer Sets. In Procs. 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain. 2004.  (to appear)

2003

• João Alcântara, C. V. Damásio and L. M. Pereira. On Contradictions and their Propagation in Paraconsistent Logic Programs. in Procs. III World Congress on Paraconsistency (WCP3), Toulouse, France, July 2003.

2002

• João Alcântara, C. V. Damásio and L. M. Pereira. Paraconsistent Logic Programs. In S. Flesca and G. Ianni  (Eds.): Logics In Artificial Intelligence,8th European Conference,  JELIA2002, Cosenza, Italy, September 23-27, 2002, Proceedings. Lecture Notes in Artificial Intelligence 2424 Springer 2002, ISBN 3-540-44190-5, pp 345-356. © Springer-Verlag. (Slides)

• João Alcântara, C. V. Damásio and L. M. Pereira. Paraconsistent Logic Programs. Workshop on Paraconsistent Logics of ESSLLI'2002, Trento, Italy, August 5-9, 2002. Published on-line in CLE e-Prints Vol 2(7), ISSN 1519-9681.