Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

Answer Set Programming: Theory and Applications

Tran Cao SunNew Mexico State University[Home Page]

Notice:  Hosted by Vinay Chaudhri

Date:  2011-03-23 at 16:00

Location:  EJ228 (SRI E Building)  (Directions)

   Abstract

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.

   Bio for Tran Cao Sun

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.

   Note for Visitors to SRI

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.

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