逻辑学

International and Interdisciplinary Conference on Modeling and Using Context

International Conference on Axiomatic Design

International Conference on Case-Based Reasoning

International Joint Conference on Automated Reasoning

International Joint Conference on Rules and Reasoning

International Workshop on Boolean Functions and their Applications

International Workshop on Nonmonotonic Reasoning

International Workshop on Qualitative Reasoning

Topology, Algebra and Categories in Logic Conference

Workshop on Logic, Language, Information and Computation

World Congress on Paraconsistency

Ilopango Agreement Concerning Inspection Procedures with the Objective of Guaranteeing the Safety of Flight Operations in Central America, Panama and Belize