|
Search the dblp DataBase
João P. Martins:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ernesto M. Morgado, João P. Martins
CREWS_NS: Scheduling Train Crew in The Netherlands. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1997, pp:893-902 [Conf]
- Cláudia Antunes, João P. Martins
Knowledge Acquisition System to Support Low Vision Consultation. [Citation Graph (0, 0)][DBLP] AIME, 2001, pp:332-338 [Conf]
- Carlos A. Pinto-Ferreira, João P. Martins
A Formal System for Reasoning about Change. [Citation Graph (0, 0)][DBLP] ECAI, 1990, pp:503-508 [Conf]
- Maria R. Cravo, João P. Martins
A Practical System for Defeasible Reasoning and Belief Revision. [Citation Graph (0, 0)][DBLP] ECSQARU, 1993, pp:65-72 [Conf]
- Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins
Permissive Belief Revision. [Citation Graph (0, 0)][DBLP] EPIA, 2001, pp:335-348 [Conf]
- Maria R. Cravo, João P. Martins
Path-Based Inference in SNeBr. [Citation Graph (0, 0)][DBLP] EPIA, 1989, pp:97-106 [Conf]
- Maria R. Cravo, João P. Martins
A Unified Approach to Default Reasoning and Belief Revision. [Citation Graph (0, 0)][DBLP] EPIA, 1993, pp:226-241 [Conf]
- Carlos A. Pinto-Ferreira, João P. Martins
Inscription - A Rule of Conjecture. [Citation Graph (0, 0)][DBLP] EPIA, 1989, pp:141-150 [Conf]
- Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins
Reasoning with the Unknown. [Citation Graph (0, 0)][DBLP] EPIA, 1989, pp:85-96 [Conf]
- Pedro A. de Matos, João P. Martins
Parsimonious Diagnosis in SNePS. [Citation Graph (0, 0)][DBLP] EPIA, 1995, pp:457-463 [Conf]
- Pedro A. de Matos, João P. Martins
Contextual Logic of Change and the Ramification Problem. [Citation Graph (0, 0)][DBLP] EPIA, 1997, pp:267-278 [Conf]
- Pedro A. de Matos, João P. Martins
Non-situation Calculus and Database Systems. [Citation Graph (0, 0)][DBLP] FoIKS, 2000, pp:176-191 [Conf]
- João P. Martins, Ernesto M. Morgado, Rolf Haugen
TPO: A System for Scheduling and Managing Train Crew in Norway. [Citation Graph (0, 0)][DBLP] IAAI, 2003, pp:25-34 [Conf]
- João P. Martins, Stuart C. Shapiro
Reasoning in Multiple Belief Spaces. [Citation Graph (0, 0)][DBLP] IJCAI, 1983, pp:370-373 [Conf]
- Nuno J. Mamede, João P. Martins
Bringing Resources into Logic. [Citation Graph (0, 0)][DBLP] ISMVL, 1990, pp:220-227 [Conf]
- João P. Martins
Computational issues in belief revision. [Citation Graph (0, 0)][DBLP] The Logic of Theory Change, 1989, pp:51-71 [Conf]
- João P. Martins, Stuart C. Shapiro
A Model for Belief Revision. [Citation Graph (0, 0)][DBLP] NMR, 1984, pp:241-294 [Conf]
- Maria R. Cravo, João P. Martins
Being Aware of Assumptions. [Citation Graph (0, 0)][DBLP] ÖGAI, 1991, pp:137-146 [Conf]
- Maria R. Cravo, João P. Martins
Path-based Inference Revisited. [Citation Graph (0, 0)][DBLP] SNePS, 1989, pp:15-26 [Conf]
- Nuno J. Mamede, João P. Martins
Expanding SNePS Capabilities with LORE. [Citation Graph (0, 0)][DBLP] SNePS, 1989, pp:27-39 [Conf]
- Stuart C. Shapiro, João P. Martins
Recent Advances and Developments - The SNePS 2.1 Report. [Citation Graph (0, 0)][DBLP] SNePS, 1989, pp:1-13 [Conf]
- João P. Martins, Stuart C. Shapiro
Theoretical Foundations for Belief Revision. [Citation Graph (0, 0)][DBLP] TARK, 1986, pp:383-398 [Conf]
- Pedro A. de Matos, João P. Martins
Contextual Logic of Change and Contextual Proofs. [Citation Graph (0, 0)][DBLP] TIME, 1997, pp:153-159 [Conf]
- João P. Martins, Stuart C. Shapiro
A Model for Belief Revision. [Citation Graph (0, 0)][DBLP] Artif. Intell., 1988, v:35, n:1, pp:25-79 [Journal]
- Ernesto M. Morgado, João P. Martins
CREWS_NS: Scheduling Train Crews in The Netherlands. [Citation Graph (0, 0)][DBLP] AI Magazine, 1998, v:19, n:1, pp:25-38 [Journal]
- João P. Martins
The Truth, the Whole Truth, and Nothing But the Truth. [Citation Graph (0, 0)][DBLP] AI Magazine, 1991, v:11, n:5, pp:7-25 [Journal]
Search in 0.002secs, Finished in 0.278secs
|