主题词：Logic, Reasoning, and Knowledge; Logic, programming, and type systems; Semantic Web and Ontologies; Constraint Satisfaction and Optimization; Multi-Agent Systems and Negotiation; Formal Methods in Verification; AI-based Problem Solving and Planning; Bayesian Modeling and Causal Inference; Data Management and Algorithms; Advanced Algebra and Logic; Rough Sets and Fuzzy Logic; Advanced Database Systems and Queries; Machine Learning and Algorithms; Computability, Logic, AI Algorithms; semigroups and automata theory; Auction Theory and Applications; Optimization and Search Problems; Game Theory and Voting Systems; Metaheuristic Optimization Algorithms Research; Robotic Path Planning Algorithms; Neural Networks and Applications; Polynomial and algebraic computation; Data Mining Algorithms and Applications; Multi-Criteria Decision Making; Algorithms and Data Compression