Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (2 paper(s))
2. CoRR (1 paper(s))
3. Bulletin of the EATCS (1 paper(s))
4. Inf. Comput. (1 paper(s))
5. J. Autom. Reasoning (1 paper(s))
6. J. Log. Algebr. Program. (1 paper(s))
7. J. Symb. Comput. (1 paper(s))
8. Studia Logica (1 paper(s))
9. ACM Trans. Comput. Log. (1 paper(s))

Conferences

1. Russian Conference on Logic Programming / (5 paper(s))
2. International Conference on Automated Deduction (CADE) (2 paper(s))
3. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (2 paper(s))
4. Logic in Computer Science (LICS) (2 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
6. Rewriting Techniques and Applications (RTA) (1 paper(s))
7. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
8. Conference for Computer Science Logic (CSL) (1 paper(s))
9. TIME Symposium / Workshop (1 paper(s))
10. Conditional and Typed Rewriting Systems (CTRS) (1 paper(s))
11. World Conference on the Fundamentals of Artificial Intelligence (WOCFAI) (1 paper(s))
12. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
13. Extensions of Logic Programming (ELP) (1 paper(s))
14. International Conference on Logic Programming (1 paper(s))
15. Intelligent Information Systems (1 paper(s))
16. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
17. Deutsche Jahrestagung für Künstliche Intelligenz (1 paper(s))