Journals and Conferences that author prefers

Journals

1. Ann. Math. Artif. Intell. (2 paper(s))
2. Electr. Notes Theor. Comput. Sci. (2 paper(s))
3. Evolutionary Computation (1 paper(s))
4. Elektronische Informationsverarbeitung und Kybernetik (1 paper(s))
5. Inform., Forsch. Entwickl. (1 paper(s))
6. Logic Journal of the IGPL (1 paper(s))
7. J. Autom. Reasoning (1 paper(s))
8. J. Symb. Comput. (1 paper(s))
9. KI (1 paper(s))
10. CoRR (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (5 paper(s))
2. Deutsche Jahrestagung für Künstliche Intelligenz (4 paper(s))
3. Mathematical Knowledge Management (3 paper(s))
4. (3 paper(s))
5. European Conference on Artificial Intelligence (ECAI) (3 paper(s))
6. Australian Joint Conference on Artificial Intelligence (2 paper(s))
7. World Conference on the Fundamentals of Artificial Intelligence (WOCFAI) (2 paper(s))
8. Analogical and Inductive Inference (AII) (1 paper(s))
9. Birthday ... (1 paper(s))
10. Design and Implementation of Symbolic Computation Systems (DISCO) (1 paper(s))
11. Formal and Applied Practical Reasoning (FAPR) (1 paper(s))
12. Genetic and Evolutionary Computation Conference (GECCO) (1 paper(s))
13. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
14. Int. Workshop on Learning Classifier Systems (1 paper(s))
15. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
16. Russian Conference on Logic Programming / (1 paper(s))