| 2006 |
|---|
| 6 | EE | Edgard Costa Oliveira,
Mamede Lima-Marques:
An Architecture of Authoring Environments for the Semantic Web.
ELPUB 2006: 175-186 |
| 2005 |
|---|
| 5 | | 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: 376-381 |
| 1992 |
|---|
| 4 | | Jean-Marc Alliot,
Andreas Herzig,
Mamede Lima-Marques:
Implementing Prolog Extensions: a Parallel Inference Machine.
FGCS 1992: 833-842 |
| 3 | | Walter Alexandre Carnielli,
Mamede Lima-Marques:
Reasoning under Inconsistent Knowledge.
Journal of Applied Non-Classical Logics 2(1): (1992) |
| 1991 |
|---|
| 2 | | Walter Alexandre Carnielli,
Luis Fariñas del Cerro,
Mamede Lima-Marques:
Contextual Negations and Reasoning with Contradictions.
IJCAI 1991: 532-537 |
| 1 | | Philippe Balbiani,
Andreas Herzig,
Mamede Lima-Marques:
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming.
PDK 1991: 366-382 |
