主题词：AI-based Problem Solving and Planning; Logic, Reasoning, and Knowledge; Semantic Web and Ontologies; Multi-Agent Systems and Negotiation; Constraint Satisfaction and Optimization; Logic, programming, and type systems; Formal Methods in Verification; Neural Networks and Applications; Data Mining Algorithms and Applications; Natural Language Processing Techniques; Topic Modeling; Data Management and Algorithms; Business Process Modeling and Analysis; Metaheuristic Optimization Algorithms Research; Model-Driven Software Engineering Techniques; Evolutionary Algorithms and Applications; Machine Learning and Data Classification; Recommender Systems and Techniques; Advanced Database Systems and Queries; Rough Sets and Fuzzy Logic; Computability, Logic, AI Algorithms; Service-Oriented Architecture and Web Services; Bayesian Modeling and Causal Inference; Big Data and Business Intelligence; Robotic Path Planning Algorithms