Journals and Conferences that author prefers

Journals

1. Artif. Intell. (2 paper(s))
2. Ann. Math. Artif. Intell. (1 paper(s))
3. Journal of Applied Non-Classical Logics (1 paper(s))
4. J. Autom. Reasoning (1 paper(s))
5. J. Artif. Intell. Res. (JAIR) (1 paper(s))
6. AI Commun. (1 paper(s))
7. Constraints (1 paper(s))

Conferences

1. (10 paper(s))
2. Theory and Applications of Satisfiability Testing (5 paper(s))
3. Congress of the Italian Association for Artificial Intelligence (AI*IA) (3 paper(s))
4. International Conference on Automated Deduction (CADE) (3 paper(s))
5. Principles and Practice of Constraint Programming (CP) (3 paper(s))
6. Analytic Tableaux and Related Methods (TABLEAUX) (2 paper(s))
7. Computer Aided Verification (CAV) (2 paper(s))
8. Description Logics Workshops (2 paper(s))
9. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (2 paper(s))
10. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
11. Birthday ... (1 paper(s))
12. Design, Automation, and Test in Europe (1 paper(s))
13. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
14. Frontiers of Combining Systems (FroCoS) (1 paper(s))
15. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
16. Principles of Knowledge Representation and Reasoning (KR) (1 paper(s))