| 2012 | IAAI | Using AI Local Search to Improve an OR Optimizer. | Filipa Morgado, Ricardo L. Saldanha, Jorge Roussado, Luis Albino, Ernesto M. Morgado, Joo P. Martins |
| 2003 | IAAI | TPO: A System for Scheduling and Managing Train Crew in Norway. | Joo P. Martins, Ernesto M. Morgado, Rolf Haugen |
| 2001 | AIME | Knowledge Acquisition System to Support Low Vision Consultation. | Cludia Antunes, Joo P. Martins |
| 2001 | EPIA | Permissive Belief Revision. | Maria R. Cravo, Joo P. Cachopo, Ana C. Cachopo, Joo P. Martins |
| 1997 | AAAI | CREWS_NS: Scheduling Train Crew in The Netherlands. | Ernesto M. Morgado, Joo P. Martins |
| 1997 | EPIA | Contextual Logic of Change and the Ramification Problem. | Pedro A. de Matos, Joo P. Martins |
| 1997 | TIME | Contextual Logic of Change and Contextual Proofs. | Pedro A. de Matos, Joo P. Martins |
| 1995 | EPIA | Parsimonious Diagnosis in SNePS. | Pedro A. de Matos, Joo P. Martins |
| 1993 | ECSQARU | A Practical System for Defeasible Reasoning and Belief Revision. | Maria R. Cravo, Joo P. Martins |
| 1993 | EPIA | A Unified Approach to Default Reasoning and Belief Revision. | Maria R. Cravo, Joo P. Martins |
| 1990 | ECAI | A Formal System for Reasoning about Change. | Carlos A. Pinto-Ferreira, Joo P. Martins |
| 1989 | EPIA | Path-Based Inference in SNeBr. | Maria R. Cravo, Joo P. Martins |
| 1989 | EPIA | Reasoning with the Unknown. | Nuno J. Mamede, Carlos A. Pinto-Ferreira, Joo P. Martins |
| 1989 | EPIA | Inscription - A Rule of Conjecture. | Carlos A. Pinto-Ferreira, Joo P. Martins |
| 1986 | TARK | Theoretical Foundations for Belief Revision. | Joo P. Martins, Stuart C. Shapiro |
| 1983 | IJCAI | Reasoning in Multiple Belief Spaces. | Joo P. Martins, Stuart C. Shapiro |