The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Ricardo Caferra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. J. Symb. Comput. (3 paper(s))
  2. Journal of Applied Non-Classical Logics (1 paper(s))
  3. J. Autom. Reasoning (1 paper(s))
  4. J. Log. Comput. (1 paper(s))
  5. Studia Logica (1 paper(s))
  6. CoRR (1 paper(s))

Conferences

  1. (7 paper(s))
  2. International Conference on Automated Deduction (CADE) (4 paper(s))
  3. National Conference on Artificial Intelligence (AAAI) (2 paper(s))
  4. Artificial Intelligence: Methodology, Systems, Applications (AIMSA) (2 paper(s))
  5. International Joint Conference on Artificial Intelligence (IJCAI) (2 paper(s))
  6. Deutsche Jahrestagung für Künstliche Intelligenz (1 paper(s))
  7. Automated Deduction in Geometry (ADG) (1 paper(s))
  8. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
  9. Symposium on Theoretical Aspects of Computer Science (STACS) (1 paper(s))
  10. Birthday ... (1 paper(s))
  11. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
  12. (1 paper(s))
  13. Conference for Computer Science Logic (CSL) (1 paper(s))
  14. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
  15. Extensions of Logic Programming (ELP) (1 paper(s))
  16. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
  17. Fundamentals of Artificial Intelligence Research (1 paper(s))
  18. International Symposium on Symbolic and Algebraic Computation (ISSAC) (1 paper(s))
  19. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002