The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a preliminary grounding phase. The implementation of the framework can be completely realized within the framework of Constraint Logic Programming over finite domains. The use of a high level language for the implementation and the clean structure of the computation offer an ideal framework for the implementation of extensions of Answer Set Programming. In this work, we demonstrate how non-ground arithmetic constraints can be easily introduced in the computation model. The paper provides preliminary experimental results which confirm the potential for this approach.

Answer Set Programming with Constraints Using Lazy Grounding / DAL PALU', Alessandro; Dovier, A; Pontelli, E; Rossi, Gianfranco. - LNCS 5649:(2009), pp. 115-129. ((Intervento presentato al convegno ICLP 2009 25th International Conference on Logic Programming tenutosi a Pasadena, California, USA nel 14-17 luglio 2009 [10.1007/978-3-642-02846-5_14].

Answer Set Programming with Constraints Using Lazy Grounding

DAL PALU', Alessandro;ROSSI, Gianfranco
2009

Abstract

The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a preliminary grounding phase. The implementation of the framework can be completely realized within the framework of Constraint Logic Programming over finite domains. The use of a high level language for the implementation and the clean structure of the computation offer an ideal framework for the implementation of extensions of Answer Set Programming. In this work, we demonstrate how non-ground arithmetic constraints can be easily introduced in the computation model. The paper provides preliminary experimental results which confirm the potential for this approach.
9783642028458
Answer Set Programming with Constraints Using Lazy Grounding / DAL PALU', Alessandro; Dovier, A; Pontelli, E; Rossi, Gianfranco. - LNCS 5649:(2009), pp. 115-129. ((Intervento presentato al convegno ICLP 2009 25th International Conference on Logic Programming tenutosi a Pasadena, California, USA nel 14-17 luglio 2009 [10.1007/978-3-642-02846-5_14].
File in questo prodotto:
File Dimensione Formato  
reprint_ICLP09.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 500.21 kB
Formato Adobe PDF
500.21 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/2294070
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 26
  • ???jsp.display-item.citation.isi??? 10
social impact