João Emilio Segurado Pavão Martins
AuthID: R-000-6YB
1
TÃTULO: An Argumentation Framework for Optimal Repair Checking
AUTORES: Emanuel Santos; Joao Pavao Martins;
PUBLICAÇÃO: 2009, FONTE: IEEE 5th International Conference on Intelligent Computer Communication and Processing in 2009 IEEE 5TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS
AUTORES: Emanuel Santos; Joao Pavao Martins;
PUBLICAÇÃO: 2009, FONTE: IEEE 5th International Conference on Intelligent Computer Communication and Processing in 2009 IEEE 5TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTER COMMUNICATION AND PROCESSING, PROCEEDINGS
2
TÃTULO: Knowledge acquisition system to support low vision consultation
AUTORES: Antunes, Claudia ; Martins, JP;
PUBLICAÇÃO: 2001, FONTE: 8th Conference on Artificial Intelligence in Medicine in Europe (AIME 2001) in ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, VOLUME: 2101
AUTORES: Antunes, Claudia ; Martins, JP;
PUBLICAÇÃO: 2001, FONTE: 8th Conference on Artificial Intelligence in Medicine in Europe (AIME 2001) in ARTIFICIAL INTELLIGENCE IN MEDICINE, PROCEEDINGS, VOLUME: 2101
INDEXADO EM: 
WOS 
DBLP
WOS DBLP3
TÃTULO: Non-situation calculus and database systems
AUTORES: Matos, PA; Martins, JP;
PUBLICAÇÃO: 2000, FONTE: 1st International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2000) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, VOLUME: 1762
AUTORES: Matos, PA; Martins, JP;
PUBLICAÇÃO: 2000, FONTE: 1st International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2000) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, VOLUME: 1762
INDEXADO EM: 
Scopus WOS
Scopus WOS