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