Journals and Conferences that author prefers

Journals

1. J. ACM (2 paper(s))
2. J. Autom. Reasoning (2 paper(s))
3. Fundam. Inform. (1 paper(s))
4. Logic Journal of the IGPL (1 paper(s))
5. J. Symb. Comput. (1 paper(s))
6. Theor. Comput. Sci. (1 paper(s))

Conferences

1. International Syposium on Methodologies for Intelligent Systems (ISMIS) (9 paper(s))
2. Analytic Tableaux and Related Methods (TABLEAUX) (5 paper(s))
3. International Conference on Automated Deduction (CADE) (4 paper(s))
4. (4 paper(s))
5. IEEE International Symposium on Multiple-Valued Logic (ISMVL) (2 paper(s))
6. International Symposium on Symbolic and Algebraic Computation (ISSAC) (2 paper(s))
7. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
8. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (AAECC) (1 paper(s))
9. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
10. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
11. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
12. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))