Iterative induction of logic programs: An approach to logic program synthesis from incomplete specifications
Year: 1999
Type: article
Abstract: Contents 1. INTRODUCTION....................................................................................................................... 1 1.1 MOTIVATION............................................................................................................................. 3 1.2 MAIN CONTRIBUTIONS ............................................................................................................... 4 1.2.1 The inductive engine ....................................................................................................... 5 1.2.2 Iterative induction........................................................................................................... 6 1.2.3 Integrity constraints and the Monte Carlo method........................................................... 8 1.3 OVERVIEW OF THE THESIS ...................................................................................
Author: Alípio Jorge
Institution: Universidade do Porto
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2169192812