ALP and Constraint Logic Programming (CLP) have been merged in works by various authors. However, while almost all CLP languages provide algorithms for finding an optimal solution with respect to some objective function (and not just any solution), the issue has received little attention in ALP. We believe that adding optimisation meta-predicates to abductive proof-procedures would improve research and practical applications of abductive reasoning.

Integrating Abduction and Constraint Optimization in Constraint Handling Rules

GAVANELLI, Marco;ALBERTI, Marco;LAMMA, Evelina
2008

Abstract

ALP and Constraint Logic Programming (CLP) have been merged in works by various authors. However, while almost all CLP languages provide algorithms for finding an optimal solution with respect to some objective function (and not just any solution), the issue has received little attention in ALP. We believe that adding optimisation meta-predicates to abductive proof-procedures would improve research and practical applications of abductive reasoning.
2008
9781586038915
Programmazione logica abduttiva; ottimizzazione
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in SFERA 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/11392/529328
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 5
social impact