AI Lecture 15: From Logic to Learning: A Computational Complexity Perspective
Artificial Intelligence Lecture 15- Speaker: Prof. Yuping Shen (Sun Yat-sen University)
- Host: Yisong Wang (Guizhou University)
- Time: July 20, 2026 (Monday), 9:00–11:00
- Venue: Room 402, Zhishan Building, Guizhou University
Abstract
The talk reviews logic and learning from a computational-complexity perspective and discusses recent progress and conjectures involving nonmonotonic propositional logic.
Speaker biography
Prof. Shen works at the Institute of Logic and Cognition, Sun Yat-sen University. His research focuses on logic and computation, and knowledge representation and reasoning.
Yisong Wang
Professor
Professor at the College of Computer Science and Technology, Guizhou University． His main research interests include knowledge representation andreasoning,machine learning and artificial intelligence．