dblp.uni-trier.dewww.uni-trier.de

João P. Martins Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
27EECláudia Antunes, João P. Martins: Knowledge Acquisition System to Support Low Vision Consultation. AIME 2001: 332-338
26EEMaria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins: Permissive Belief Revision. EPIA 2001: 335-348
2000
25EEPedro 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
21EEPedro 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
8EEStuart C. Shapiro, João P. Martins: Recent Advances and Developments - The SNePS 2.1 Report. SNePS 1989: 1-13
7EEMaria R. Cravo, João P. Martins: Path-based Inference Revisited. SNePS 1989: 15-26
6EENuno J. Mamede, João P. Martins: Expanding SNePS Capabilities with LORE. SNePS 1989: 27-39
5EEJoã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

Coauthor Index

1Cláudia Antunes [27]
2Ana C. Cachopo [26]
3João P. Cachopo [26]
4Maria R. Cravo [7] [9] [16] [18] [19] [26]
5Rolf Haugen [28]
6Nuno J. Mamede [6] [10] [13]
7Pedro A. de Matos [20] [21] [22] [25]
8Ernesto M. Morgado [12] [23] [24] [28]
9Carlos A. Pinto-Ferreira [10] [11] [14]
10Michael Reinfrank [17]
11Stuart C. Shapiro [1] [2] [3] [4] [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)