Getting Started!

Logic and Answer Set Programming (ASP) offer simple and powerful modeling languages to solve combinatorial problems. With our tools you can concentrate on the solution of an actual problem, rather than a smart way of implementing it or downloading and installing it. So, let's get started!

In order to get a sneak peek of our collection, you might want to experiment with running DLV on line! You needn't download it nor install it if you don't want to. Just run it online.

Documentation

A comprehensive documentation of our software can be found in the Logic Lab Guide. Additionally, we provide several papers that describe each system and theory behind them.

Main Lab

• TU-Wien Updates on the web
• Revision of Pairs of Answer Set Programs
• Meta-Interpretation in Answer Set Programming (COMMING SOON!)
• PolicyUpdater
• Updater in Generalized Programs—B. Fuhrmann's PHP version on DLV
• Knowledge Base Debugger on DLV

Subsystems

• PSMODELS (COMMING SOON!)
• DLV on line
• CLINGO on line
• SMODELS (COMMING SOON!)
• Local processing example (COMMING SOON!)
• Logic Programs to LaTeX commands (COMMING SOON!)