Journal of Symbolic Logic (JSL),
Journal of Artificial Intelligence Research
(JAIR),
Journal of Automated Reasoning (JAR),
Studia Logica,
Logic Journal of the Interest Group in Pure and
Applied Logics (IGPL),
Journal of Applied Non-Classical Logics
(JANCL),
Bulletin of The Section of Logic (BSL),
Conference on Computer Science Logic (CSL),
IEEE Symposium on Logic in Computer Science
(LICS),
Int. Joint Conference on Artificial
Intelligence (IJCAI),
Conference on Algebra and Coalgebra in Computer
Science (CALCO),
Conf. on Principles of Knowledge Representation
and Reasoning (KR),
European Conference on Artificial Intelligence
(ECAI),
Conf. on Logic for Programming Art.
Intelligence and Reasoning (LPAR),
Conf. on Analytic Tableaux and Related Methods
(TABLEAUX),
Conf. on Automated Deduction (CADE),
Conf. on Algebraic Methodology and Software
Technology (AMAST),
Conf. on Ontologies, DataBases, and Appl. of
Semantics (ODBASE)
Int. Symposium on Frontiers of Combining
Systems (FROCOS),
Conf. on Art. Intelligence: Methodology,
Systems, Applications (AIMSA)
Advances in Modal Logic (AiML),
Methods for Modalities (M4M),
Int. Workshop on Description Logics (DL),
Int. Workshop on Modular Ontologies (WoMO),
Workshop on Ontology Evolution (OnE).