Inductive Logic Programming [[electronic resource] ] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVII, 133 p. 44 illus.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Computer logic Data mining Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Logics and Meanings of Programs Data Mining and Knowledge Discovery |
ISBN | 3-319-63342-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Predicate invention -- Graph-based learning -- Spatial learning -- Logical foundations -- Statistical relational learning.-Probabilistic ILP -- Implementation and scalability -- Applications in robotics, cyber security and games. |
Record Nr. | UNISA-996466321803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVII, 133 p. 44 illus.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Computer logic Data mining Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Logics and Meanings of Programs Data Mining and Knowledge Discovery |
ISBN | 3-319-63342-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Predicate invention -- Graph-based learning -- Spatial learning -- Logical foundations -- Statistical relational learning.-Probabilistic ILP -- Implementation and scalability -- Applications in robotics, cyber security and games. |
Record Nr. | UNINA-9910483031203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Inductive Logic Programming [[electronic resource] ] : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings / / edited by James Cussens, Alan Frisch |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 262 p.) |
Disciplina | 005.1/15 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering/Programming and Operating Systems Programming Techniques |
ISBN | 3-540-44960-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- ILP: Just Do It -- Contributed Papers -- A New Algorithm for Learning Range Restricted Horn Expressions -- A Refinement Operator for Description Logics -- Executing Query Packs in ILP -- A Logical Database Mining Query Language -- Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions -- Extending K-Means Clustering to First-Order Representations -- Theory Completion Using Inverse Entailment -- Solving Selection Problems Using Preference Relation Based on Bayesian Learning -- Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment -- Using ILP to Improve Planning in Hierarchical Reinforcement Learning -- Towards Learning in CARIN-ALN -- Inverse Entailment in Nonmonotonic Logic Programs -- A Note on Two Simple Transformations for Improving the Efficiency of an ILP System -- Searching the Subsumption Lattice by a Genetic Algorithm -- New Conditions for the Existence of Least Generalizations under Relative Subsumption. |
Record Nr. | UNISA-996465427503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Inductive Logic Programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings / / edited by James Cussens, Alan Frisch |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 262 p.) |
Disciplina | 005.1/15 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Software engineering Computer programming Artificial Intelligence Software Engineering/Programming and Operating Systems Programming Techniques |
ISBN | 3-540-44960-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Paper -- ILP: Just Do It -- Contributed Papers -- A New Algorithm for Learning Range Restricted Horn Expressions -- A Refinement Operator for Description Logics -- Executing Query Packs in ILP -- A Logical Database Mining Query Language -- Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions -- Extending K-Means Clustering to First-Order Representations -- Theory Completion Using Inverse Entailment -- Solving Selection Problems Using Preference Relation Based on Bayesian Learning -- Concurrent Execution of Optimal Hypothesis Search for Inverse Entailment -- Using ILP to Improve Planning in Hierarchical Reinforcement Learning -- Towards Learning in CARIN-ALN -- Inverse Entailment in Nonmonotonic Logic Programs -- A Note on Two Simple Transformations for Improving the Efficiency of an ILP System -- Searching the Subsumption Lattice by a Genetic Algorithm -- New Conditions for the Existence of Least Generalizations under Relative Subsumption. |
Record Nr. | UNINA-9910768435503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Learning Language in Logic [[electronic resource] /] / edited by James Cussens, Saso Dzeroski |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 306 p.) |
Disciplina | 005.1/31 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Mathematical logic Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-40030-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introductions & Overviews -- An Introduction to Inductive Logic Programming and Learning Language in Logic -- A Brief Introduction to Natural Language Processing for Non-linguists -- A Closer Look at the Automatic Induction of Linguistic Knowledge -- Learning for Semantic Interpretation: Scaling Up without Dumbing Down -- Morphology & Phonology -- Learning to Lemmatise Slovene Words -- Achievements and Prospects of Learning Word Morphology with Inductive Logic Programming -- Learning the Logic of Simple Phonotactics -- Syntax -- Grammar Induction as Substructural Inductive Logic Programming -- Experiments in Inductive Chart Parsing -- ILP in Part-of-Speech Tagging — An Overview -- Iterative Part-of-Speech Tagging -- DCG Induction Using MDL and Parsed Corpora -- Learning Log-Linear Models on Constraint-Based Grammars for Disambiguation -- Unsupervised Lexical Learning with Categorial Grammars Using the LLL Corpus -- Induction of Recursive Transfer Rules -- Learning for Text Categorization and Information Extraction with ILP -- Corpus-Based Learning of Semantic Relations by the ILP System, Asium -- Improving Learning by Choosing Examples Intelligently in Two Natural Language Tasks. |
Record Nr. | UNISA-996466346803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Learning Language in Logic / / edited by James Cussens, Saso Dzeroski |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 306 p.) |
Disciplina | 005.1/31 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Logic, Symbolic and mathematical Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-40030-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introductions & Overviews -- An Introduction to Inductive Logic Programming and Learning Language in Logic -- A Brief Introduction to Natural Language Processing for Non-linguists -- A Closer Look at the Automatic Induction of Linguistic Knowledge -- Learning for Semantic Interpretation: Scaling Up without Dumbing Down -- Morphology & Phonology -- Learning to Lemmatise Slovene Words -- Achievements and Prospects of Learning Word Morphology with Inductive Logic Programming -- Learning the Logic of Simple Phonotactics -- Syntax -- Grammar Induction as Substructural Inductive Logic Programming -- Experiments in Inductive Chart Parsing -- ILP in Part-of-Speech Tagging — An Overview -- Iterative Part-of-Speech Tagging -- DCG Induction Using MDL and Parsed Corpora -- Learning Log-Linear Models on Constraint-Based Grammars for Disambiguation -- Unsupervised Lexical Learning with Categorial Grammars Using the LLL Corpus -- Induction of Recursive Transfer Rules -- Learning for Text Categorization and Information Extraction with ILP -- Corpus-Based Learning of Semantic Relations by the ILP System, Asium -- Improving Learning by Choosing Examples Intelligently in Two Natural Language Tasks. |
Record Nr. | UNINA-9910143616703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|