Answer Set Revision on
DLV
The DLV
Tutorial
DLV -
User Manual
Licensing and documentation
for DLV are also available.
main
| examples |
research
|
publications
| miscellaneous
Introduce
TWO
Answer Set programs, each within braces:
:
{ sleep :- not tvon. wtv :- tvon. tvon. } { -tvon:- pfailure. pfailure. }
switches
:
-silent
:
(C) J.C. Acosta-Guadarrama 2005--2016
DLV is a Copyright of DLVSYSTEM s.r.l
Last update: July 28, 2016
