Journals and Conferences that author prefers

Journals

1. KI (3 paper(s))
2. J. Log. Comput. (2 paper(s))
3. Artif. Intell. (1 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. Inf. Comput. (1 paper(s))
6. Inform., Forsch. Entwickl. (1 paper(s))
7. J. Autom. Reasoning (1 paper(s))
8. J. Symb. Log. (1 paper(s))
9. J. UCS (1 paper(s))
10. Kognitionswissenschaft (1 paper(s))
11. (1 paper(s))
12. Software and System Modeling (1 paper(s))
13. Softwaretechnik-Trends (1 paper(s))

Conferences

1. (7 paper(s))
2. Conference for Computer Science Logic (CSL) (4 paper(s))
3. Conference on Software Engineering and Formal Methods (SEFM) (2 paper(s))
4. International Conference on Automated Deduction (CADE) (2 paper(s))
5. The Unified Modeling Language (UML) (2 paper(s))
6. IBM Scientific Symposium Series (2 paper(s))
7. LILOG (2 paper(s))
8. International Conference on Automated Planning and Scheduling (ICAPS) / Conference on Artificial Intelligence Planning Systems (AIPS) (1 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
10. Publications Resulting from Dagstuhl Seminars (1 paper(s))
11. Formal Methods for Open Object-Based Distributed Systems (1 paper(s))
12. Ershov Memorial Conference (1 paper(s))
13. Formal and Applied Practical Reasoning (FAPR) (1 paper(s))
14. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
15. GI-Jahrestagung (1 paper(s))
16. IEEE International Conference on Formal Engineering Methods (1 paper(s))
17. Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (1 paper(s))
18. Kurt Gödel Colloquium (KGC) (1 paper(s))