Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (9 paper(s))
2. Artif. Intell. (6 paper(s))
3. AI Magazine (4 paper(s))
4. International Journal of Man-Machine Studies (3 paper(s))
5. Autom. Softw. Eng. (3 paper(s))
6. Electr. Notes Theor. Comput. Sci. (3 paper(s))
7. Int. J. Approx. Reasoning (2 paper(s))
8. AI Soc. (2 paper(s))
9. Ann. Math. Artif. Intell. (2 paper(s))
10. J. Symb. Comput. (2 paper(s))
11. Comput. J. (2 paper(s))
12. AI Commun. (1 paper(s))
13. AI EDAM (1 paper(s))
14. J. Funct. Program. (1 paper(s))
15. Journal of Logic, Language and Information (1 paper(s))
16. Appl. Intell. (1 paper(s))
17. KI (1 paper(s))
18. Theor. Comput. Sci. (1 paper(s))
19. Computational Intelligence (1 paper(s))
20. Int. J. Semantic Web Inf. Syst. (1 paper(s))
21. IEEE Intelligent Systems (1 paper(s))
22. Formal Asp. Comput. (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (16 paper(s))
2. International Joint Conference on Artificial Intelligence (IJCAI) (13 paper(s))
3. European Conference on Artificial Intelligence (ECAI) (8 paper(s))
4. Birthday ... (5 paper(s))
5. (4 paper(s))
6. Automated Software Engineering (ASE) (4 paper(s))
7. Diagrams (4 paper(s))
8. Russian Conference on Logic Programming / (4 paper(s))
9. National Conference on Artificial Intelligence (AAAI) (3 paper(s))
10. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (3 paper(s))
11. International Conference on Theorem Proving in Higher Order Logics (2 paper(s))
12. International Conference on Logic Programming (2 paper(s))
13. Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU) (2 paper(s))
14. Fifth Generation Computer Systems (1 paper(s))
15. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
16. International Conference on Automated Planning and Scheduling (ICAPS) / Conference on Artificial Intelligence Planning Systems (AIPS) (1 paper(s))
17. The Florida AI Research Society (FLAIRS) (1 paper(s))
18. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
19. Artificial Intelligence and Symbolic Computation (AISC) (1 paper(s))
20. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
21. UK Conference on Logic Programming (ALPUK) (1 paper(s))
22. (1 paper(s))
23. International Conference on Machine Learning (ICML) (1 paper(s))
24. Mathematical Knowledge Management (1 paper(s))
25. IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID) (1 paper(s))
26. International Workshop on Software Specification and Design (IWSSD) (1 paper(s))
27. Computers and Games (1 paper(s))
28. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
29. Logic Programming Summer School (LPSS) (1 paper(s))
30. Mexican International Conference on Artificial Intelligence (MICAI) (1 paper(s))
31. European Conference on Computer Algebra (EUROCAL) (1 paper(s))
32. Non-Monotonic Reasoning (NMR) (1 paper(s))