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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
PODS '08 : proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems : Vancouver, BC, Canada, June 9-11, 2008 |
Autore | Kolaitis Phokion |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2008 |
Descrizione fisica | 1 online resource (320 pages) |
Collana | ACM Conferences |
Soggetto topico |
Engineering & Applied Sciences
Computer Science |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Principles of Database Systems '08 : proceedings of the twenty-seventh Association for Computing Machinery Special Interest Group on Management of Data-Special Interest Group for Algorithms and Computation Theory-Special Interest Group on Artificial Intelligence Symposium on Principles of Database Systems : Vancouver, BC, Canada, June 9-11, 2008
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems SIGMOD/PODS '08 International Conference on Management of Data, Vancouver, Canada - June 09 - 12, 2008 |
Record Nr. | UNINA-9910376180103321 |
Kolaitis Phokion
![]() |
||
[Place of publication not identified], : ACM, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning Web. Semantic Interoperability on the Web [[electronic resource] ] : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XI, 347 p. 63 illus.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Database management
Artificial intelligence Mathematical logic Information storage and retrieval Database Management Artificial Intelligence Mathematical Logic and Formal Languages Information Storage and Retrieval |
ISBN | 3-319-61033-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
Record Nr. | UNISA-996466459503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures / / edited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XI, 347 p. 63 illus.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Database management
Artificial intelligence Machine theory Information storage and retrieval systems Database Management Artificial Intelligence Formal Languages and Automata Theory Information Storage and Retrieval |
ISBN | 3-319-61033-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . |
Record Nr. | UNINA-9910483752703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Reasoning and Rule Systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings / / edited by Wolfgang Faber, Domenico Lembo |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 272 p. 47 illus.) |
Disciplina | 005.7 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer networks Information storage and retrieval systems Data mining Software engineering Computer science Computer and Information Systems Applications Computer Communication Networks Information Storage and Retrieval Data Mining and Knowledge Discovery Software Engineering Computer Science Logic and Foundations of Programming |
ISBN | 3-642-39666-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Inconsistency Management for Description Logic Programs and Beyond -- Reasoning About Pattern-Based XML Queries -- Answer Set Programming: Language, Applications and Development Tools -- Full Papers -- A Variant of Earley Deduction with Partial Evaluation -- Verification and Synthesis in Description Logic Based Dynamic Systems -- Towards an Efficient Algorithm to Reason over Description Logics -- Extended with Nominal Schemas -- Computing Incoherence Explanations for Learned Ontologies -- An Ontology-Based Reasoning Approach for Electric Power Utilities -- Conjunctive Queries with Negation over DL-Lite: A Closer Look -- On the Exploration of the Query Rewriting Space with Existential Rules -- Incomplete Information in RDF -- RIO: Minimizing User Interaction in Ontology Debugging -- Eliminating Nonmonotonic DL-Atoms in Description Logic Programs -- BUNDLE: A Reasoner for Probabilistic Ontologies -- Technical Communications -- Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let’s Get Formal -- Rule Revision in Normal DL Logic Programs -- OBDA and Intermodal Logistics: Active Projects and Applications -- Semantic Pervasive Advertising -- Semantics for Mapping Relations in SKOS -- From OWL to DL-Lite through Efficient Ontology Approximation -- PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search -- An Analyzer of Existential Rule Bases -- Stream Rule: A Nonmonotonic Stream Reasoning System for the Semantic Web.-An Integrated Environment for Reasoning over Ontologies via Logic Programming -- Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity -- Parameter Learning for Probabilistic Ontologies. |
Record Nr. | UNINA-9910484364103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Reasoning and Rule Systems : 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings / / edited by Wolfgang Faber, Domenico Lembo |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 272 p. 47 illus.) |
Disciplina | 005.7 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer networks Information storage and retrieval systems Data mining Software engineering Computer science Computer and Information Systems Applications Computer Communication Networks Information Storage and Retrieval Data Mining and Knowledge Discovery Software Engineering Computer Science Logic and Foundations of Programming |
ISBN | 3-642-39666-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Inconsistency Management for Description Logic Programs and Beyond -- Reasoning About Pattern-Based XML Queries -- Answer Set Programming: Language, Applications and Development Tools -- Full Papers -- A Variant of Earley Deduction with Partial Evaluation -- Verification and Synthesis in Description Logic Based Dynamic Systems -- Towards an Efficient Algorithm to Reason over Description Logics -- Extended with Nominal Schemas -- Computing Incoherence Explanations for Learned Ontologies -- An Ontology-Based Reasoning Approach for Electric Power Utilities -- Conjunctive Queries with Negation over DL-Lite: A Closer Look -- On the Exploration of the Query Rewriting Space with Existential Rules -- Incomplete Information in RDF -- RIO: Minimizing User Interaction in Ontology Debugging -- Eliminating Nonmonotonic DL-Atoms in Description Logic Programs -- BUNDLE: A Reasoner for Probabilistic Ontologies -- Technical Communications -- Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let’s Get Formal -- Rule Revision in Normal DL Logic Programs -- OBDA and Intermodal Logistics: Active Projects and Applications -- Semantic Pervasive Advertising -- Semantics for Mapping Relations in SKOS -- From OWL to DL-Lite through Efficient Ontology Approximation -- PQMPMS: A Preference-enabled Querying Mechanism for Personalized Mobile Search -- An Analyzer of Existential Rule Bases -- Stream Rule: A Nonmonotonic Stream Reasoning System for the Semantic Web.-An Integrated Environment for Reasoning over Ontologies via Logic Programming -- Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity -- Parameter Learning for Probabilistic Ontologies. |
Record Nr. | UNISA-996466269203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|