Journals and Conferences that author prefers

Journals

1. Logic Journal of the IGPL (15 paper(s))
2. J. Symb. Log. (12 paper(s))
3. J. Log. Comput. (11 paper(s))
4. Studia Logica (8 paper(s))
5. J. Log. Algebr. Program. (4 paper(s))
6. Journal of Logic, Language and Information (3 paper(s))
7. Artif. Intell. (2 paper(s))
8. Arch. Math. Log. (2 paper(s))
9. CoRR (2 paper(s))
10. Soft Comput. (2 paper(s))
11. Theor. Comput. Sci. (2 paper(s))
12. Journal of Applied Non-Classical Logics (2 paper(s))
13. J. Applied Logic (2 paper(s))
14. J. Autom. Reasoning (2 paper(s))
15. KI (1 paper(s))
16. Notre Dame Journal of Formal Logic (1 paper(s))
17. Formal Asp. Comput. (1 paper(s))
18. Inf. Comput. (1 paper(s))
19. International Journal on Artificial Intelligence Tools (1 paper(s))
20. ACM Trans. Comput. Log. (1 paper(s))
21. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (8 paper(s))
2. Analytic Tableaux and Related Methods (TABLEAUX) (4 paper(s))
3. Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU) (4 paper(s))
4. Conference for Computer Science Logic (CSL) (3 paper(s))
5. Principles of Knowledge Representation and Reasoning (KR) (3 paper(s))
6. Scandinavian Conference on AI (SCAI) (2 paper(s))
7. International Conference on Concurrency Theory (CONCUR) (2 paper(s))
8. Deutsche Jahrestagung für Künstliche Intelligenz (2 paper(s))
9. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
10. The Florida AI Research Society (FLAIRS) (1 paper(s))
11. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
12. (1 paper(s))
13. Frontiers of Combining Systems (FroCoS) (1 paper(s))
14. REX (Research and Education in Concurrent Systems) - Workshops (1 paper(s))
15. UK Conference on Logic Programming (ALPUK) (1 paper(s))
16. Hybrid Intelligent Systems (1 paper(s))
17. Birthday ... (1 paper(s))
18. International Conference on Database Theory (ICDT) (1 paper(s))
19. International Conference on Automated Deduction (CADE) (1 paper(s))
20. International Conference on Logic Programming (1 paper(s))
21. Temporal Logic in Specification (1 paper(s))
22. International Conference on Neural Information Processing (1 paper(s))
23. Very Large Data Bases (VLDB) Conference (1 paper(s))
24. Intelligent Tutoring Systems (ITS) (1 paper(s))
25. (1 paper(s))
26. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
27. Extensions of Logic Programming (ELP) (1 paper(s))
28. Logical Aspects of Computational Linguistics (LACL) (1 paper(s))
29. European Software Engineering Conference (ESEC) (1 paper(s))
30. Logic, Action, and Information (1 paper(s))
31. Fundamentals of Artificial Intelligence Research (1 paper(s))
32. Logic Programming and Non-Monotonic Reasoning (LPNMR) (1 paper(s))
33. Formal and Applied Practical Reasoning (FAPR) (1 paper(s))
34. Neural Information Processing Systems (NIPS) (1 paper(s))