Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Iterative induction of logic programs
Publication

Publications

Iterative induction of logic programs

Title
Iterative induction of logic programs
Type
Article in International Scientific Journal
Year
1999
Authors
Jorge, A
(Author)
FEP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID
Journal
Title: AI CommunicationsImported from Authenticus Search for Journal Publications
Vol. 12 No. 3
Pages: 173-174
ISSN: 0921-7126
Publisher: IOS PRESS
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citations
Publicação em Scopus Scopus - 0 Citations
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Authenticus ID: 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.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 2
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

From Entity Extraction to Network Analysis: a Method and an Application to a Portuguese Textual Source (2014)
Academic Work
Rocha, C; Jorge, AM; Oliveira, Márcia; brito, p; João Gama; Carlos Pimenta
Preface to the special issue on dynamic recommender systems and user models (2022)
Another Publication in an International Scientific Journal
Vinagre, J; Jorge, AM; Al-Ghossein, M; Bifet, A; Cremonesi, P
Preface (2001)
Another Publication in an International Scientific Journal
Brazdil, P; Jorge, A
Preface (2022)
Another Publication in an International Scientific Journal
Campos R.; Jorge, AM; Jatowt A.; Bhatia S.; Litvak M.; Rocha C.; Cordeiro J.P.
Preface (2020)
Another Publication in an International Scientific Journal
Jorge, AM; Campos, R; Jatowt, A; Aizawa, A

See all (237)

Of the same journal

The data replication method for the classification with reject option (2013)
Article in International Scientific Journal
Ricardo Sousa; Jaime S Cardoso
Learning from ubiquitous data streams: Clustering data and data sources (2012)
Article in International Scientific Journal
Pedro Pereira Rodrigues
Integration of hospital data using agent technologies - A case study (2005)
Article in International Scientific Journal
Cruz Correia, R; Vieira Marques, P; Costa, P; Ferreira, A; Oliveira Palhares, E; Araujo, F; Costa Pereira, A
Inductive learning of tree-based regression models (2000)
Article in International Scientific Journal
Torgo, L
Combining classification algorithms (2000)
Article in International Scientific Journal
João Gama

See all (7)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-08 at 16:45:38 | Privacy Policy | Personal Data Protection Policy | Whistleblowing