A System with Template Answer Set Programs

A System with Template Answer Set Programs

Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly introduce new predefined constructs or to deal with compound data structures and module. We show here an implementation on top of th...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Calimeri, Francesco, Ianni, Giovambattista, Ielpa, Giuseppe, Pietramala, Adriana, Santoro, Maria Carmela
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Artificial intelligence
Code Readability
Computer science
control theory
systems
Exact sciences and technology
Fast Prototype
Ground Atom
Learning and adaptive systems
Logic Program
Logic Programming
Logical, boolean and switching functions
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly introduce new predefined constructs or to deal with compound data structures and module. We show here an implementation on top of the DLV system of DLPT language, which features increased declarativity, code readability, compactness and reusability.
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-540-30227-8_59