Visual ASPA
Visual
Tool for drawing ASP Programs
|
|
Answer Set Programming (ASP) Visual ASP Download
Answer Set Programming (ASP)
Answer Set Programming
(ASP) is a declarative programming paradigm which has been proposed in
the area of non-monotonic reasoning and logic programming. The idea of
ASP is to represent a given computational problem by a logic program
whose answer sets correspond to solutions, and then use a solver to
find such a solution.
The language of ASP is expressive (it is able to express all problems belonging to the complexity classes
and 
, under
brave and cautious reasoning,
respectively.
The language of ASP is expressive (it is able to express all problems belonging to the complexity classes
and , under
brave and cautious reasoning, respectively.
Visual ASP
Visual ASP is a system that
allows for drawing
an ASP-program on the screen. The user does not have to edit text
files, or know the details of a specific ASP dialect, but he can
exploit a fully graphic environment, inspired by QBE (Query By Example)
editors, for designing ASP programs.
Currently, the system is able to load and store ASP programs in DLV syntax, and supports all the main language extensions (i.e. disjunction, aggregates and constraints).
Currently, the system is able to load and store ASP programs in DLV syntax, and supports all the main language extensions (i.e. disjunction, aggregates and constraints).
Download
Note that current
release is a Beta version:
the system was tested o
Windows 95/98/NT/2000/XP/Vista and requires
Java 6. It currently
supports only the DLV system
.
To send us feedback please
send an e-mail to .
Before Download please read
the following licence.
Copyright 2010 Kristian Reale and Francesco Ricca
This software is free for academic and educational use, as well as for use by non-profit organisations.
For further information (such as information on commercial use) please contact
This Software is provided "as is" and any express or implied warranties, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpos are disclaimed. In no event shall the copyright holders or contributors be liable for any direct, indirect incidental, special, exemplary, or consequential damages (including, but not limited to, procurement of substitute goods of services; loss of use, data, or profits; or business interruption) however caused and on any theory of liability, whether in contract, strict liability, or tort (including negligence of otherwise) arising in any way out of the use of this software, even if advised of the possibility of such damage.
Copyright 2010 Kristian Reale and Francesco Ricca
This software is free for academic and educational use, as well as for use by non-profit organisations.
For further information (such as information on commercial use) please contact
This Software is provided "as is" and any express or implied warranties, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpos are disclaimed. In no event shall the copyright holders or contributors be liable for any direct, indirect incidental, special, exemplary, or consequential damages (including, but not limited to, procurement of substitute goods of services; loss of use, data, or profits; or business interruption) however caused and on any theory of liability, whether in contract, strict liability, or tort (including negligence of otherwise) arising in any way out of the use of this software, even if advised of the possibility of such damage.