Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (3 paper(s))
2. AI Commun. (2 paper(s))
3. Artif. Intell. Rev. (1 paper(s))
4. Inf. Comput. (1 paper(s))
5. Logic Journal of the IGPL (1 paper(s))
6. Journal of Applied Non-Classical Logics (1 paper(s))
7. Journal of Logic, Language and Information (1 paper(s))
8. J. Symb. Comput. (1 paper(s))
9. Studia Logica (1 paper(s))
10. ACM Trans. Comput. Log. (1 paper(s))
11. Ann. Math. Artif. Intell. (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (7 paper(s))
2. Relational Methods in Computer Science (RelMiCS) (3 paper(s))
3. (3 paper(s))
4. International Joint Conference on Artificial Intelligence (IJCAI) (3 paper(s))
5. Russian Conference on Logic Programming / (2 paper(s))
6. Analytic Tableaux and Related Methods (TABLEAUX) (2 paper(s))
7. TIME Symposium / Workshop (2 paper(s))
8. Principles of Knowledge Representation and Reasoning (KR) (2 paper(s))
9. (1 paper(s))
10. Peer-to-Peer Knowledge Management (1 paper(s))
11. Description Logics Workshops (1 paper(s))
12. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
13. Formal Approaches to Agent-Based Systems (1 paper(s))
14. Frontiers of Combining Systems (FroCoS) (1 paper(s))
15. First Order Theorem Proving (FTP) (1 paper(s))
16. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
17. Knowledge Representation Meets Databases (KRDB) (1 paper(s))