AIC Seminar Series

Logic programming has been considered as one of the perfect languages for knowledge representation and reasoning because of its simple syntax, well-defined semantics, non-monotonicity, and expressivity. Research in logic programming lead to a new declarative programming paradigm called answer set programming. In this approach, to solve a problem means to encode it as a logic program whose answer sets correspond one-to-one to the solutions of the problem.

In this talk, I will introduce the theoretical background of answer set programing (ASP) and illustrate its use in several applications. I will also discuss several extensions of logic programming that simplify its use in several practical applications. Finally, I will present some research directions that aim at making ASP suitable for new applications as well as challenges to ASP.

Son Cao Tran 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 Univeristy for almost a year. His main interests are in knowledge representation and reasoning, especially logic programming and answer set programming and its applications in planning, negotiation, and multi-agent systems.

Please arrive at least 10 minutes early in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.

©2013 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy