| 2022 | IV | Visualizing Temporal Data using Time-dependent Non-decreasing Monotone Functions. | Maria D'Amaral Ferreira, Joo Moura Pires, Carlos Viegas Damsio |
| 2022 | LPNMR | Towards Provenance in Heterogeneous Knowledge Bases. | Matthias Knorr, Carlos Viegas Damsio, Ricardo Gonalves, Joo Leite |
| 2019 | EPIA | Soil Classification Based on Physical and Chemical Properties Using Random Forests. | Didier Dias, Bruno Martins, Joo Moura Pires, Lus Moreira de Sousa, Jacinto Estima, Carlos Viegas Damsio |
| 2019 | IECON | Application of Different Machine Learning Strategies for Current- and Vibration-based Motor Bearing Fault Detection in Induction Motors. | Hugo D. L. Raes, Fernando J. T. E. Ferreira, Joo Moura Pires, Carlos Viegas Damsio |
| 2017 | EPIA | Severity Estimation of Stator Winding Short-Circuit Faults Using Cubist. | Tiago dos Santos, Fernando J. T. E. Ferreira, Joo Moura Pires, Carlos Viegas Damsio |
| 2015 | EPIA | Allowing Cyclic Dependencies in Modular Logic Programming. | Joo Moura Pires, Carlos Viegas Damsio |
| 2015 | ICLP | Unifying Justifications and Debugging for Answer-Set Programs. | Carlos Viegas Damsio, Joo Moura Pires, Anastasia Analyti |
| 2013 | LPNMR | Justifications for Logic Programming. | Carlos Viegas Damsio, Anastasia Analyti, Grigoris Antoniou |
| 2011 | LPNMR | Modularity of P-Log Programs. | Carlos Viegas Damsio, Joo Moura Pires |
| 2010 | ECAI | Implementing Simple Modular ERDF ontologies. | Carlos Viegas Damsio, Anastasia Analyti, Grigoris Antoniou |
| 2008 | ECAI | Computability and Complexity Issues of Extended RDF. | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damsio, Gerd Wagner |
| 2008 | ICLP | An Implementation of Extended P-Log Using XASP. | Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damsio |
| 2008 | KR | A Principled Framework for Modular Web Rule Bases and Its Semantics. | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damsio |
| 2008 | PRICAI | On the Computability and Complexity Issues of Extended RDF. | Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damsio, Gerd Wagner |
| 2007 | ICSOC | Semantically Enabled Framework for User Centric Profile Description, Search and Match. | Joo Moura Pires, Paulo Chainho, Carlos Viegas Damsio |
| 2005 | ICLP | A Well-Founded Semantics with Disjunction. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2004 | ECAI | A Declarative Characterization of Disjunctive Paraconsistent Answer Sets. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2004 | ECAI | A Tabulation Proof Procedure for Residuated Logic Programming. | Carlos Viegas Damsio, Jess Medina, Manuel Ojeda-Aciego |
| 2004 | JELIA | Sorted Multi-adjoint Logic Programs: Termination Results and Applications. | Carlos Viegas Damsio, Jess Medina, Manuel Ojeda-Aciego |
| 2004 | JELIA | An Implementation of Statistical Default Logic. | Gregory R. Wheeler, Carlos Viegas Damsio |
| 2002 | JELIA | Paraconsistent Logic Programs. | Joo F. L. Alcntara, Carlos Viegas Damsio, Lus Moniz Pereira |
| 2001 | ECSQARU | Monotonic and Residuated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 2001 | LPNMR | Antitonic Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 2000 | JELIA | Hybrid Probabilistic Logic Programs as Residuated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1999 | LPNMR | Coherent Well-founded Annotated Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira, Terrance Swift |
| 1997 | LPNMR | A Paraconsistent Semantics with Contradiction Support Detection. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1997 | LPNMR | REVISE: Logic Programming and Diagnosis. | Carlos Viegas Damsio, Lus Moniz Pereira, Michael Schroeder |
| 1995 | EPIA | A Model Theory for Paraconsistent Logic Programming. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1995 | LPNMR | Abduction over 3-Valued Extended Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1994 | ECAI | Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. | Jos Jlio Alferes, Carlos Viegas Damsio, Lus Moniz Pereira |
| 1994 | KR | REVISE: An Extended Logic Programming System for Revising Knowledge Bases. | Carlos Viegas Damsio, Wolfgang Nejdl, Lus Moniz Pereira |
| 1993 | EPIA | Diagnosis and Debugging as Contradiction Removal in Logic Programs. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |
| 1993 | LPNMR | Diagnosis and Debugging as Contradiction Removal. | Lus Moniz Pereira, Carlos Viegas Damsio, Jos Jlio Alferes |