 | 2003 |
|---|
| 28 |       | João P. Martins,
Ernesto M. Morgado,
Rolf Haugen:
TPO: A System for Scheduling and Managing Train Crew in Norway.
IAAI 2003: 25-34 |
| 2001 |
|---|
| 27 |  | Cláudia Antunes,
João P. Martins:
Knowledge Acquisition System to Support Low Vision Consultation.
AIME 2001: 332-338 |
| 26 | | Maria R. Cravo,
João P. Cachopo,
Ana C. Cachopo,
João P. Martins:
Permissive Belief Revision.
EPIA 2001: 335-348 |
| 2000 |
|---|
| 25 | | Pedro A. de Matos,
João P. Martins:
Non-situation Calculus and Database Systems.
FoIKS 2000: 176-191 |
| 1998 |
|---|
| 24 | | Ernesto M. Morgado,
João P. Martins:
CREWS_NS: Scheduling Train Crews in The Netherlands.
AI Magazine 19(1): 25-38 (1998) |
| 1997 |
|---|
| 23 | | Ernesto M. Morgado,
João P. Martins:
CREWS_NS: Scheduling Train Crew in The Netherlands.
AAAI/IAAI 1997: 893-902 |
| 22 | | Pedro A. de Matos,
João P. Martins:
Contextual Logic of Change and the Ramification Problem.
EPIA 1997: 267-278 |
| 21 | | Pedro A. de Matos,
João P. Martins:
Contextual Logic of Change and Contextual Proofs.
TIME 1997: 153-159 |
| 1995 |
|---|
| 20 | | Pedro A. de Matos,
João P. Martins:
Parsimonious Diagnosis in SNePS.
EPIA 1995: 457-463 |
| 1993 |
|---|
| 19 | | Maria R. Cravo,
João P. Martins:
A Practical System for Defeasible Reasoning and Belief Revision.
ECSQARU 1993: 65-72 |
| 18 | | Maria R. Cravo,
João P. Martins:
A Unified Approach to Default Reasoning and Belief Revision.
EPIA 1993: 226-241 |
| 1991 |
|---|
| 17 | | João P. Martins,
Michael Reinfrank:
Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings
Springer 1991 |
| 16 | | Maria R. Cravo,
João P. Martins:
Being Aware of Assumptions.
ÖGAI 1991: 137-146 |
| 15 | | João P. Martins:
The Truth, the Whole Truth, and Nothing But the Truth.
AI Magazine 11(5): 7-25 (1991) |
| 1990 |
|---|
| 14 | | Carlos A. Pinto-Ferreira,
João P. Martins:
A Formal System for Reasoning about Change.
ECAI 1990: 503-508 |
| 13 | | Nuno J. Mamede,
João P. Martins:
Bringing Resources into Logic.
ISMVL 1990: 220-227 |
| 1989 |
|---|
| 12 | | João P. Martins,
Ernesto M. Morgado:
EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings
Springer 1989 |
| 11 | | Carlos A. Pinto-Ferreira,
João P. Martins:
Inscription - A Rule of Conjecture.
EPIA 1989: 141-150 |
| 10 | | Nuno J. Mamede,
Carlos A. Pinto-Ferreira,
João P. Martins:
Reasoning with the Unknown.
EPIA 1989: 85-96 |
| 9 | | Maria R. Cravo,
João P. Martins:
Path-Based Inference in SNeBr.
EPIA 1989: 97-106 |
| 8 | | Stuart C. Shapiro,
João P. Martins:
Recent Advances and Developments - The SNePS 2.1 Report.
SNePS 1989: 1-13 |
| 7 | | Maria R. Cravo,
João P. Martins:
Path-based Inference Revisited.
SNePS 1989: 15-26 |
| 6 | | Nuno J. Mamede,
João P. Martins:
Expanding SNePS Capabilities with LORE.
SNePS 1989: 27-39 |
| 5 | | João P. Martins:
Computational issues in belief revision.
The Logic of Theory Change 1989: 51-71 |
| 1988 |
|---|
| 4 | | João P. Martins,
Stuart C. Shapiro:
A Model for Belief Revision.
Artif. Intell. 35(1): 25-79 (1988) |
| 1986 |
|---|
| 3 | | João P. Martins,
Stuart C. Shapiro:
Theoretical Foundations for Belief Revision.
TARK 1986: 383-398 |
| 1984 |
|---|
| 2 | | João P. Martins,
Stuart C. Shapiro:
A Model for Belief Revision.
NMR 1984: 241-294 |
| 1983 |
|---|
| 1 | | João P. Martins,
Stuart C. Shapiro:
Reasoning in Multiple Belief Spaces.
IJCAI 1983: 370-373 |
