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 : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis
| Inductive logic programming : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic programming
Machine learning Artificial intelligence |
| ISBN | 3-030-97454-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464451103316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive logic programming : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis
| Inductive logic programming : 30th international conference, ILP 2021, virtual event, October 25-27, 2021, proceedings / / edited by Nikos Katzouris and Alexander Artikis |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Logic programming
Machine learning Artificial intelligence |
| ISBN | 3-030-97454-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910552749203321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings / / edited by Dimitar Kazakov, Can Erten
| Inductive Logic Programming [[electronic resource] ] : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings / / edited by Dimitar Kazakov, Can Erten |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Programming languages (Electronic computers) Application software Computers Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Applications Information Systems and Communication Service |
| ISBN | 3-030-49210-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CONNER: A Concurrent ILP Learner in Description Logic -- Towards Meta-interpretive Learning of Programming Language Semantics -- Towards an ILP Application in Machine Ethics -- On the Relation Between Loss Functions and T-Norms -- Rapid Restart Hill Climbing for Learning Description Logic Concepts -- Neural Networks for Relational Data -- Learning Logic Programs from Noisy State Transition Data -- A New Algorithm for Computing Least Generalization of a Set of Atoms -- LazyBum: Decision Tree Learning Using Lazy Propositionalization -- Weight Your Words: the Effect of Different Weighting Schemes on Wordification Performance -- Learning Probabilistic Logic Programs over Continuous Data. |
| Record Nr. | UNINA-9910410058603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Inductive Logic Programming [[electronic resource] ] : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings / / edited by Dimitar Kazakov, Can Erten
| Inductive Logic Programming [[electronic resource] ] : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings / / edited by Dimitar Kazakov, Can Erten |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 005.115 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer logic Programming languages (Electronic computers) Application software Computers Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Applications Information Systems and Communication Service |
| ISBN | 3-030-49210-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | CONNER: A Concurrent ILP Learner in Description Logic -- Towards Meta-interpretive Learning of Programming Language Semantics -- Towards an ILP Application in Machine Ethics -- On the Relation Between Loss Functions and T-Norms -- Rapid Restart Hill Climbing for Learning Description Logic Concepts -- Neural Networks for Relational Data -- Learning Logic Programs from Noisy State Transition Data -- A New Algorithm for Computing Least Generalization of a Set of Atoms -- LazyBum: Decision Tree Learning Using Lazy Propositionalization -- Weight Your Words: the Effect of Different Weighting Schemes on Wordification Performance -- Learning Probabilistic Logic Programs over Continuous Data. |
| Record Nr. | UNISA-996418283803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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. | UNINA-9910349412703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| 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 [[electronic resource] ] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo
| 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 [[electronic resource] ] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / / edited by James Cussens, Alessandra Russo
| 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. | UNINA-9910483031203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
