Re: [Potassco-users] clingo for 3-valued stable models?

[Torsten S. <to...@cs...>]

Hi Claudia,

no, I'm afraid there's no option in our tools.
But I'd assume it should be easy to encode it, or..?

 Ciao -torsten

"Schulz, Claudia" <cla...@im...> writes:

> [1:multipart/alternative Hide]
> [1/1:text/plain Hide]
> Dear all,
>
> I am wondering whether there is an option in clingo to compute 3-valued stable models rather than answer sets.
> I couldn't find anything like this so far...
>
> Thanks,
> Claudia
> [1/2:text/html Show]
> [2:text/plain Hide]
> ------------------------------------------------------------------------------
> Learn Graph Databases - Download FREE O'Reilly Book
> "Graph Databases" is the definitive new guide to graph databases and their
> applications. Written by three acclaimed leaders in the field,
> this first edition is now available. Download your free book today!
> http://p.sf.net/sfu/NeoTech
> [3:text/plain Hide]
> _______________________________________________
> Potassco-users mailing list
> Pot...@li...
> https://lists.sourceforge.net/lists/listinfo/potassco-users