Reasoning in Multiple Belief Spaces. - João P. Martins; Stuart C. Shapiro (IJCAI, 1983)

Theoretical Foundations for Belief Revision. - João P. Martins; Stuart C. Shapiro (TARK, 1986)

A Model for Belief Revision. - João P. Martins; Stuart C. Shapiro (Artif. Intell., 1988)

Path-Based Inference in SNeBr. - Maria R. Cravo; João P. Martins (EPIA, 1989)

Reasoning with the Unknown. - Nuno J. Mamede; Carlos A. Pinto-Ferreira; João P. Martins (EPIA, 1989)

Inscription - A Rule of Conjecture. - Carlos A. Pinto-Ferreira; João P. Martins (EPIA, 1989)

Computational issues in belief revision. - João P. Martins (The Logic of Theory Change, 1989)

Path-based Inference Revisited. - Maria R. Cravo; João P. Martins (SNePS, 1989)

Expanding SNePS Capabilities with LORE. - Nuno J. Mamede; João P. Martins (SNePS, 1989)

Recent Advances and Developments - The SNePS 2.1 Report. - Stuart C. Shapiro; João P. Martins (SNePS, 1989)

A Formal System for Reasoning about Change. - Carlos A. Pinto-Ferreira; João P. Martins (ECAI, 1990)

Bringing Resources into Logic. - Nuno J. Mamede; João P. Martins (ISMVL, 1990)

Planning in a commonsense framework. - Carlos A. Pinto-Ferreira; João P. Martins (Artif. Intell. Rev., 1990)

Being Aware of Assumptions. - Maria R. Cravo; João P. Martins (ÖGAI, 1991)

The Truth, the Whole Truth, and Nothing But the Truth. - João P. Martins (AI Mag., 1991)

A Practical System for Defeasible Reasoning and Belief Revision. - Maria R. Cravo; João P. Martins (ECSQARU, 1993)

A Unified Approach to Default Reasoning and Belief Revision. - Maria R. Cravo; João P. Martins (EPIA, 1993)

SNePSwD: A newcomer to the SNePS family. - Maria R. Cravo; João P. Martins (J. Exp. Theor. Artif. Intell., 1993)

The STRICT assumption: a propositional approach to change. - Carlos A. Pinto-Ferreira; João P. Martins (J. Exp. Theor. Artif. Intell., 1993)

Parsimonious Diagnosis in SNePS. - Pedro A. de Matos; João P. Martins (EPIA, 1995)

CREWS_NS: Scheduling Train Crew in The Netherlands. - Ernesto M. Morgado; João P. Martins (AAAI/IAAI, 1997)

Contextual Logic of Change and the Ramification Problem. - Pedro A. de Matos; João P. Martins (EPIA, 1997)

Contextual Logic of Change and Contextual Proofs. - Pedro A. de Matos; João P. Martins (TIME, 1997)

CREWS_NS: Scheduling Train Crews in The Netherlands. - Ernesto M. Morgado; João P. Martins (AI Mag., 1998)

Non-situation Calculus and Database Systems. - Pedro A. de Matos; João P. Martins (FoIKS, 2000)

Knowledge Acquisition System to Support Low Vision Consultation. - Cláudia Antunes; João P. Martins (AIME, 2001)

Permissive Belief Revision. - Maria R. Cravo; João P. Cachopo; Ana C. Cachopo; João P. Martins (EPIA, 2001)

TPO: A System for Scheduling and Managing Train Crew in Norway. - João P. Martins; Ernesto M. Morgado; Rolf Haugen (IAAI, 2003)

Using AI Local Search to Improve an OR Optimizer. - Filipa Morgado; Ricardo L. Saldanha; Jorge Roussado; Luis Albino; Ernesto M. Morgado; João P. Martins (IAAI, 2012)