spacer.png, 0 kB
spacer.png, 0 kB
Home arrow 20 Years of SMS
Celebrating 20 Years of Stable Models Semantics

Special session of ICLP-08 dedicated to discuss the influence of stable model semantics on the field of logic programming

The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled The stable semantics for logic programs by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988.

It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming. Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications.

To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz, as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a session of position papers, and regular accepted ICLP papers falling into the answer-set programming area will complete the program.

Last Updated ( Tuesday, 10 June 2008 )
 
spacer.png, 0 kB
spacer.png, 0 kB
spacer.png, 0 kB