Journals and Conferences that author prefers

Journals

1. Artif. Intell. (5 paper(s))
2. Ann. Math. Artif. Intell. (4 paper(s))
3. J. Autom. Reasoning (4 paper(s))
4. Applied Artificial Intelligence (1 paper(s))
5. AI Magazine (1 paper(s))
6. IEEE Intelligent Systems (1 paper(s))
7. Intelligenza Artificiale (1 paper(s))
8. Journal of Applied Non-Classical Logics (1 paper(s))
9. J. Exp. Theor. Artif. Intell. (1 paper(s))
10. J. Log. Comput. (1 paper(s))
11. J. Artif. Intell. Res. (JAIR) (1 paper(s))

Conferences

1. (8 paper(s))
2. Congress of the Italian Association for Artificial Intelligence (AI*IA) (7 paper(s))
3. National Conference on Artificial Intelligence (AAAI) (6 paper(s))
4. Theory and Applications of Satisfiability Testing (5 paper(s))
5. International Conference on Automated Deduction (CADE) (3 paper(s))
6. International Joint Conference on Artificial Intelligence (IJCAI) (3 paper(s))
7. Principles of Knowledge Representation and Reasoning (KR) (3 paper(s))
8. Artificial Intelligence: Methodology, Systems, Applications (AIMSA) (2 paper(s))
9. Computer Aided Verification (CAV) (2 paper(s))
10. Principles and Practice of Constraint Programming (CP) (2 paper(s))
11. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (2 paper(s))
12. European Conference on Artificial Intelligence (ECAI) (2 paper(s))
13. European Conference an Planning (ECP) (2 paper(s))
14. European Semantic Web Symposium / Conference (1 paper(s))
15. Scandinavian Conference on AI (SCAI) (1 paper(s))
16. Formal and Applied Practical Reasoning (FAPR) (1 paper(s))
17. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
18. Formal Methods in Computer-Aided Design (FMCAD) (1 paper(s))
19. Answer Set Programming (1 paper(s))
20. Frontiers of Combining Systems (FroCoS) (1 paper(s))
21. Agent Theories, Architectures, and Languages (ATAL) (1 paper(s))
22. International Conference on Logic Programming (1 paper(s))
23. Birthday ... (1 paper(s))
24. International Conference on Multiagent Systems (ICMAS) (1 paper(s))
25. International Syposium on Methodologies for Intelligent Systems (ISMIS) (1 paper(s))
26. Design, Automation, and Test in Europe (1 paper(s))
27. Description Logics Workshops (1 paper(s))
28. Modelling Autonomous Agents in a Multi-Agent World (MAAMAW) (1 paper(s))
29. Non-Monotonic Reasoning (NMR) (1 paper(s))