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.
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
| Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XVI, 482 p. 89 illus., 42 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Machine theory
Software engineering Artificial intelligence Computer engineering Computer networks Computer science Formal Languages and Automata Theory Software Engineering Artificial Intelligence Computer Engineering and Networks Computer Science Logic and Foundations of Programming |
| ISBN |
9783031634987
3031634985 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910869155103321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
| Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XV, 424 p. 87 illus., 34 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Machine theory Computer engineering Computer networks Computer science Artificial Intelligence Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks Computer Science Logic and Foundations of Programming |
| ISBN |
9783031635014
3031635019 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910869164203321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Computer Mathematics [[electronic resource] ] : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller
| Intelligent Computer Mathematics [[electronic resource] ] : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 337 p. 445 illus., 54 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Application software Software engineering Artificial Intelligence Theory of Computation Information Systems and Communication Service Computer Applications Software Engineering/Programming and Operating Systems Computing Milieux |
| ISBN | 3-030-53518-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. |
| Record Nr. | UNISA-996418306403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller
| Intelligent Computer Mathematics : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / / edited by Christoph Benzmüller, Bruce Miller |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 337 p. 445 illus., 54 illus. in color.) |
| Disciplina |
004.0151
006.30151 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Application software Software engineering Artificial Intelligence Theory of Computation Information Systems and Communication Service Computer Applications Software Engineering/Programming and Operating Systems Computing Milieux |
| ISBN | 3-030-53518-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. |
| Record Nr. | UNINA-9910413439303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI 2019: Advances in Artificial Intelligence [[electronic resource] ] : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings / / edited by Christoph Benzmüller, Heiner Stuckenschmidt
| KI 2019: Advances in Artificial Intelligence [[electronic resource] ] : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings / / edited by Christoph Benzmüller, Heiner Stuckenschmidt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 354 p. 170 illus., 60 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Algorithms Computers Computer organization Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Information Systems and Communication Service Computer Systems Organization and Communication Networks |
| ISBN | 3-030-30179-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Computational Persuasion via Natural Language Argumentation Dialogues -- Analogy-Based Preference Learning with Kernels -- Data Acquisition for Argument Search: The args.me Corpus -- Monotone and Online Fair Division -- A human-oriented System for Equational Reasoning -- Mixing Description Logics in Privacy-Preserving Ontology Publishing -- Clustering of Argument Graphs Using Semantic Similarity Measures -- Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers -- An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning -- Strong Equivalence for Argumentation Frameworks with Collective Attacks -- Developing Fuzzy Inference Systems from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation -- Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries -- Automated Robot Skill Learning from Demonstration for Various Robot Systems -- Learning Gradient-based ICA by Neurally Estimating Mutual Information -- Enhancing Explainability of Deep Reinforcement Learning Through Selective Layer-Wise Relevance Propagation.-A Crow Search-based Genetic Algorithm for Solving Two-dimensional Bin Packing Problem -- Extracting Reasons for Moral Judgments Under Various Ethical Principles -- Gaussian Lifted Marginal Filtering -- An Introduction to AnyBURL -- Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases -- ALICA 2.0 - Domain-Independent Teamwork -- Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract) -- Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search -- Towards Intuitive Robot Programming Using Finite State Automata -- Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings -- Towards Leveraging Backdoors in Qualitative Constraint Networks -- GAN Path Finder: Preliminary Results -- InformatiCup Competition 2019: Fooling Traffic Sign Recognition -- The Higher-Order Prover Leo-III -- Personalized Transaction Kernels for Recommendation Using MCTS. . |
| Record Nr. | UNISA-996466300103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings / / edited by Christoph Benzmüller, Heiner Stuckenschmidt
| KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings / / edited by Christoph Benzmüller, Heiner Stuckenschmidt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 354 p. 170 illus., 60 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Algorithms Computers Computer organization Artificial Intelligence Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Information Systems and Communication Service Computer Systems Organization and Communication Networks |
| ISBN | 3-030-30179-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Computational Persuasion via Natural Language Argumentation Dialogues -- Analogy-Based Preference Learning with Kernels -- Data Acquisition for Argument Search: The args.me Corpus -- Monotone and Online Fair Division -- A human-oriented System for Equational Reasoning -- Mixing Description Logics in Privacy-Preserving Ontology Publishing -- Clustering of Argument Graphs Using Semantic Similarity Measures -- Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers -- An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning -- Strong Equivalence for Argumentation Frameworks with Collective Attacks -- Developing Fuzzy Inference Systems from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation -- Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries -- Automated Robot Skill Learning from Demonstration for Various Robot Systems -- Learning Gradient-based ICA by Neurally Estimating Mutual Information -- Enhancing Explainability of Deep Reinforcement Learning Through Selective Layer-Wise Relevance Propagation.-A Crow Search-based Genetic Algorithm for Solving Two-dimensional Bin Packing Problem -- Extracting Reasons for Moral Judgments Under Various Ethical Principles -- Gaussian Lifted Marginal Filtering -- An Introduction to AnyBURL -- Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases -- ALICA 2.0 - Domain-Independent Teamwork -- Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract) -- Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search -- Towards Intuitive Robot Programming Using Finite State Automata -- Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings -- Towards Leveraging Backdoors in Qualitative Constraint Networks -- GAN Path Finder: Preliminary Results -- InformatiCup Competition 2019: Fooling Traffic Sign Recognition -- The Higher-Order Prover Leo-III -- Personalized Transaction Kernels for Recommendation Using MCTS. . |
| Record Nr. | UNINA-9910349299403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Reasoning [[electronic resource] ] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 328 p. 80 illus.) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer logic Application software Programming Techniques Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-99906-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . |
| Record Nr. | UNISA-996466358503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
| Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 328 p. 80 illus.) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer logic Application software Programming Techniques Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-99906-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . |
| Record Nr. | UNINA-9910349412003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||