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.
Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / / Elena Bellodi, Francesca Alessandra Lisi, and Riccardo Zese, editors
| Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / / Elena Bellodi, Francesca Alessandra Lisi, and Riccardo Zese, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (XVIII, 175 p. 40 illus., 35 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Logic programming
Machine learning |
| ISBN | 3-031-49299-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Declarative Sequential Pattern Mining in ASP -- Extracting Rules from ML models in Angluin’s Style -- A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs -- Regularization in Probabilistic Inductive Logic Programming -- Towards ILP-based LTLf passive learning -- Learning Strategies of Inductive Logic Programming Using Reinforcement Learning -- Select first, transfer later: choosing proper datasets for statistical relational transfer learning -- GNN based Extraction of Minimal Unsatisfiable Subsets -- What Do Counterfactuals Say about the World? Reconstructing Probabilistic Logic Programs from Answers to “What if?” Queries -- Few-shot learning of diagnostic rules for neurodegenerative diseases using Inductive Logic Programming -- An Experimental Overview of Neural-Symbolic Systems -- Statistical relational structure learning with scaled weight parameters -- A Review of Inductive Logic Programming Applications for Robotic Systems -- Meta Interpretive Learning from Fractal images. |
| Record Nr. | UNISA-996574257803316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / / Elena Bellodi, Francesca Alessandra Lisi, and Riccardo Zese, editors
| Inductive Logic Programming : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / / Elena Bellodi, Francesca Alessandra Lisi, and Riccardo Zese, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (XVIII, 175 p. 40 illus., 35 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Logic programming
Machine learning |
| ISBN | 3-031-49299-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Declarative Sequential Pattern Mining in ASP -- Extracting Rules from ML models in Angluin’s Style -- A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs -- Regularization in Probabilistic Inductive Logic Programming -- Towards ILP-based LTLf passive learning -- Learning Strategies of Inductive Logic Programming Using Reinforcement Learning -- Select first, transfer later: choosing proper datasets for statistical relational transfer learning -- GNN based Extraction of Minimal Unsatisfiable Subsets -- What Do Counterfactuals Say about the World? Reconstructing Probabilistic Logic Programs from Answers to “What if?” Queries -- Few-shot learning of diagnostic rules for neurodegenerative diseases using Inductive Logic Programming -- An Experimental Overview of Neural-Symbolic Systems -- Statistical relational structure learning with scaled weight parameters -- A Review of Inductive Logic Programming Applications for Robotic Systems -- Meta Interpretive Learning from Fractal images. |
| Record Nr. | UNINA-9910799494103321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings / / edited by Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
| Inductive Logic Programming [[electronic resource] ] : 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings / / edited by Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (IX, 173 p. 201 illus., 20 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Programming languages (Electronic computers) Computer programming Application software Artificial Intelligence Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-99960-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Derivation reduction of metarules in meta-interpretive learning -- Large-Scale Assessment of Deep Relational Machines -- How much can experimental cost be reduced in active learning of agent strategies? -- Diagnostics of Trains with Semantic Diagnostics Rules -- The game of Bridge: a challenge for ILP -- Sampling-Based SAT/ASP Multi-Model Optimization as a Framework for Probabilistic Inference -- Explaining Black-box Classifiers with ILP - Empowering LIME with Aleph to Approximate Non-linear Decisions with Relational Rules -- Learning Dynamics with Synchronous, Asynchronous and General Semantics -- Was the Year 2000 a Leap Year? Step-wise Narrowing Theories with Metagol -- Targeted End-to-end Knowledge Graph Decomposition. |
| Record Nr. | UNISA-996466344403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings / / edited by Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
| Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings / / edited by Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (IX, 173 p. 201 illus., 20 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Programming languages (Electronic computers) Computer programming Application software Artificial Intelligence Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-99960-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Derivation reduction of metarules in meta-interpretive learning -- Large-Scale Assessment of Deep Relational Machines -- How much can experimental cost be reduced in active learning of agent strategies? -- Diagnostics of Trains with Semantic Diagnostics Rules -- The game of Bridge: a challenge for ILP -- Sampling-Based SAT/ASP Multi-Model Optimization as a Framework for Probabilistic Inference -- Explaining Black-box Classifiers with ILP - Empowering LIME with Aleph to Approximate Non-linear Decisions with Relational Rules -- Learning Dynamics with Synchronous, Asynchronous and General Semantics -- Was the Year 2000 a Leap Year? Step-wise Narrowing Theories with Metagol -- Targeted End-to-end Knowledge Graph Decomposition. |
| Record Nr. | UNINA-9910349412703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||