Search the dblp DataBase

Publications of Author

1. Sandra de Amo, Walter Alexandre Carnielli, João Marcos
   A Logical Framework for Integrating Inconsistent Information in Multiple Databases. [Citation Graph (0, 0)][DBLP]
   FoIKS, 2002, pp:67-84 [Conf]
   
2. João Marcos
   On negation: Pure local rules. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2005, v:3, n:1, pp:185-219 [Journal]
   
3. João Marcos, Diderik Batens, Walter Alexandre Carnielli
   A Paraconsistent Decagon. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2005, v:3, n:1, pp:1-5 [Journal]
   
4. Walter Alexandre Carnielli, João Marcos
   Limits for Paraconsistent Calculi. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1999, v:40, n:3, pp:375-390 [Journal]
   
5. Gonçalo Monteiro, Miguel Ribeiro, João Marcos, Jorge Batista
   A Framework for Wrong Way Driver Detection Using Optical Flow. [Citation Graph (0, 0)][DBLP]
   ICIAR, 2007, pp:1117-1127 [Conf]
   
6. 
   Towards Fully Automated Axiom Extraction for Finite-Valued Logics. [Citation Graph (, )][DBLP]
   
   
7. 
   Robust Segmentation Process to Detect Incidents on Highways. [Citation Graph (, )][DBLP]
   
   
8. 
   Wrongway Drivers Detection Based on Optical Flow. [Citation Graph (, )][DBLP]
   
   
9. 
   Robust segmentation for outdoor traffic surveillance. [Citation Graph (, )][DBLP]
   
   
10. 
    Two Many Values: An Algorithmic Outlook on Suszko's Thesis. [Citation Graph (, )][DBLP]
    
    
11. 
    Classic-Like Analytic Tableaux for Finite-Valued Logics. [Citation Graph (, )][DBLP]
    
    
12. 
    Automatic Generation of Proof Tactics for Finite-Valued Logics [Citation Graph (, )][DBLP]