 | 2009 |
|---|
| 10 |       | Carlos Caleiro,
João Marcos:
Classic-Like Analytic Tableaux for Finite-Valued Logics.
WoLLIC 2009: 268-280 |
| 2008 |
|---|
| 9 | | Gonçalo Monteiro,
João Marcos,
Miguel Ribeiro,
Jorge Batista:
Robust Segmentation Process to Detect Incidents on Highways.
ICIAR 2008: 110-121 |
| 8 | | Gonçalo Monteiro,
João Marcos,
Miguel Ribeiro,
Jorge Batista:
Robust segmentation for outdoor traffic surveillance.
ICIP 2008: 2652-2655 |
| 7 | | João Marcos,
Dalmo Mendonca:
Towards Fully Automated Axiom Extraction for Finite-Valued Logics.
PAAR/ESHOL 2008 |
| 2007 |
|---|
| 6 | | Gonçalo Monteiro,
Miguel Ribeiro,
João Marcos,
Jorge Batista:
A Framework for Wrong Way Driver Detection Using Optical Flow.
ICIAR 2007: 1117-1127 |
| 5 | | Gonçalo Monteiro,
Miguel Ribeiro,
João Marcos,
Jorge Batista:
Wrongway Drivers Detection Based on Optical Flow.
ICIP (5) 2007: 141-144 |
| 2005 |
|---|
| 4 | | João Marcos,
Diderik Batens,
Walter Alexandre Carnielli:
A Paraconsistent Decagon.
J. Applied Logic 3(1): 1-5 (2005) |
| 3 | | João Marcos:
On negation: Pure local rules.
J. Applied Logic 3(1): 185-219 (2005) |
| 2002 |
|---|
| 2 | | Sandra de Amo,
Walter Alexandre Carnielli,
João Marcos:
A Logical Framework for Integrating Inconsistent Information in Multiple Databases.
FoIKS 2002: 67-84 |
| 1999 |
|---|
| 1 |  | Walter Alexandre Carnielli,
João Marcos:
Limits for Paraconsistent Calculi.
Notre Dame Journal of Formal Logic 40(3): 375-390 (1999) |
