Mamede Lima-Marques

Publication Activity (10 Years)

Years Active: 1991-2017
Publications (10 Years): 1

Top Topics

Sound And Complete With Respect

Nonmonotonic Logics

Propositional Dynamic Logic

Top Venues

J. Appl. Non Class. Logics

Publications

Walter Carnielli, Mamede Lima-Marques
Society semantics and the logic way to collective intelligence. J. Appl. Non Class. Logics 27 (3-4) (2017)
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
Compression of touchless multiview fingerprints. BioMS (2011)
Jorge Cordeiro Duarte, Mamede Lima-Marques
Frameworks for Understanding the Changing Role of Informations Systems in Organizations. ICEIS (3) (2010)
Jorge Cordeiro Duarte, Mamede Lima-Marques
Enterprise Architecture - State of the Art and Challenges. ICEIS (3) (2010)
Edgard Costa Oliveira, Mamede Lima-Marques
An Architecture of Authoring Environments for the Semantic Web. ELPUB (2006)
Raulison Alves Resende, Nadia A. Nassif, Marcos A. de Siqueira, Ademilson E. da Silva, Mamede Lima-Marques
Quality of Service Control in IP Networks Using Fuzzy Logic for Policy Condition Evaluation. FUZZ-IEEE (2005)
Nelson Uto, Helen Teixeira, Andre Blazko, Marcos Ferreira de Paula, Renata Cicilini Teixeira, Mamede Lima-Marques
Generating security event correlation rules through k-means clustering. ICETE (2005)
Walter Alexandre Carnielli, Mamede Lima-Marques
Reasoning under Inconsistent Knowledge. J. Appl. Non Class. Logics 2 (1) (1992)
Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques
Implementing Prolog Extensions: a Parallel Inference Machine. FGCS (1992)
Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK (1991)
Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques
Contextual Negations and Reasoning with Contradictions. IJCAI (1991)