A Next-Generation of Biomonitoring to Detect Global Ecosystem Change |
Autore | Andrew Bohan David |
Pubbl/distr/stampa | Frontiers Media SA, 2020 |
Descrizione fisica | 1 electronic resource (140 p.) |
Soggetto topico |
Science: general issues
Ecological science, the Biosphere |
Soggetto non controllato |
machine learning
ecological interactions environmental DNA (eDNA) ecological networks |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910557552203321 |
Andrew Bohan David | ||
Frontiers Media SA, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Inductive Logic Programming [[electronic resource] ] : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings / / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad |
Autore | Muggleton Stephen H |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (167 pages) |
Disciplina | 006.3 |
Altri autori (Persone) | Tamaddoni-NezhadAlireza |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Compilers (Computer programs) Computer science Machine theory Artificial Intelligence Computer Engineering and Networks Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-031-55630-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910845098803321 |
Muggleton Stephen H | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Inductive Logic Programming [[electronic resource] ] : 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings / / edited by Stephen H. Muggleton, Alireza Tamaddoni-Nezhad |
Autore | Muggleton Stephen H |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (167 pages) |
Disciplina | 006.3 |
Altri autori (Persone) | Tamaddoni-NezhadAlireza |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Compilers (Computer programs) Computer science Machine theory Artificial Intelligence Computer Engineering and Networks Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-031-55630-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996589545403316 |
Muggleton Stephen H | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
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 |
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 : 16th international conference, ilp 2006, santiago de compostela, spain, august 24-27, 2006, revised selected papers / / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XII, 456 p.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Logic programming |
ISBN | 3-540-73847-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning: Relations Between Reality and Appearance -- First-Order Probabilistic Languages: Into the Unknown -- Integration of Learning and Reasoning Techniques -- Injecting Life with Computers -- Special Issue Extended Abstracts -- On the Connection Between the Phase Transition of the Covering Test and the Learning Success Rate -- Revising Probabilistic Prolog Programs -- Inductive Logic Programming for Gene Regulation Prediction -- QG/GA: A Stochastic Search for Progol -- Generalized Ordering-Search for Learning Directed Probabilistic Logical Models -- ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions -- Margin-Based First-Order Rule Learning -- Research Papers -- Extension of the Top-Down Data-Driven Strategy to ILP -- Extracting Requirements from Scenarios with ILP -- Learning Recursive Patterns for Biomedical Information Extraction -- Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification -- Towards Automating Simulation-Based Design Verification Using ILP -- Minimal Distance-Based Generalisation Operators for First-Order Objects -- Efficient and Scalable Induction of Logic Programs Using a Deductive Database System -- Inductive Mercury Programming -- An ILP Refinement Operator for Biological Grammar Learning -- Combining Macro-operators with Control Knowledge -- Frequent Hypergraph Mining -- Induction of Fuzzy and Annotated Logic Programs -- Boosting Descriptive ILP for Predictive Learning in Bioinformatics -- Relational Sequence Alignments and Logos -- On the Missing Link Between Frequent Pattern Discovery and Concept Formation -- Learning Modal Theories -- A Mining Algorithm Using Property Items Extracted from Sampled Examples -- The Complexity of Translating BLPs to RMMs -- Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming -- ILP Through Propositionalization and Stochastic k-Term DNF Learning -- ?-Subsumption Based on Object Context -- Word Sense Disambiguation Using Inductive Logic Programming -- ReMauve: A Relational Model Tree Learner -- Relational Data Mining Applied to Virtual Engineering of Product Designs. |
Record Nr. | UNINA-9910483505003321 |
Berlin, Germany ; ; New York, United States : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Inductive logic programming : 16th international conference, ilp 2006, santiago de compostela, spain, august 24-27, 2006, revised selected papers / / edited by Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (XII, 456 p.) |
Disciplina | 005.115 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico | Logic programming |
ISBN | 3-540-73847-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning: Relations Between Reality and Appearance -- First-Order Probabilistic Languages: Into the Unknown -- Integration of Learning and Reasoning Techniques -- Injecting Life with Computers -- Special Issue Extended Abstracts -- On the Connection Between the Phase Transition of the Covering Test and the Learning Success Rate -- Revising Probabilistic Prolog Programs -- Inductive Logic Programming for Gene Regulation Prediction -- QG/GA: A Stochastic Search for Progol -- Generalized Ordering-Search for Learning Directed Probabilistic Logical Models -- ALLPAD: Approximate Learning of Logic Programs with Annotated Disjunctions -- Margin-Based First-Order Rule Learning -- Research Papers -- Extension of the Top-Down Data-Driven Strategy to ILP -- Extracting Requirements from Scenarios with ILP -- Learning Recursive Patterns for Biomedical Information Extraction -- Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification -- Towards Automating Simulation-Based Design Verification Using ILP -- Minimal Distance-Based Generalisation Operators for First-Order Objects -- Efficient and Scalable Induction of Logic Programs Using a Deductive Database System -- Inductive Mercury Programming -- An ILP Refinement Operator for Biological Grammar Learning -- Combining Macro-operators with Control Knowledge -- Frequent Hypergraph Mining -- Induction of Fuzzy and Annotated Logic Programs -- Boosting Descriptive ILP for Predictive Learning in Bioinformatics -- Relational Sequence Alignments and Logos -- On the Missing Link Between Frequent Pattern Discovery and Concept Formation -- Learning Modal Theories -- A Mining Algorithm Using Property Items Extracted from Sampled Examples -- The Complexity of Translating BLPs to RMMs -- Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming -- ILP Through Propositionalization and Stochastic k-Term DNF Learning -- ?-Subsumption Based on Object Context -- Word Sense Disambiguation Using Inductive Logic Programming -- ReMauve: A Relational Model Tree Learner -- Relational Data Mining Applied to Virtual Engineering of Product Designs. |
Record Nr. | UNISA-996466244403316 |
Berlin, Germany ; ; New York, United States : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|