default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão P. Martins
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 1998
[j6]Ernesto M. Morgado, João P. Martins:
CREWS_NS: Scheduling Train Crews in The Netherlands. AI Mag. 19(1): 25-38 (1998)- 1993
- [j5]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) - [j4]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) - 1991
- [j3]João P. Martins:
The Truth, the Whole Truth, and Nothing But the Truth. AI Mag. 11(5): 7-25 (1991) - 1990
- [j2]Carlos A. Pinto-Ferreira, João P. Martins:
Planning in a commonsense framework. Artif. Intell. Rev. 4(4): 279-294 (1990) - 1988
- [j1]João P. Martins, Stuart C. Shapiro:
A Model for Belief Revision. Artif. Intell. 35(1): 25-79 (1988)
Conference and Workshop Papers
- 2012
- [c24]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: 2237-2244 - 2003
- [c23]João P. Martins, Ernesto M. Morgado, Rolf Haugen:
TPO: A System for Scheduling and Managing Train Crew in Norway. IAAI 2003: 25-34 - 2001
- [c22]Cláudia Antunes, João P. Martins:
Knowledge Acquisition System to Support Low Vision Consultation. AIME 2001: 332-338 - [c21]Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins:
Permissive Belief Revision. EPIA 2001: 335-348 - 2000
- [c20]Pedro A. de Matos, João P. Martins:
Non-situation Calculus and Database Systems. FoIKS 2000: 176-191 - 1997
- [c19]Ernesto M. Morgado, João P. Martins:
CREWS_NS: Scheduling Train Crew in The Netherlands. AAAI/IAAI 1997: 893-902 - [c18]Pedro A. de Matos, João P. Martins:
Contextual Logic of Change and the Ramification Problem. EPIA 1997: 267-278 - [c17]Pedro A. de Matos, João P. Martins:
Contextual Logic of Change and Contextual Proofs. TIME 1997: 153-159 - 1995
- [c16]Pedro A. de Matos, João P. Martins:
Parsimonious Diagnosis in SNePS. EPIA 1995: 457-463 - 1993
- [c15]Maria R. Cravo, João P. Martins:
A Practical System for Defeasible Reasoning and Belief Revision. ECSQARU 1993: 65-72 - [c14]Maria R. Cravo, João P. Martins:
A Unified Approach to Default Reasoning and Belief Revision. EPIA 1993: 226-241 - 1991
- [c13]Maria R. Cravo, João P. Martins:
Being Aware of Assumptions. ÖGAI 1991: 137-146 - 1990
- [c12]Carlos A. Pinto-Ferreira, João P. Martins:
A Formal System for Reasoning about Change. ECAI 1990: 503-508 - [c11]Nuno J. Mamede, João P. Martins:
Bringing Resources into Logic. ISMVL 1990: 220-227 - 1989
- [c10]Nuno J. Mamede, Carlos A. Pinto-Ferreira, João P. Martins:
Reasoning with the Unknown. EPIA 1989: 85-96 - [c9]Maria R. Cravo, João P. Martins:
Path-Based Inference in SNeBr. EPIA 1989: 97-106 - [c8]Carlos A. Pinto-Ferreira, João P. Martins:
Inscription - A Rule of Conjecture. EPIA 1989: 141-150 - [c7]João P. Martins:
Computational issues in belief revision. The Logic of Theory Change 1989: 51-71 - [c6]Stuart C. Shapiro, João P. Martins:
Recent Advances and Developments - The SNePS 2.1 Report. SNePS 1989: 1-13 - [c5]Maria R. Cravo, João P. Martins:
Path-based Inference Revisited. SNePS 1989: 15-26 - [c4]Nuno J. Mamede, João P. Martins:
Expanding SNePS Capabilities with LORE. SNePS 1989: 27-39 - 1986
- [c3]João P. Martins, Stuart C. Shapiro:
Theoretical Foundations for Belief Revision. TARK 1986: 383-398 - 1984
- [c2]João P. Martins, Stuart C. Shapiro:
A Model for Belief Revision. NMR 1984: 241-294 - 1983
- [c1]João P. Martins, Stuart C. Shapiro:
Reasoning in Multiple Belief Spaces. IJCAI 1983: 370-373
Editorship
- 1991
- [e2]João P. Martins, Michael Reinfrank:
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 [contents] - 1989
- [e1]João P. Martins, Ernesto M. Morgado:
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 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 12:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
