主题词：Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Logic, programming, and type systems; Philosophy and Theoretical Science; Computability, Logic, AI Algorithms; Semantic Web and Ontologies; Philosophy and History of Science; Epistemology, Ethics, and Metaphysics; Philosophy, Science, and History; History and Theory of Mathematics; Mathematical and Theoretical Analysis; Rough Sets and Fuzzy Logic; Multi-Agent Systems and Negotiation; Classical Philosophy and Thought; Wittgensteinian philosophy and applications; Formal Methods in Verification; Bayesian Modeling and Causal Inference; Pragmatism in Philosophy and Education; Natural Language Processing Techniques; Game Theory and Voting Systems; Game Theory and Applications; Data Management and Algorithms; semigroups and automata theory; Environmental Philosophy and Ethics; Theology and Philosophy of Evil