|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910143626803321 |
|
|
Titolo |
Inductive Logic Programming : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / / edited by Celine Rouveirol, Michele Sebag |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (IX, 259 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 2157 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Architecture, Computer |
Software engineering |
Artificial intelligence |
Computer programming |
Mathematical logic |
Algorithms |
Computer System Implementation |
Software Engineering/Programming and Operating Systems |
Artificial Intelligence |
Programming Techniques |
Mathematical Logic and Formal Languages |
Algorithm Analysis and Problem Complexity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
A Refinement Operator for Theories -- Learning Logic Programs with Neural Networks -- A Genetic Algorithm for Propositionalization -- Classifying Uncovered Examples by Rule Stretching -- Relational Learning Using Constrained Confidence-Rated Boosting -- Induction, Abduction, and Consequence-Finding -- From Shell Logs to Shell Scripts -- An Automated ILP Server in the Field of Bioinformatics -- Adaptive Bayesian Logic Programs -- Towards Combining Inductive Logic Programming with Bayesian Networks -- Demand-Driven Construction of Structural Features in ILP -- Transformation-Based |
|
|
|
|