Mamede Lima-Marques

Statistics

Publications

Citations

H-Index

Active since

1992

Affiliations

Ministry of Science, Technology and Innovation(Current)

Mamede Lima-Marques is an author at Ministry of Science, Technology and Innovation specializing in computing, deductive reasoning, and automated reasoning.

ORCID

Publications per year

1992–2018

Publications

Reasoning under inconsistent knowledge

Walter Carnielli, Mamede Lima-Marques · Journal of Applied Non-Classical Logics · 1992 · 24 citations

Computing, Knowledge Management, Knowledge Representation +10

An Information Architecture Framework for the Internet of Things

Flávia Lacerda, Mamede Lima-Marques, Andrea Resmini · Philosophy & Technology · 2018 · 14 citations · Full text

Computing, Design, Information Systems +13

Implementing Prolog Extensions: a Parallel Inference Machine.

Jean‐Marc Alliot, Andreas Herzig, Mamede Lima-Marques · 1992 · 10 citations

Computing, Computer Science, Parallel Computing +9

1–3 of 3