Bounded nondeterminism of logic programs (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• Bounded nondeterminism of logic programs (Articolo in rivista) (literal)

Anno

• 2004-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1023/B:AMAI.0000038175.53999.3a (literal)

Alternative label

• PEDRESCHI DINO; RUGGIERI SALVATORE (2004)
  Bounded nondeterminism of logic programs
  in Annals of mathematics and artificial intelligence
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• PEDRESCHI DINO; RUGGIERI SALVATORE (literal)

Pagina inizio

• 313 (literal)

Pagina fine

• 343 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 42 (literal)

Rivista

• Annals of mathematics and artificial intelligence (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 31 (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopu (literal)
• Google Scholar (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Università di Pisa (literal)

Titolo

• Bounded nondeterminism of logic programs (literal)

Abstract

• We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for them via any selection rule. We offer a declarative characterization of the class of programs and queries that have bounded nondeterminism by defining bounded programs and queries. The characterization is provided in terms of Herbrand interpretations and level mappings, in the style of existing characterizations of universal termination. A direct application of the theoretical framework is concerned with the automatic generation of a terminating control. We present a transformational approach that given a bounded program and a bounded query yields a terminating program and query with the same set of refutations. Concerning the issue of automating the approach, by means of an example we sketch how an automatic method for proving left termination can be adapted to the purpose of inferring boundedness. Such an adaption reveals that the method does not scale up to medium/large sized programs due to scarce modularity of the required proof obligations. We provide then a modular refinement of boundedness for the significant class of well-moded programs and queries. (literal)

Prodotto di

• Knowledge Discovery and Data Mining (ICT.P08.009.003) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• SALVATORE RUGGIERI (Persona)
• DINO PEDRESCHI (Persona)

Insieme di parole chiave

• Parole chiave di "Bounded nondeterminism of logic programs" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Knowledge Discovery and Data Mining (ICT.P08.009.003) (Modulo)

Autore CNR di

• SALVATORE RUGGIERI (Persona)
• DINO PEDRESCHI (Persona)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Annals of mathematics and artificial intelligence (Rivista)

Insieme di parole chiave di

• Parole chiave di "Bounded nondeterminism of logic programs" (Insieme di parole chiave)