Talk:Stable model semantics

definition
I tried to give a formal definition of a stable model. Paolo Serafino 16:54, 29 June 2007 (UTC)

I tried to provide a few examples about stable models too.Paolo Serafino 22:29, 30 June 2007 (UTC)