![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
João P. Martins
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 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
2000 – 2009
- 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
1990 – 1999
- 1998
- [j6]Ernesto M. Morgado, João P. Martins:
CREWS_NS: Scheduling Train Crews in The Netherlands. AI Mag. 19(1): 25-38 (1998) - 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
- [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) - [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
- [j3]João P. Martins:
The Truth, the Whole Truth, and Nothing But the Truth. AI Mag. 11(5): 7-25 (1991) - [c13]Maria R. Cravo, João P. Martins:
Being Aware of Assumptions. ÖGAI 1991: 137-146 - [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] - 1990
- [j2]Carlos A. Pinto-Ferreira
, João P. Martins:
Planning in a commonsense framework. Artif. Intell. Rev. 4(4): 279-294 (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
1980 – 1989
- 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 - [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] - 1988
- [j1]João P. Martins, Stuart C. Shapiro:
A Model for Belief Revision. Artif. Intell. 35(1): 25-79 (1988) - 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
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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 2024-04-24 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint