João P. Martins

32 papers A* 1A 1B 2C 4Misc 8Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2012 C conf
Using AI Local Search to Improve an OR Optimizer.
IAAI
Filipa Morgado, Ricardo L. Saldanha, Jorge Roussado, Luis Albino, Ernesto M. Morgado, João P. Martins
2003 C conf
TPO: A System for Scheduling and Managing Train Crew in Norway.
IAAI
João P. Martins, Ernesto M. Morgado, Rolf Haugen
2001 B conf
Knowledge Acquisition System to Support Low Vision Consultation.
AIME
Cláudia Antunes, João P. Martins
2001 Misc conf
Permissive Belief Revision.
EPIA
Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins
2000 — conf
Non-situation Calculus and Database Systems.
FoIKS
Pedro A. de Matos, João P. Martins
1998 J jnl
CREWS_NS: Scheduling Train Crews in The Netherlands.
AI Mag.
Ernesto M. Morgado, João P. Martins
1997 — conf
CREWS_NS: Scheduling Train Crew in The Netherlands.
AAAI/IAAI
Ernesto M. Morgado, João P. Martins
1997 C conf
Contextual Logic of Change and Contextual Proofs.
TIME
Pedro A. de Matos, João P. Martins
1997 Misc conf
Contextual Logic of Change and the Ramification Problem.
EPIA
Pedro A. de Matos, João P. Martins
1995 Misc conf
Parsimonious Diagnosis in SNePS.
EPIA
Pedro A. de Matos, João P. Martins
1993 C conf
A Practical System for Defeasible Reasoning and Belief Revision.
ECSQARU
Maria R. Cravo, João P. Martins
1993 Misc conf
A Unified Approach to Default Reasoning and Belief Revision.
EPIA
Maria R. Cravo, João P. Martins
1993 J jnl
SNePSwD: A newcomer to the SNePS family.
J. Exp. Theor. Artif. Intell.
Maria R. Cravo, João P. Martins
1993 J jnl
The STRICT assumption: a propositional approach to change.
J. Exp. Theor. Artif. Intell.
Carlos A. Pinto-Ferreira, João P. Martins
1991 — conf
Being Aware of Assumptions.
ÖGAI
Maria R. Cravo, João P. Martins
1991 J jnl
The Truth, the Whole Truth, and Nothing But the Truth.
AI Mag.
João P. Martins
1991 — ed.
Truth Maintenance Systems, ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990, Proceedings
Truth Maintenance Systems (ECAI Workshop)
João P. Martins, Michael Reinfrank
1990 A conf
A Formal System for Reasoning about Change.
ECAI
Carlos A. Pinto-Ferreira, João P. Martins
1990 — conf
Bringing Resources into Logic.
ISMVL
Nuno J. Mamede, João P. Martins
1990 J jnl
Planning in a commonsense framework.
Artif. Intell. Rev.
Carlos A. Pinto-Ferreira, João P. Martins
1989 — conf
Computational issues in belief revision.
The Logic of Theory Change
João P. Martins
1989 Misc ed.
EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings
EPIA
João P. Martins, Ernesto M. Morgado
1989 — conf
Expanding SNePS Capabilities with LORE.
SNePS
Nuno J. Mamede, João P. Martins
1989 Misc conf
Inscription - A Rule of Conjecture.
EPIA
Carlos A. Pinto-Ferreira, João P. Martins
1989 Misc conf
Path-Based Inference in SNeBr.
EPIA
Maria R. Cravo, João P. Martins
1989 — conf
Path-based Inference Revisited.
SNePS
Maria R. Cravo, João P. Martins
1989 Misc conf
Reasoning with the Unknown.
EPIA
Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins
1989 — conf
Recent Advances and Developments - The SNePS 2.1 Report.
SNePS
Stuart C. Shapiro, João P. Martins
1988 J jnl
A Model for Belief Revision.
Artif. Intell.
João P. Martins, Stuart C. Shapiro
1986 B conf
Theoretical Foundations for Belief Revision.
TARK
João P. Martins, Stuart C. Shapiro
1984 — conf
A Model for Belief Revision.
NMR
João P. Martins, Stuart C. Shapiro
1983 A* conf
Reasoning in Multiple Belief Spaces.
IJCAI
João P. Martins, Stuart C. Shapiro