Idioma:

A System with Template Answer Set Programs

Calimeri, Francesco ; Ianni, Giovambattista ; Ielpa, Giuseppe ; Pietramala, Adriana ; Santoro, Maria Carmela

Lecture notes in computer science, 2004, p.693-697 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
A System with Template Answer Set Programs
Autor: Calimeri, Francesco ; Ianni, Giovambattista ; Ielpa, Giuseppe ; Pietramala, Adriana ; Santoro, Maria Carmela
Assuntos: 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
É parte de: Lecture notes in computer science, 2004, p.693-697
Notas: This work was partially supported by the European Commission under projects IST-2002-33570 INFOMIX, and IST-2001-37004 WASP.
Descrição: 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.
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Idioma: Inglês

Links

Voltar para lista de resultados