AIC Seminar Series
Answer Set Programming: Theory and Applications
|Tran Cao Sun||New Mexico State University||[Home Page]|
Notice: Hosted by Vinay Chaudhri
Date: 2011-03-23 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 as you will need to sign in by
following instructions by the lobby phone at Building E. SRI is located
at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking
lots off Fourth Street. Detailed directions to SRI, as well as maps, are
available from the Visiting AIC web page.
There are two entrances to SRI International located on Ravenswood Ave.
Please check the Builing E entrance signage.
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493