AIIA 2015 Advances in Artificial Intelligence [[electronic resource] ] : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / / edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 480 p. 118 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Computers User interfaces (Computer systems) Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices User Interfaces and Human Computer Interaction Pattern Recognition |
ISBN | 3-319-24309-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Swarm intelligence and genetic algorithms -- Computer vision -- Multi-agents systems -- Knowledge representation and reasoning -- Machine learning -- Semantic web -- Natural language -- Scheduling, planning and robotics. |
Record Nr. | UNISA-996466322203316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
AIIA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / / edited by Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 480 p. 118 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Mathematical logic Computers User interfaces (Computer systems) Pattern recognition Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices User Interfaces and Human Computer Interaction Pattern Recognition |
ISBN | 3-319-24309-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Swarm intelligence and genetic algorithms -- Computer vision -- Multi-agents systems -- Knowledge representation and reasoning -- Machine learning -- Semantic web -- Natural language -- Scheduling, planning and robotics. |
Record Nr. | UNINA-9910482964303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
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 |
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 |
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] ] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers / / edited by Fabrizio Riguzzi, Filip Zelezny |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 273 p. 81 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer programming Computer logic Computers Computer science Mathematical Logic and Formal Languages Artificial Intelligence Programming Techniques Logics and Meanings of Programs Computation by Abstract Devices Computer Science, general |
ISBN | 3-642-38812-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Relational Approach to Tool-Use Learning in Robots -- A Refinement Operator for Inducing Threaded-Variable Clauses -- Propositionalisation of Continuous Attributes beyond Simple Aggregation -- Topic Models with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms for the Prolog Factor Language -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying Driver’s Cognitive Load Using Inductive Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling -- What Kinds of Relational Features Are Useful for Statistical Learning? -- Learning Dishonesty -- Heuristic Inverse Subsumption in Full-Clausal Theories -- Learning Unordered Tree Contraction Patterns in Polynomial TimeA Relational Approach to Tool-Use Learning in Robots -- A Refinement Operator for Inducing Threaded-Variable Clauses -- Propositionalisation of Continuous Attributes beyond Simple Aggregation -- Topic Models with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms for the Prolog Factor Language -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying Driver’s Cognitive Load Using Inductive Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling -- What Kinds of Relational Features Are Useful for Statistical Learning?.-Learning Dishonesty.-Heuristic Inverse Subsumption in Full-Clausal Theories.-Learning Unordered Tree Contraction Patterns in Polynomial Time. |
Record Nr. | UNISA-996465842203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Inductive Logic Programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers / / edited by Fabrizio Riguzzi, Filip Zelezny |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 273 p. 81 illus.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Mathematical logic
Artificial intelligence Computer programming Computer logic Computers Computer science Mathematical Logic and Formal Languages Artificial Intelligence Programming Techniques Logics and Meanings of Programs Computation by Abstract Devices Computer Science, general |
ISBN | 3-642-38812-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Relational Approach to Tool-Use Learning in Robots -- A Refinement Operator for Inducing Threaded-Variable Clauses -- Propositionalisation of Continuous Attributes beyond Simple Aggregation -- Topic Models with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms for the Prolog Factor Language -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying Driver’s Cognitive Load Using Inductive Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling -- What Kinds of Relational Features Are Useful for Statistical Learning? -- Learning Dishonesty -- Heuristic Inverse Subsumption in Full-Clausal Theories -- Learning Unordered Tree Contraction Patterns in Polynomial TimeA Relational Approach to Tool-Use Learning in Robots -- A Refinement Operator for Inducing Threaded-Variable Clauses -- Propositionalisation of Continuous Attributes beyond Simple Aggregation -- Topic Models with Relational Features for Drug Design -- Pairwise Markov Logic -- Evaluating Inference Algorithms for the Prolog Factor Language -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets -- Bounded Least General Generalization -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying Driver’s Cognitive Load Using Inductive Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling -- What Kinds of Relational Features Are Useful for Statistical Learning?.-Learning Dishonesty.-Heuristic Inverse Subsumption in Full-Clausal Theories.-Learning Unordered Tree Contraction Patterns in Polynomial Time. |
Record Nr. | UNINA-9910484167203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|