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. | UNINA-9910144922803321 |
Nienhuys-Cheng Shan-Hwei
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / / edited by Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi
| Inductive Logic Programming [[electronic resource] ] : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers / / edited by Stephen Muggleton, Alireza Tamaddoni-Nezhad, Francesca A. Lisi |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XI, 406 p. 130 illus.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Computer logic Computers Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Logics and Meanings of Programs Computation by Abstract Devices |
| ISBN | 3-642-31951-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Inference and Learning -- Beyond Reward: The Problem of Knowledge and Data -- Exploiting Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic Networks with Decision Trees -- Relational Networks of Conditional Preferences -- k-Optimal: A Novel Approximate Inference Algorithm for ProbLog -- Learning Directed Relational Models with Recursive Dependencies -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set Programming -- Graph-Based Relational Learning with a Polynomial Time Projection Algorithm -- Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models -- Conceptual Clustering of Multi-Relational Data -- Expressive Power of Safe First-Order Logical Decision Trees -- Relational Learning for Spatial Relation Extraction from Natural. |
| Record Nr. | UNISA-996465761303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers / / edited by Luc Raedt
| Inductive Logic Programming [[electronic resource] ] : 19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers / / edited by Luc Raedt |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 257 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Programming languages (Electronic computers) Database management Information storage and retrieval Algorithms Data mining Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Database Management Information Storage and Retrieval Algorithm Analysis and Problem Complexity Data Mining and Knowledge Discovery |
| ISBN |
1-280-38744-0
9786613565365 3-642-13840-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge-Directed Theory Revision -- Towards Clausal Discovery for Stream Mining -- On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution Semantics -- Induction of Relational Algebra Expressions -- A Logic-Based Approach to Relation Extraction from Texts -- Discovering Rules by Meta-level Abduction -- Inductive Generalization of Analytically Learned Goal Hierarchies -- Ideal Downward Refinement in the Description Logic -- Nonmonotonic Onto-Relational Learning -- CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods -- Speeding Up Inference in Statistical Relational Learning by Clustering Similar Query Literals -- Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples -- ProGolem: A System Based on Relative Minimal Generalisation -- An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge -- Boosting First-Order Clauses for Large, Skewed Data Sets -- Incorporating Linguistic Expertise Using ILP for Named Entity Recognition in Data Hungry Indian Languages -- Transfer Learning via Relational Templates -- Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data -- Finding Relational Associations in HIV Resistance Mutation Data -- ILP, the Blind, and the Elephant: Euclidean Embedding of Co-proven Queries -- Parameter Screening and Optimisation for ILP Using Designed Experiments -- Don’t Fear Optimality: Sampling for Probabilistic-Logic Sequence Models -- Policy Transfer via Markov Logic Networks -- Can ILP Be Applied to Large Datasets?. |
| Record Nr. | UNISA-996465606803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / / Luc De Raedt (ed.)
| Inductive logic programming : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / / Luc De Raedt (ed.) |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 257 p.) |
| Disciplina | 005.1/15 |
| Altri autori (Persone) | RaedtLuc de <1964-> |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence |
| Soggetto topico | Logic programming |
| ISBN |
1-280-38744-0
9786613565365 3-642-13840-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Knowledge-Directed Theory Revision -- Towards Clausal Discovery for Stream Mining -- On the Relationship between Logical Bayesian Networks and Probabilistic Logic Programming Based on the Distribution Semantics -- Induction of Relational Algebra Expressions -- A Logic-Based Approach to Relation Extraction from Texts -- Discovering Rules by Meta-level Abduction -- Inductive Generalization of Analytically Learned Goal Hierarchies -- Ideal Downward Refinement in the Description Logic -- Nonmonotonic Onto-Relational Learning -- CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods -- Speeding Up Inference in Statistical Relational Learning by Clustering Similar Query Literals -- Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples -- ProGolem: A System Based on Relative Minimal Generalisation -- An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge -- Boosting First-Order Clauses for Large, Skewed Data Sets -- Incorporating Linguistic Expertise Using ILP for Named Entity Recognition in Data Hungry Indian Languages -- Transfer Learning via Relational Templates -- Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data -- Finding Relational Associations in HIV Resistance Mutation Data -- ILP, the Blind, and the Elephant: Euclidean Embedding of Co-proven Queries -- Parameter Screening and Optimisation for ILP Using Designed Experiments -- Don’t Fear Optimality: Sampling for Probabilistic-Logic Sequence Models -- Policy Transfer via Markov Logic Networks -- Can ILP Be Applied to Large Datasets?. |
| Record Nr. | UNINA-9910484003603321 |
| New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / / edited by Stefan Kramer, Bernhard Pfahringer
| Inductive Logic Programming [[electronic resource] ] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / / edited by Stefan Kramer, Bernhard Pfahringer |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 434 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer programming Mathematical logic Algorithms Software Engineering/Programming and Operating Systems Artificial Intelligence Programming Techniques Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Papers -- An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees -- Guiding Inference Through Relational Reinforcement Learning -- Converting Semantic Meta-knowledge into Inductive Bias -- Learning Teleoreactive Logic Programs from Problem Solving -- A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment -- Distance Based Generalisation -- Automatic Induction of Abduction and Abstraction Theories from Observations -- Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models -- Strategies to Parallelize ILP Systems -- Inducing Causal Laws by Regular Inference -- Online Closure-Based Learning of Relational Theories -- Learning Closed Sets of Labeled Graphs for Chemical Applications -- ILP Meets Knowledge Engineering: A Case Study -- Spatial Clustering of Structured Objects -- Generalization Behaviour of Alkemic Decision Trees -- Predicate Selection for Structural Decision Trees -- Induction of the Indirect Effects of Actions by Monotonic Methods -- Probabilistic First-Order Theory Revision from Examples -- Inductive Equivalence of Logic Programs -- Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops -- A Study of Applying Dimensionality Reduction to Restrict the Size of a Hypothesis Space -- Polynomial Time Inductive Inference of TTSP Graph Languages from Positive Data -- Classifying Relational Data with Neural Networks -- Efficient Sampling in Relational Feature Spaces -- Invited Papers -- Why Computers Need to Learn About Music -- Tutorial on Statistical Relational Learning -- Machine Learning for Systems Biology -- Five Problems in Five Areas for Five Years. |
| Record Nr. | UNISA-996465911403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings / / Stefan Kramer, Bernhard Pfahringer (eds.)
| Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings / / Stefan Kramer, Bernhard Pfahringer (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XIV, 434 p.) |
| Disciplina | 005.1/15 |
| Altri autori (Persone) |
KramerStefan, Prof. Dr.
PfahringerBernhard |
| Collana | Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Logic programming
Automatic hypothesis formation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Research Papers -- An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees -- Guiding Inference Through Relational Reinforcement Learning -- Converting Semantic Meta-knowledge into Inductive Bias -- Learning Teleoreactive Logic Programs from Problem Solving -- A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment -- Distance Based Generalisation -- Automatic Induction of Abduction and Abstraction Theories from Observations -- Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models -- Strategies to Parallelize ILP Systems -- Inducing Causal Laws by Regular Inference -- Online Closure-Based Learning of Relational Theories -- Learning Closed Sets of Labeled Graphs for Chemical Applications -- ILP Meets Knowledge Engineering: A Case Study -- Spatial Clustering of Structured Objects -- Generalization Behaviour of Alkemic Decision Trees -- Predicate Selection for Structural Decision Trees -- Induction of the Indirect Effects of Actions by Monotonic Methods -- Probabilistic First-Order Theory Revision from Examples -- Inductive Equivalence of Logic Programs -- Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops -- A Study of Applying Dimensionality Reduction to Restrict the Size of a Hypothesis Space -- Polynomial Time Inductive Inference of TTSP Graph Languages from Positive Data -- Classifying Relational Data with Neural Networks -- Efficient Sampling in Relational Feature Spaces -- Invited Papers -- Why Computers Need to Learn About Music -- Tutorial on Statistical Relational Learning -- Machine Learning for Systems Biology -- Five Problems in Five Areas for Five Years. |
| Altri titoli varianti | ILP 2005 |
| Record Nr. | UNINA-9910483197403321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / / edited by Stan Matwin, Claude Sammut
| Inductive Logic Programming [[electronic resource] ] : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / / edited by Stan Matwin, Claude Sammut |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 358 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer science Computer programming Algorithms Mathematical logic Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Science, general Programming Techniques Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
| ISBN | 3-540-36468-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributed Papers -- Propositionalization for Clustering Symbolic Relational Descriptions -- Efficient and Effective Induction of First Order Decision Lists -- Learning with Feature Description Logics -- An Empirical Evaluation of Bagging in Inductive Logic Programming -- Kernels for Structured Data -- Experimental Comparison of Graph-Based Relational Concept Learning with Inductive Logic Programming Systems -- Autocorrelation and Linkage Cause Bias in Evaluation of Relational Learners -- Learnability of Description Logic Programs -- 1BC2: A True First-Order Bayesian Classifier -- RSD: Relational Subgroup Discovery through First-Order Feature Construction -- Mining Frequent Logical Sequences with SPIRIT-LoG -- Using Theory Completion to Learn a Robot Navigation Control Program -- Learning Structure and Parameters of Stochastic Logic Programs -- A Novel Approach to Machine Discovery: Genetic Programming and Stochastic Grammars -- Revision of First-Order Bayesian Classifiers -- The Applicability to ILP of Results Concerning the Ordering of Binomial Populations -- Compact Representation of Knowledge Bases in ILP -- A Polynomial Time Matching Algorithm of Structured Ordered Tree Patterns for Data Mining from Semistructured Data -- A Genetic Algorithms Approach to ILP -- Experimental Investigation of Pruning Methods for Relational Pattern Discovery -- Noise-Resistant Incremental Relational Learning Using Possible Worlds -- Lattice-Search Runtime Distributions May Be Heavy-Tailed -- Invited Talk Abstracts -- Learning in Rich Representations: Inductive Logic Programming and Computational Scientific Discovery. |
| Record Nr. | UNISA-996465274403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive Logic Programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / / edited by Stan Matwin, Claude Sammut
| Inductive Logic Programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / / edited by Stan Matwin, Claude Sammut |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 358 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Software engineering
Artificial intelligence Computer science Computer programming Algorithms Mathematical logic Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Science, general Programming Techniques Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages |
| ISBN | 3-540-36468-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contributed Papers -- Propositionalization for Clustering Symbolic Relational Descriptions -- Efficient and Effective Induction of First Order Decision Lists -- Learning with Feature Description Logics -- An Empirical Evaluation of Bagging in Inductive Logic Programming -- Kernels for Structured Data -- Experimental Comparison of Graph-Based Relational Concept Learning with Inductive Logic Programming Systems -- Autocorrelation and Linkage Cause Bias in Evaluation of Relational Learners -- Learnability of Description Logic Programs -- 1BC2: A True First-Order Bayesian Classifier -- RSD: Relational Subgroup Discovery through First-Order Feature Construction -- Mining Frequent Logical Sequences with SPIRIT-LoG -- Using Theory Completion to Learn a Robot Navigation Control Program -- Learning Structure and Parameters of Stochastic Logic Programs -- A Novel Approach to Machine Discovery: Genetic Programming and Stochastic Grammars -- Revision of First-Order Bayesian Classifiers -- The Applicability to ILP of Results Concerning the Ordering of Binomial Populations -- Compact Representation of Knowledge Bases in ILP -- A Polynomial Time Matching Algorithm of Structured Ordered Tree Patterns for Data Mining from Semistructured Data -- A Genetic Algorithms Approach to ILP -- Experimental Investigation of Pruning Methods for Relational Pattern Discovery -- Noise-Resistant Incremental Relational Learning Using Possible Worlds -- Lattice-Search Runtime Distributions May Be Heavy-Tailed -- Invited Talk Abstracts -- Learning in Rich Representations: Inductive Logic Programming and Computational Scientific Discovery. |
| Record Nr. | UNINA-9910143883103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / / edited by Celine Rouveirol, Michele Sebag
| Inductive Logic Programming [[electronic resource] ] : 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / / edited by Celine Rouveirol, Michele Sebag |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (IX, 259 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
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 |
| ISBN | 3-540-44797-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 Learning Using Multirelational Aggregation -- Discovering Associations between Spatial Objects: An ILP Application -- ?-Subsumption in a Constraint Satisfaction Perspective -- Learning to Parse from a Treebank: Combining TBL and ILP -- Induction of Stable Models -- Application of Pruning Techniques for Propositional Learning to Progol -- Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition -- Efficient Cross-Validation in ILP -- Modelling Semi-structured Documents with Hedges for Deduction and Induction -- Learning Functions from Imperfect Positive Data. |
| Record Nr. | UNISA-996465810803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
