João P. Martins

Publication Activity (10 Years)

Years Active: 1983-2012
Publications (10 Years): 0

Top Topics

Knowledge Representation And Reasoning

Combinatorial Optimization

Simulated Annealing

Top Venues

Publications

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)
Cláudia Antunes, João P. Martins
Knowledge Acquisition System to Support Low Vision Consultation. AIME (2001)
Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins
Permissive Belief Revision. EPIA (2001)
Pedro A. de Matos, João P. Martins
Non-situation Calculus and Database Systems. FoIKS (2000)
Ernesto M. Morgado, João P. Martins
CREWS_NS: Scheduling Train Crews in The Netherlands. AI Mag. 19 (1) (1998)
Pedro A. de Matos, João P. Martins
Contextual Logic of Change and the Ramification Problem. EPIA (1997)
Ernesto M. Morgado, João P. Martins
CREWS_NS: Scheduling Train Crew in The Netherlands. AAAI/IAAI (1997)
Pedro A. de Matos, João P. Martins
Contextual Logic of Change and Contextual Proofs. TIME (1997)
Pedro A. de Matos, João P. Martins
Parsimonious Diagnosis in SNePS. EPIA (1995)
Maria R. Cravo, João P. Martins
SNePSwD: A newcomer to the SNePS family. J. Exp. Theor. Artif. Intell. 5 (2-3) (1993)
Maria R. Cravo, João P. Martins
A Unified Approach to Default Reasoning and Belief Revision. EPIA (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) (1993)
Maria R. Cravo, João P. Martins
A Practical System for Defeasible Reasoning and Belief Revision. ECSQARU (1993)
Maria R. Cravo, João P. Martins
Being Aware of Assumptions. ÖGAI (1991)
João P. Martins
The Truth, the Whole Truth, and Nothing But the Truth. AI Mag. 11 (5) (1991)
Carlos A. Pinto-Ferreira, João P. Martins
Planning in a commonsense framework. Artif. Intell. Rev. 4 (4) (1990)
Nuno J. Mamede, João P. Martins
Bringing Resources into Logic. ISMVL (1990)
Carlos A. Pinto-Ferreira, João P. Martins
A Formal System for Reasoning about Change. ECAI (1990)
Nuno J. Mamede, João P. Martins
Expanding SNePS Capabilities with LORE. SNePS (1989)
Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins
Reasoning with the Unknown. EPIA (1989)
Maria R. Cravo, João P. Martins
Path-Based Inference in SNeBr. EPIA (1989)
Carlos A. Pinto-Ferreira, João P. Martins
Inscription - A Rule of Conjecture. EPIA (1989)
Maria R. Cravo, João P. Martins
Path-based Inference Revisited. SNePS (1989)
João P. Martins
Computational issues in belief revision. The Logic of Theory Change (1989)
Stuart C. Shapiro, João P. Martins
Recent Advances and Developments - The SNePS 2.1 Report. SNePS (1989)
João P. Martins, Stuart C. Shapiro
A Model for Belief Revision. Artif. Intell. 35 (1) (1988)
João P. Martins, Stuart C. Shapiro
Theoretical Foundations for Belief Revision. TARK (1986)
João P. Martins, Stuart C. Shapiro
A Model for Belief Revision. NMR (1984)
João P. Martins, Stuart C. Shapiro
Reasoning in Multiple Belief Spaces. IJCAI (1983)