The SCEAS System
Navigation Menu

Search the dblp DataBase


João Marcos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002