spacer.png, 0 kB
spacer.png, 0 kB
Program
  Sala Parlamento (castle)
13:45 – 14:00 ICLP Opening
  20 Years of Stable Model Semantics
14:00 – 14:15 Opening of 20 Y of SMS
  Invited Session
  Session Chair: M. Truszczynski
14:15 – 15:00 Michael Gelfond: Authorization and Obligation Policies in Dynamic Systems
15:00 – 15:45 Vladimir Lifschitz: Twelve Definitions of a Stable Model
15:45 – 16:25 David Pearce: Sixty Years of Stable Models
16:25 – 16:45 Coffee Break
16:45 – 17:30 Nicola Leone: The DLV Project: a Tour from Theory and Research to Applications and Market
  Position papers session
  Session Chair: A. Formisano
17:30 – 17:45 Ilkka Niemela: Answer Set Programming without Unstratified Negation
17:45 – 18:00 Victor Marek: Quo Vadis Answer Set Programming?
18:00 – 18:15 Chitta Baral: Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions
18:15 – 18:30 Marc Denecker: Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
18:30 – 18:45 Torsten Schaub: Here's the Beef: Answer Set Programming!
18:45 – 19:00 Thomas Eiter: SMS and ASP: Hype or TST?
19:00 – 19:10 Closing
Last Updated ( Monday, 08 December 2008 )
 
spacer.png, 0 kB
spacer.png, 0 kB
spacer.png, 0 kB