6.3 List of Journals and Conferences

The following is a non-exclusive list of journals and conferences suited for publication by doctoral candidates. Suitable workshops include in particular those that are offered co-located with the listed conferences.

6.3.0.1 Journals

  • Annals of Pure of Applied Logic
  • Archives of Mathematical Logic
  • Artificial Intelligence
  • Constraints
  • Fundamenta Informaticae
  • Information and Computation
  • Journal of Applied Logics
  • Journal of Applied Non-Classical Logic
  • Journal of Artificial Intelligence Research
  • Journal of Automated Reasoning
  • Journal of Computer System Sciences
  • Journal of Logic and Computation
  • Journal of Symbolic Logic
  • Journal of Symbolic Computation
  • Journal of Theoretical Computer Science
  • Logical Methods in Computer Science
  • Theory and Practice of Logic Programming
  • Transaction on Computational Logic

6.3.0.2 Conferences

  • Annual Conference of the European Association for Computer Science Logic (CSL)
  • Conference on Automated Deduction (CADE)
  • Eureopean Conference on Artificial Intelligence (ECAI)
  • European Conference on Logics in Artificial Intelligence (JELIA)
  • IEEE Symposium on Logic in Computer Science (LICS)
  • International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
  • International Conference on Logic Programming (ICLP)
  • International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)
  • International Conference on Principles and Practice of Constraint Programming (CP)
  • International Joint Conference on Artificial Intelligence (IJCAI)
  • International Joint Conference on Automated Reasoning (IJCAR)
  • Logic for Programming Artificial Intelligence and Reasoning (LPAR)
  • National Conference on Artificial Intelligence (AAAI)
  • Principles of Database Systems (PODS)
  • Principles of Knowledge Representation and Reasoning (KR)
  • Theory and Applications of Satisfiability Testing (SAT)
  • Web Reasoning and Rule Systems (RR)
  • Description Logic Workshop (DL)



Subsections