Arrow Research search
Back to JELIA

JELIA 2002

The DLV System

Conference Paper System Session Artificial Intelligence · Knowledge Representation · Logic in Computer Science

Abstract

Abstract The development of the DLV system has started as a research projectfinanced by FWF (the Austrian Science Funds) in 1996, and has evolved into an international collaboration over the years. Currently, the University of Calabria and TU Wien participate in the project, supported by a scientific-technological collaboration between Italy and Austria. At the time of writing, the latest version of the system has been released on April 12, 2002.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
European Conference on Logics in Artificial Intelligence
Archive span
2000-2023
Indexed papers
542
Paper id
167669655251307958
v2026.09.13