João P. Martins

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

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

Cláudia Antunes, João P. Martins: Knowledge Acquisition System to Support Low Vision Consultation. AIME 2001: 332-338

Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins: Permissive Belief Revision. EPIA 2001: 335-348

Pedro A. de Matos, João P. Martins: Non-situation Calculus and Database Systems. FoIKS 2000: 176-191

Ernesto M. Morgado, João P. Martins: CREWS_NS: Scheduling Train Crews in The Netherlands. AI Magazine 19(1): 25-38 (1998)

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

Pedro A. de Matos, João P. Martins: Contextual Logic of Change and the Ramification Problem. EPIA 1997: 267-278

Pedro A. de Matos, João P. Martins: Contextual Logic of Change and Contextual Proofs. TIME 1997: 153-159

Pedro A. de Matos, João P. Martins: Parsimonious Diagnosis in SNePS. EPIA 1995: 457-463

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

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

Maria R. Cravo, João P. Martins: A Practical System for Defeasible Reasoning and Belief Revision. ECSQARU 1993: 65-72

Maria R. Cravo, João P. Martins: A Unified Approach to Default Reasoning and Belief Revision. EPIA 1993: 226-241

João P. Martins: The Truth, the Whole Truth, and Nothing But the Truth. AI Magazine 11(5): 7-25 (1991)

Maria R. Cravo, João P. Martins: Being Aware of Assumptions. ÖGAI 1991: 137-146

João P. Martins, Michael Reinfrank (Eds.): Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings. Lecture Notes in Computer Science 515, Springer 1991, isbn 3-540-54305-8

Carlos A. Pinto-Ferreira, João P. Martins: A Formal System for Reasoning about Change. ECAI 1990: 503-508

Nuno J. Mamede, João P. Martins: Bringing Resources into Logic. ISMVL 1990: 220-227

Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins: Reasoning with the Unknown. EPIA 1989: 85-96

Maria R. Cravo, João P. Martins: Path-Based Inference in SNeBr. EPIA 1989: 97-106

Carlos A. Pinto-Ferreira, João P. Martins: Inscription - A Rule of Conjecture. EPIA 1989: 141-150

João P. Martins: Computational issues in belief revision. The Logic of Theory Change 1989: 51-71

Stuart C. Shapiro, João P. Martins: Recent Advances and Developments - The SNePS 2.1 Report. SNePS 1989: 1-13

Maria R. Cravo, João P. Martins: Path-based Inference Revisited. SNePS 1989: 15-26

Nuno J. Mamede, João P. Martins: Expanding SNePS Capabilities with LORE. SNePS 1989: 27-39

João P. Martins, Ernesto M. Morgado (Eds.): EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings. Lecture Notes in Computer Science 390, Springer 1989, isbn 3-540-51665-4

João P. Martins, Stuart C. Shapiro: A Model for Belief Revision. Artif. Intell. 35(1): 25-79 (1988)

João P. Martins, Stuart C. Shapiro: Theoretical Foundations for Belief Revision. TARK 1986: 383-398

João P. Martins, Stuart C. Shapiro: A Model for Belief Revision. NMR 1984: 241-294

João P. Martins, Stuart C. Shapiro: Reasoning in Multiple Belief Spaces. IJCAI 1983: 370-373