AIC Seminar Series
Answer Set Programming: Theory and Applications
|Tran Cao Sun||New Mexico State University||[Home Page]|
Notice: Hosted by Vinay Chaudhri
Date: Wednesday March 23, 2011 at 16:00
Location: EJ228 (SRI E Building) (Directions)
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