Doctoral Program in Computer Science
365 5th Avenue
New York City 10016
Room 4319
Phone: 212.817.8190
Fax: 212.817.1510
compsci@gc.cuny.edu
  Click here to go to the Graduate Center main page.

Computer Science Colloquium
 


Thursday, October 10, 4:15pm, room 9206
 
Vladimir Lifschitz  
(U. of Texas, Austin)
 
"Answer Set Programming"
 
The concept of an answer set (or stable model) was originally proposed as a theory of the negation as failure operator in the logic programming language Prolog. In recent years, the invention of efficient algorithms for computing answer sets has led to the emergence of a new approach to solving combinatorial search problems, called answer set programming. Its idea is to represent the given problem as a logic program whose answer sets correspond to solutions, and then find a solution using a system for computing answer sets. In this talk we will show how some concepts of graph theory can be described in terms of answer sets.

 
The Colloquium is supported by generous contributions from the CUNY Faculty Development Program, Bloomberg, Information Builders, Inc., and Royal Philips Electronics.
 

 

Computer Science Colloquium Start page

Next Talk

Schedule

Past events

Pictures