Contextual Negations and Reasoning with Contradictions. - Walter Alexandre Carnielli; Luis Fariñas del Cerro; Mamede Lima-Marques (IJCAI, 1991)

TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. - Philippe Balbiani; Andreas Herzig; Mamede Lima-Marques (PDK, 1991)

Implementing Prolog Extensions: a Parallel Inference Machine. - Jean-Marc Alliot; Andreas Herzig; Mamede Lima-Marques (FGCS, 1992)

Reasoning under Inconsistent Knowledge. - Walter Alexandre Carnielli; Mamede Lima-Marques (J. Appl. Non Class. Logics, 1992)

Quality of Service Control in IP Networks Using Fuzzy Logic for Policy Condition Evaluation. - Raulison Alves Resende; Nadia A. Nassif; Marcos A. de Siqueira; Ademilson E. da Silva; Mamede Lima-Marques (FUZZ-IEEE, 2005)

Generating security event correlation rules through k-means clustering. - Nelson Uto; Helen Teixeira; Andre Blazko; Marcos Ferreira de Paula; Renata Cicilini Teixeira; Mamede Lima-Marques (ICETE, 2005)

An Architecture of Authoring Environments for the Semantic Web. - Edgard Costa Oliveira; Mamede Lima-Marques (ELPUB, 2006)

Enterprise Architecture - State of the Art and Challenges. - Jorge Cordeiro Duarte; Mamede Lima-Marques (ICEIS (3), 2010)

Frameworks for Understanding the Changing Role of Informations Systems in Organizations. - Jorge Cordeiro Duarte; Mamede Lima-Marques (ICEIS (3), 2010)

Compression of touchless multiview fingerprints. - Nelson C. Francisco; Alexandre Zaghetto; Bruno Macchiavello; Eduardo A. B. da Silva; Mamede Lima-Marques; Nuno M. M. Rodrigues; Sérgio M. M. de Faria (BioMS, 2011)

Society semantics and the logic way to collective intelligence. - Walter Carnielli; Mamede Lima-Marques (J. Appl. Non Class. Logics, 2017)