Journals and Conferences that author prefers

Journals

1. CoRR (5 paper(s))
2. J. Log. Comput. (5 paper(s))
3. Studia Logica (5 paper(s))
4. Fundam. Inform. (4 paper(s))
5. Theor. Comput. Sci. (4 paper(s))
6. Inf. Comput. (3 paper(s))
7. Journal of Logic, Language and Information (3 paper(s))
8. Ann. Math. Artif. Intell. (1 paper(s))
9. Electr. Notes Theor. Comput. Sci. (1 paper(s))
10. Int. J. Found. Comput. Sci. (1 paper(s))
11. Inf. Process. Lett. (1 paper(s))
12. Journal of Applied Non-Classical Logics (1 paper(s))
13. J. Comput. Syst. Sci. (1 paper(s))
14. Ann. Pure Appl. Logic (1 paper(s))

Conferences

1. Analytic Tableaux and Related Methods (TABLEAUX) (5 paper(s))
2. (5 paper(s))
3. Relational Methods in Computer Science (RelMiCS) (3 paper(s))
4. International Conference on Automated Deduction (CADE) (3 paper(s))
5. International Joint Conference on Artificial Intelligence (IJCAI) (3 paper(s))
6. Symposium on Theoretical Aspects of Computer Science (STACS) (2 paper(s))
7. Automated Technology for Verification and Analysis (2 paper(s))
8. TIME Symposium / Workshop (2 paper(s))
9. Logical Foundations of Computer Science (LFCS) (2 paper(s))
10. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (2 paper(s))
11. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
12. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
13. (1 paper(s))
14. World Conference on the Fundamentals of Artificial Intelligence (WOCFAI) (1 paper(s))
15. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
16. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
17. Russian Conference on Logic Programming / (1 paper(s))
18. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
19. First Order Theorem Proving (FTP) (1 paper(s))
20. Knowledge Representation Meets Databases (KRDB) (1 paper(s))
21. Logic in Computer Science (LICS) (1 paper(s))