A simple fixed point characterizaton of three-valued stable model semantics
Staffan Bonnier, Ulf Nilsson, Torbjörn Näslund
Bok Engelsk 1991
Utgitt | Linköping : Institutionen för datavetenskap, Universitetet och Tekniska högskolan , 1991
|
---|---|
Omfang | 9 s.
|
Utgitt | Linköping : Institutionen för datavetenskap, Universitetet och Tekniska högskolan , 1991
|
---|---|
Omfang | 9 s.
|