July 14th (Monday) from 13:30 to 14:30/15:00.
Prof. Tran Cao Son
Department of Computer Science
New Mexico State University, USA.
"Answer Set Programming - Background, Applications, and Extensions"
NII, 20F, Room 2008 (Meeting Room 2)
Answer set programming is a new declarative programming paradigm based on the notion of answer set semantics of logic programs. Answer set programming has been applied in several applications: knowledge representation, constraint satisfaction problem, combinatoric problems, reasoning about action and change, etc. In this presentation, I will present the basic ideas of answer set programming and demonstrate its use through examples taken from the literature. I will then discuss some applications of answer set programming in detail and recent extensions to logic programming that are useful to knowledge representation and reasoning. I will conclude with a discussion of some current research issues in answer set programming.
Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)