João P. Martins

According to our database, João P. Martins authored at least 29 papers between 1983 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Using AI Local Search to Improve an OR Optimizer.

Filipa Morgado, Ricardo L. Saldanha, Jorge Roussado, Luis Albino, Ernesto M. Morgado, João P. Martins

Proceedings of the Twenty-Fourth Conference on Innovative Applications of Artificial Intelligence, 2012

2003

TPO: A System for Scheduling and Managing Train Crew in Norway.

João P. Martins, Ernesto M. Morgado, Rolf Haugen

Proceedings of the Fifteenth Conference on Innovative Applications of Artificial Intelligence, 2003

2001

Permissive Belief Revision.

Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins

Proceedings of the Progress in Artificial Intelligence, 2001

Knowledge Acquisition System to Support Low Vision Consultation.

Cláudia Antunes, João P. Martins

Proceedings of the Artificial Intelligence Medicine, 2001

2000

Non-situation Calculus and Database Systems.

Pedro A. de Matos, João P. Martins

Proceedings of the Foundations of Information and Knowledge Systems, 2000

1998

CREWS_NS: Scheduling Train Crews in The Netherlands.

Ernesto M. Morgado, João P. Martins

AI Mag., 1998

1997

Contextual Logic of Change and Contextual Proofs.

Pedro A. de Matos, João P. Martins

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Contextual Logic of Change and the Ramification Problem.

Pedro A. de Matos, João P. Martins

Proceedings of the Progress in Artificial Intelligence, 1997

CREWS_NS: Scheduling Train Crew in The Netherlands.

Ernesto M. Morgado, João P. Martins

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1995

Parsimonious Diagnosis in SNePS.

Pedro A. de Matos, João P. Martins

Proceedings of the Progress in Artificial Intelligence, 1995

1993

The STRICT assumption: a propositional approach to change.

Carlos A. Pinto-Ferreira, João P. Martins

J. Exp. Theor. Artif. Intell., 1993

SNePSwD: A newcomer to the SNePS family.

Maria R. Cravo, João P. Martins

J. Exp. Theor. Artif. Intell., 1993

A Unified Approach to Default Reasoning and Belief Revision.

Maria R. Cravo, João P. Martins

Proceedings of the Progress in Artificial Intelligence, 1993

A Practical System for Defeasible Reasoning and Belief Revision.

Maria R. Cravo, João P. Martins

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1991

The Truth, the Whole Truth, and Nothing But the Truth.

João P. Martins

AI Mag., 1991

Being Aware of Assumptions.

Maria R. Cravo, João P. Martins

Proceedings of the Proc. 7th Austrian Conference on Artificial Intelligence, 1991

1990

Planning in a commonsense framework.

Carlos A. Pinto-Ferreira, João P. Martins

Artif. Intell. Rev., 1990

Bringing Resources into Logic.

Nuno J. Mamede, João P. Martins

Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

A Formal System for Reasoning about Change.

Carlos A. Pinto-Ferreira, João P. Martins

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

Recent Advances and Developments - The SNePS 2.1 Report.

Stuart C. Shapiro, João P. Martins

Proceedings of the Current Trends in SNePS, 1989

Expanding SNePS Capabilities with LORE.

Nuno J. Mamede, João P. Martins

Proceedings of the Current Trends in SNePS, 1989

Path-based Inference Revisited.

Maria R. Cravo, João P. Martins

Proceedings of the Current Trends in SNePS, 1989

Computational issues in belief revision.

João P. Martins

Proceedings of the Logic of Theory Change, 1989

Inscription - A Rule of Conjecture.

Carlos A. Pinto-Ferreira, João P. Martins

Proceedings of the EPIA 89, 1989

Reasoning with the Unknown.

Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins

Proceedings of the EPIA 89, 1989

Path-Based Inference in SNeBr.

Maria R. Cravo, João P. Martins

Proceedings of the EPIA 89, 1989

1988

A Model for Belief Revision.

João P. Martins, Stuart C. Shapiro

Artif. Intell., 1988

1986

Theoretical Foundations for Belief Revision.

João P. Martins, Stuart C. Shapiro

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1983

Reasoning in Multiple Belief Spaces.

João P. Martins, Stuart C. Shapiro

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983