Abstract

We briefly describe the answer set programming system DLV, focusing on some of its peculiar features and mentioning a number of successful applications.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Optimizing the Computation of Heuristics for Answer Set Programming Systems
Wolfgang Faber ... Gerald Pfeifer
-
Wolfgang Faber, et. al.Wolfgang Faber ... Gerald Pfeifer
01 Jan 2001
Experimenting with Look-Back Heuristics for Hard ASP Programs
Marco Maratea ... Wolfgang Faber
-
Marco Maratea, et. al.Marco Maratea ... Wolfgang Faber
15 May 2007
Finitely recursive programs: Decidability and bottom–up computation
Francesco Calimeri ... Nicola Leone
AI Communications | VOL. 24
Francesco Calimeri, et. al.Francesco Calimeri ... Nicola Leone
01 Jan 2010
Improving ASP Instantiators by Join-Ordering Methods
Francesco Scarcello ... Simona Perri
-
Francesco Scarcello, et. al.Francesco Scarcello ... Simona Perri
01 Jan 2001
View more papers

More From: KI - Künstliche Intelligenz

Paper Title
Journal
Date
Author
Modeling $$\mathscr {C}^{0}$$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
James T Oswald ... Thomas M Ferguson
KI - Künstliche Intelligenz | VOL. -
James T Oswald, et. al.James T Oswald ... Thomas M Ferguson
24 May 2024
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
Brandon Rozek ... Selmer Bringsjord
KI - Künstliche Intelligenz | VOL. -
Brandon Rozek, et. al.Brandon Rozek ... Selmer Bringsjord
22 May 2024
Project VoLL-KI
Michael Kohlhase ... Diedrich Wolter
KI - Künstliche Intelligenz | VOL. -
Michael Kohlhase, et. al.Michael Kohlhase ... Diedrich Wolter
05 May 2024
CLKR: Conditional Logic and Knowledge Representation
Christoph Beierle ... Leon Schwarzer
KI - Künstliche Intelligenz | VOL. -
Christoph Beierle, et. al.Christoph Beierle ... Leon Schwarzer
03 May 2024
View more papers