Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Foundations of Inductive Logic Programming [[electronic resource] /] / by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
| Foundations of Inductive Logic Programming [[electronic resource] /] / by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf |
| Autore | Nienhuys-Cheng Shan-Hwei |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XVIII, 410 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-69049-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propositional logic -- First-order logic -- Normal forms and Herbrand models -- Resolution -- Subsumption theorem and refutation completeness -- Linear and input resolution -- SLD-resolution -- SLDNF-resolution -- What is inductive logic programming? -- The framework for model inference -- Inverse resolution -- Unfolding -- The lattice and cover structure of atoms -- The subsumption order -- The implication order -- Background knowledge -- Refinement operators -- PAC learning -- Further topics. |
| Record Nr. | UNISA-996465549403316 |
Nienhuys-Cheng Shan-Hwei
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Inductive Logic Programming [[electronic resource] /] / by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
| Foundations of Inductive Logic Programming [[electronic resource] /] / by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf |
| Autore | Nienhuys-Cheng Shan-Hwei |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XVIII, 410 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Logic, Symbolic and mathematical Computer programming Software Engineering/Programming and Operating Systems Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 3-540-69049-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Propositional logic -- First-order logic -- Normal forms and Herbrand models -- Resolution -- Subsumption theorem and refutation completeness -- Linear and input resolution -- SLD-resolution -- SLDNF-resolution -- What is inductive logic programming? -- The framework for model inference -- Inverse resolution -- Unfolding -- The lattice and cover structure of atoms -- The subsumption order -- The implication order -- Background knowledge -- Refinement operators -- PAC learning -- Further topics. |
| Record Nr. | UNINA-9910144922803321 |
|
Nienhuys-Cheng Shan-Hwei
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||