Iterative induction of logic programs

• Tipo: Artigo em Revista Científica Internacional
• Data: 1999

Autores

Jorge, A (Autor) FEP

Revista

Título: AI Communications

Vol. 12 Nº 3

Páginas: 173-174

ISSN: 0921-7126

Editora: IOS PRESS

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 0 Citações

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-001-5A7

Abstract (EN): A methodology for the synthesis of function free definite logic programs from incomplete specifications, background knowledge and programming knowledge is presented. The methodology is implemented as a system SKILit and sub-systems SKIL and MONIC. The specification consists of positive and negative examples of the predicate to synthesize, together with its input/output mode declaration.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 2