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.
AIxIA 2023 – Advances in Artificial Intelligence [[electronic resource] ] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings / / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini
| AIxIA 2023 – Advances in Artificial Intelligence [[electronic resource] ] : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings / / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini |
| Autore | Basili Roberto |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (499 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
LemboDomenico
LimongelliCarla OrlandiniAndrea |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Software engineering Application software Computers, Special purpose Compilers (Computer programs) Artificial Intelligence Theory of Computation Software Engineering Computer and Information Systems Applications Special Purpose and Application-Based Systems Compilers and Interpreters |
| ISBN | 3-031-47546-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Argumentation and Logic Programming -- ABALearn: An automated logic-based learning system for ABA frameworks -- Deriving Dependency Graphs from Abstract Argumentation Frameworks -- ReConf: An Automatic Context-based Software Reconfiguration Tool for Autonomous Vehicles using Answer-Set Programming -- Mining contrast sequential patterns with ASP -- Ontologies -- An ontological modelling of reason-based preferences -- A Defeasible Description Logic for Abduction -- Ontology-based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry -- Planning -- A Structure-Sensitive Translation from Hybrid to Numeric Planning -- Intrinsically Motivated High-Level Planning for Agent Exploration -- Natural Language Processing -- Mining Argument Components in Essays at Different Levels -- Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations -- Scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian -- Named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements -- Machine Learning -- CENTAURO: an Explainable AI Approach for Customer Loyalty Prediction in Retail Sector -- Toward Novel Optimizers: A Moreau-Yosida View of Gradient-based Learning -- Mastering the Card Game of Jaipur through Zero-knowledge Self-Play Reinforcement Learning and Action Masks -- Uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups -- A multi-label classification study for the prediction of long-covid syndrome -- PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL -- Robotics and Perception -- Understanding the Effect of Deep Ensembles in LiDAR-based Place Recognition -- Enanching LiDAR performance: Robust De-skewing Exclusively Relying o n Range Measurements -- Can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study -- Embedding Shepard's Interpolation into CNN Models for Unguided Depth Completion -- Performance evaluation of depth completion neural networks for various RGB-D camera technologies in indoor scenario -- Hybrid AI -- Inference in Probabilistic Answer Set Programming under the Credal Semantics -- Efficient Modal Decision Trees -- Clique-TF-IDF: A New Partitioning Framework based on Dense Substructures -- Combining Contrastive Learning and Knowledge Graph Embeddings to develop medical word embeddings for the Italian language -- Applications of AI -- Recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings -- Combining genetic algorithms and temporal constraint satisfaction for recommending personalized tourist itineraries -- Towards Automatic Digitalization of Railway Engineering Schematics -- Election Manipulation in Social Networks with Single-Peaked Agents -- Learning to Prompt in the Classroom to Understand AI Limits: A pilot study. |
| Record Nr. | UNISA-996565872303316 |
Basili Roberto
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AIxIA 2023 – Advances in Artificial Intelligence : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings / / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini
| AIxIA 2023 – Advances in Artificial Intelligence : XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings / / edited by Roberto Basili, Domenico Lembo, Carla Limongelli, Andrea Orlandini |
| Autore | Basili Roberto |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (499 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
LemboDomenico
LimongelliCarla OrlandiniAndrea |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Software engineering Application software Computers, Special purpose Compilers (Computer programs) Artificial Intelligence Theory of Computation Software Engineering Computer and Information Systems Applications Special Purpose and Application-Based Systems Compilers and Interpreters |
| ISBN | 3-031-47546-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Argumentation and Logic Programming -- ABALearn: An automated logic-based learning system for ABA frameworks -- Deriving Dependency Graphs from Abstract Argumentation Frameworks -- ReConf: An Automatic Context-based Software Reconfiguration Tool for Autonomous Vehicles using Answer-Set Programming -- Mining contrast sequential patterns with ASP -- Ontologies -- An ontological modelling of reason-based preferences -- A Defeasible Description Logic for Abduction -- Ontology-based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry -- Planning -- A Structure-Sensitive Translation from Hybrid to Numeric Planning -- Intrinsically Motivated High-Level Planning for Agent Exploration -- Natural Language Processing -- Mining Argument Components in Essays at Different Levels -- Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations -- Scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian -- Named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements -- Machine Learning -- CENTAURO: an Explainable AI Approach for Customer Loyalty Prediction in Retail Sector -- Toward Novel Optimizers: A Moreau-Yosida View of Gradient-based Learning -- Mastering the Card Game of Jaipur through Zero-knowledge Self-Play Reinforcement Learning and Action Masks -- Uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups -- A multi-label classification study for the prediction of long-covid syndrome -- PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL -- Robotics and Perception -- Understanding the Effect of Deep Ensembles in LiDAR-based Place Recognition -- Enanching LiDAR performance: Robust De-skewing Exclusively Relying o n Range Measurements -- Can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study -- Embedding Shepard's Interpolation into CNN Models for Unguided Depth Completion -- Performance evaluation of depth completion neural networks for various RGB-D camera technologies in indoor scenario -- Hybrid AI -- Inference in Probabilistic Answer Set Programming under the Credal Semantics -- Efficient Modal Decision Trees -- Clique-TF-IDF: A New Partitioning Framework based on Dense Substructures -- Combining Contrastive Learning and Knowledge Graph Embeddings to develop medical word embeddings for the Italian language -- Applications of AI -- Recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings -- Combining genetic algorithms and temporal constraint satisfaction for recommending personalized tourist itineraries -- Towards Automatic Digitalization of Railway Engineering Schematics -- Election Manipulation in Social Networks with Single-Peaked Agents -- Learning to Prompt in the Classroom to Understand AI Limits: A pilot study. |
| Record Nr. | UNINA-9910760265703321 |
|
Basili Roberto
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design and Implementation of Symbolic Computation Systems [[electronic resource] ] : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings / / edited by Jacques Calmet, Carla Limongelli
| Design and Implementation of Symbolic Computation Systems [[electronic resource] ] : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings / / edited by Jacques Calmet, Carla Limongelli |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (IX, 362 p.) |
| Disciplina | 005.1/31 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer science—Mathematics Algorithms Software engineering Artificial intelligence Theory of Computation Symbolic and Algebraic Manipulation Software Engineering/Programming and Operating Systems Artificial Intelligence |
| ISBN | 3-540-70635-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Problem-oriented applications of automated theorem proving -- ?IT — A strongly-typed embeddable computer algebra library -- DiscAtinf: A general framework for implementing calculi and strategies -- Equality elimination for the tableau method -- Towards lean proof checking -- WALDMEISTER: High performance equation theorem proving -- A reflective language based on conditional term rewriting -- Term rewriting systems: An h-categorical semantic -- Generative geometric modeling in a functional environment -- Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting -- Conditional categories and domains -- Parameterizing object specifications -- Analyzing the dynamics of a Z specification -- Walking faster -- Integer and rational arithmetic on masPar -- Parallel 3-primes FFT algorithm -- A master-slave approach to parallel term rewriting on a hierarchical multiprocessor -- Multi-agent cooperation — Concepts and applications -- Document-centered presentation of computing software: Compound documents are better workspaces -- Animating a non-executable formal specification with a distributed symbolic language -- Uniform representation of basic algebraic structures in computer algebra -- Integrating computer algebra with proof planning -- Structures for symbolic mathematical reasoning and computation -- Implementing FS0 in Isabelle: Adding structure at the metalevel -- An approach to class reasoning in symbolic computation -- An intelligent interface to numerical routines -- Computer algebra and the World Wide Web -- Interfacing REDUCE to Java -- Software architectures for computer algebra: A case study -- A deductive database for mathematical formulas -- CASA — A system for Computer Aided Constructive Algebraic geometry -- Making systems communicate and cooperate: The Central Control approach -- A database for number fields -- Compiling residuation for a multiparadigm symbolic programming language -- Pluggability issues in the Multi Protocol. |
| Record Nr. | UNISA-996465850003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||