Answer set programming and its Applications

ASP is an emerging declarative programming paradigm. It has been used in several practical applications. This talk will present the basic idea of ASP and demonstrates its use in several applications such as distributed constraints optimization problems, reasoning about truthfulness of agents’ statements, smart home scheduling etc.

Prof. Tran Cao Son – New Mexico State University (USA)

Tran Cao Son received his doctoral degree from the University of Texas at El Paso in 2000. He is currently a Computer Science Professor at the New Mexico State University in Las Cruces. Before joining NMSU, he was a post-doc at the Knowledge System Laboratory at Stanford University for almost a year. His main research interests are in knowledge representation and reasoning, especially logic programming and answer set programming and its applications in planning, negotiation, and multi-agent systems.