Journals and Conferences that author prefers

Journals

1. J. Autom. Reasoning (4 paper(s))
2. J. Symb. Comput. (3 paper(s))
3. KI (3 paper(s))
4. Artif. Intell. (2 paper(s))
5. Ann. Math. Artif. Intell. (1 paper(s))
6. International Journal on Artificial Intelligence Tools (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (11 paper(s))
2. Analytic Tableaux and Related Methods (TABLEAUX) (6 paper(s))
3. (3 paper(s))
4. Deutsche Jahrestagung für Künstliche Intelligenz (3 paper(s))
5. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
6. Birthday ... (2 paper(s))
7. Publications Resulting from Dagstuhl Seminars (2 paper(s))
8. International Conference on Logic Programming (2 paper(s))
9. International Joint Conference on Artificial Intelligence (IJCAI) (2 paper(s))
10. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (2 paper(s))
11. Russian Conference on Logic Programming / (2 paper(s))
12. Artificial Intelligence: Methodology, Systems, Applications (AIMSA) (1 paper(s))
13. Wirtschaftsinformatik (1 paper(s))
14. International Conference on Computational Logic (CL) (1 paper(s))
15. Workshop Logische Programmierung (1 paper(s))
16. Deductive Database Workshops (1 paper(s))
17. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
18. Principles and Practice of Semantic Web Reasoning (1 paper(s))