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: 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