 | 2011 |
|---|
| 14 |       | Patrick Terrematte,
Fabrício Costa,
João Marcos:
Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects.
TICTTL 2011: 223-230 |
| 2010 |
|---|
| 13 | | Carlos Caleiro,
João Marcos:
Two Many Values: An Algorithmic Outlook on Suszko's Thesis.
ISMVL 2010: 93-97 |
| 2009 |
|---|
| 12 | | João Marcos:
Automatic Generation of Proof Tactics for Finite-Valued Logics
RULE 2009: 91-98 |
| 11 | | Carlos Caleiro,
João Marcos:
Classic-Like Analytic Tableaux for Finite-Valued Logics.
WoLLIC 2009: 268-280 |
| 10 | | João Marcos:
What is a Non-truth-functional Logic?
Studia Logica 92(2): 215-240 (2009) |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page