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