Journals and Conferences that author prefers

Journals

1. CoRR (5 paper(s))
2. J. Log. Comput. (4 paper(s))
3. Ann. Math. Artif. Intell. (3 paper(s))
4. Autonomous Agents and Multi-Agent Systems (2 paper(s))
5. Electr. Notes Theor. Comput. Sci. (2 paper(s))
6. ACM Trans. Comput. Log. (2 paper(s))
7. Formal Asp. Comput. (2 paper(s))
8. Journal of Applied Non-Classical Logics (2 paper(s))
9. J. Applied Logic (1 paper(s))
10. Artif. Intell. (1 paper(s))
11. J. Autom. Reasoning (1 paper(s))
12. Artif. Intell. Rev. (1 paper(s))
13. J. Exp. Theor. Artif. Intell. (1 paper(s))
14. J. Symb. Comput. (1 paper(s))
15. Ann. Pure Appl. Logic (1 paper(s))
16. Studia Logica (1 paper(s))
17. IEEE Intelligent Systems (1 paper(s))
18. Computational Intelligence (1 paper(s))
19. Inf. Comput. (1 paper(s))
20. International Journal on Artificial Intelligence Tools (1 paper(s))
21. Int. J. Cooperative Inf. Syst. (1 paper(s))

Conferences

1. TIME Symposium / Workshop (9 paper(s))
2. (9 paper(s))
3. Agent Theories, Architectures, and Languages (ATAL) (7 paper(s))
4. International Joint Conference on Artificial Intelligence (IJCAI) (6 paper(s))
5. Formal Approaches to Agent-Based Systems (3 paper(s))
6. International Conference on Temporal Logic (3 paper(s))
7. Computational Logic in Multi-Agent Systems (3 paper(s))
8. Russian Conference on Logic Programming / (3 paper(s))
9. Programming Multi-Agent Systems (2 paper(s))
10. Frontiers of Combining Systems (FroCoS) (2 paper(s))
11. International Conference on Automated Deduction (CADE) (2 paper(s))
12. Deutsche Jahrestagung für Künstliche Intelligenz (2 paper(s))
13. Portuguese Conference on Artificial Intelligence (EPIA) (2 paper(s))
14. (1 paper(s))
15. Parallel and Distributed Computing and Systems (1 paper(s))
16. Workshops on Abstract State Machines (1 paper(s))
17. Formal and Applied Practical Reasoning (FAPR) (1 paper(s))
18. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
19. Automatic Verification Methods for Finite State Systems (1 paper(s))
20. International Conference on Multiagent Systems (ICMAS) (1 paper(s))
21. Scandinavian Conference on AI (SCAI) (1 paper(s))
22. Analytic Tableaux and Related Methods (TABLEAUX) (1 paper(s))
23. Computer Aided Verification (CAV) (1 paper(s))
24. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
25. UKMAS Workshop (1 paper(s))
26. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
27. (1 paper(s))
28. Publications Resulting from Dagstuhl Seminars (1 paper(s))
29. Principles of Knowledge Representation and Reasoning (KR) (1 paper(s))
30. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
31. European Conference on Artificial Intelligence (ECAI) Workshops (1 paper(s))
32. Modelling Autonomous Agents in a Multi-Agent World (MAAMAW) (1 paper(s))
33. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
34. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
35. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))