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.
Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / / edited by Jaap van den Herik, Joaquim Filipe
| Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / / edited by Jaap van den Herik, Joaquim Filipe |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVI, 315 p. 114 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer programming Compilers (Computer programs) Machine theory Information technology - Management Artificial Intelligence Computer and Information Systems Applications Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Computer Application in Administrative Data Processing |
| ISBN | 3-319-53354-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Agents -- Perception of Masculinity and Femininity of Agent's Appearance and Self-adaptors -- Abstract -- 1 Introduction -- 2 Related Research on Gender and Virtual Agents -- 3 Video Analysis of Self-adaptors and Implementation of Agent Animation -- 3.1 Video Analysis of Self-adaptors -- 3.2 Agent Character and Animation Implementation -- 4 Experiment -- 4.1 Experimental System -- 4.2 Experimental Procedure -- 5 Results -- 5.1 Results of Factorial Analysis -- 5.2 Analysis of Tolerance Factor and Sociability Factor -- 5.3 Analysis of Gender Factor -- 5.4 Analysis of Naturalness Factor -- 6 Discussion and Future Directions -- 7 Conclusion -- Acknowledgement -- References -- Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System -- 1 Introduction -- 2 Related Work -- 2.1 Model Checking Multiagent Systems -- 2.2 Planning and Model Checking -- 3 Case Study: Z2 -- 3.1 Multiagent System Simulation -- 4 Formal Specification -- 5 Constrained Branch-and-Bound Optimization -- 5.1 Optimization Goal -- 6 Process Synchronization -- 6.1 Discrete Event System -- 6.2 Local Virtual Time -- 7 Evaluation -- 7.1 Inflexible Product Variants -- 7.2 Flexible Product Variants -- 8 Conclusions -- References -- Adaptive Switching Behavioral Strategies for Effective Team Formation in Changing Environments -- 1 Introduction -- 2 Related Work -- 3 Model -- 3.1 Agents and Tasks -- 3.2 Execution by a Team -- 3.3 Forming Teams -- 4 Proposed Method -- 4.1 Learning for Cooperation -- 4.2 Role Selection and Learning -- 4.3 Agent Switching Behavioral Strategies -- 4.4 Selection of Behavioral Strategies -- 5 Experimental Evaluation -- 5.1 Experimental Setting -- 5.2 Performance Results -- 5.3 Behavioral Analysis -- 5.4 Performance in Changing Environments -- 5.5 Discussion -- 6 Conclusion.
References -- From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour -- 1 Introduction -- 2 Literature Review -- 3 Dataset -- 4 Analysis -- 5 Simulation with NetLogo -- 6 Conclusion -- References -- Artificial Intelligence -- Integrating Graded Knowledge and Temporal Change in a Modal Fragment of OWL -- 1 Introduction -- 2 OWL Vs Modal Representation -- 3 Confidence and Confidence Intervals -- 4 Normal Form and Model Theory -- 4.1 Simplification and Normal Form -- 4.2 Model Theory -- 4.3 Two Constraints: Well-Behaved Frames -- 5 Entailment Rules -- 5.1 Modal Entailments -- 5.2 Subsumption Entailments -- 5.3 Extended RDFS and OWL Entailments -- 6 Adding Time -- 6.1 Metric Linear Time -- 6.2 Valid Time -- 6.3 Transaction Time -- 6.4 Entailment Rules for Graded Modals and Transaction Time -- 6.5 Model Theory for Graded Modals and Transaction Time -- 7 Summary -- References -- An Agent-Based Architecture for Personalized Recommendations -- 1 Introduction and Motivation -- 2 Related Work -- 3 Background -- 4 The Multi-context BDI Framework -- 4.1 Belief Context -- 4.2 Desire Context -- 4.3 Goal Context -- 4.4 Social Context -- 4.5 Planning and Intention Contexts -- 4.6 Bridge Rules -- 5 Illustrative Example -- 6 Simulation -- 7 Conclusions -- References -- Enhancing Support Vector Decoders by Integrating an Uncertainty Model -- 1 Introduction -- 2 Related Work -- 2.1 Uncertainty in the Smart Grid -- 2.2 Surrogate Models for der -- 2.3 Decoders for Scheduling -- 3 Modeling Confidence -- 4 Results -- 5 Conclusion -- References -- Natural Language Argumentation for Text Exploration -- 1 Introduction -- 2 Related Work -- 3 Bipolar Entailment Graphs -- 3.1 Textual Entailment -- 3.2 From Pairs to Graphs -- 4 Text Exploration Through Argumentation -- 4.1 Abstract Dialectical Frameworks -- 4.2 Extracting Meaningful Information Using ADF. 5 Experimental Setting -- 5.1 Dataset -- 5.2 Evaluation -- 6 Examples -- 7 Conclusions -- References -- Instance Selection and Outlier Generation to Improve the Cascade Classifier Precision -- 1 Introduction -- 2 Related Work -- 3 Cascade of Overlapping Feature Classifiers -- 4 Data Preprocessing Methods -- 4.1 Selection of Feasible Examples -- 4.2 Sampling of Infeasible Examples Near the Class Boundaries -- 5 Experimental Study -- 5.1 Data Sets -- 5.2 Experimental Setting -- 5.3 Results -- 6 Parameter Sensitivity Study and Parameter Fitting Rules -- 6.1 Experimental Setup -- 6.2 Results -- 7 Conclusions -- References -- Qualitative Possibilistic Decisions: Decomposition and Sequential Decisions Making -- 1 Introduction -- 2 Graphical Frameworks for Possibilistic Qualitative Decision -- 2.1 Min-Based Possibilistic Influence Diagrams -- 2.2 Min-Based Possibilistic Networks -- 3 Decomposition of Min-Based Possibilistic Influence Diagram -- 3.1 The Construction of a Knowledge-Based Qualitative Possibilistic Network -- 3.2 Building Preference-Based Qualitative Possibilistic Network -- 4 On the Computation of Optimal Optimistic Strategy -- 4.1 Qualitative Possibilistic Decision -- 4.2 Computing Sequential Decisions Using Junction Trees -- 5 Experimental Studies -- 6 Conclusions -- References -- Enhancing Visual Clustering Using Adaptive Moving Self-Organizing Maps (AMSOM) -- 1 Introduction -- 2 Related Work -- 2.1 SOM and Competitive Learning -- 2.2 Flexible Structure in Neural Networks and SOM -- 3 Expanding the Idea of Self-organization in Neuron Locations -- 3.1 Phase I: AMSOM Initialization -- 3.2 Phase II: Training -- 3.3 Phase III: AMSOM Finalization and Clustering of the Map -- 4 Experiments -- 5 Conclusion -- References -- Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and Plans from Action Sequences -- Abstract -- 1 Introduction. 2 Related Research -- 3 Multi-agent Plan Recognition as Planning -- 3.1 Recognizing Multi-agent Plans -- 3.2 Extending PRAP to Teams -- 3.3 Assumptions and Limitations -- 4 MAPRAP Evaluation -- 4.1 A Team Blocks World Domain -- 4.2 Multi-agent Plan Synthesis -- 5 Results -- 5.1 Efficiency of Pruning -- 5.2 Precision of Recognition -- 5.3 Accuracy of Recognition -- 5.4 Recall of Recognition -- 6 Future Work -- 7 Conclusions -- References -- Keeping Secrets in EL+ Knowledge Bases -- 1 Introduction -- 2 Syntax and Semantics of EL+ -- 3 Computation of A* and T* -- 3.1 Computation of T* -- 3.2 Computation of A* -- 4 Secrecy-Preserving Reasoning in EL+ KBs -- 5 Query Answering -- 5.1 Conclusions -- References -- An Automatic Approach for Generation of Fuzzy Membership Functions -- Abstract -- 1 Introduction -- 2 Background -- 3 The Proposed Approach -- 3.1 Generating Triangular Membership Functions -- 3.2 Generating Trapezoidal Membership Functions -- 3.3 Impact of the Shape of Cluster on Support of MFs -- 4 Experimental Results -- 4.1 Dataset -- 4.2 Comparison of Techniques for Parameterizing Attributes with Different Characteristics -- 4.3 Results on Classification Accuracy Using MFs Produced by Different Techniques -- 5 Conclusion -- References -- Facilitating Multi-agent Coalition Formation in Self-interested Environments -- 1 Introduction -- 2 Related Research -- 3 ACCORD -- 3.1 Problem Description -- 3.2 Protocol Description of Public ACCORD -- 3.3 Protocol Description of Private ACCORD -- 4 Empirical Evaluation -- 4.1 Experimental Methodology -- 4.2 Fair/Selfish Behaviour in Public ACCORD -- 4.3 Cooperative/Uncooperative Behaviour in Public ACCORD -- 4.4 Fair/Selfish Behaviour in Private ACCORD -- 4.5 Cooperative/Uncooperative Behaviour in Private ACCORD -- 5 Conclusions -- References. Modeling the Directionality of Attention During Spatial Language Comprehension -- 1 Introduction -- 2 The Models -- 2.1 The AVS Model -- 2.2 The rAVS Model -- 3 Model Comparison -- 3.1 Goodness-Of-Fit (GOF) -- 3.2 Simple Hold-Out (SHO) -- 3.3 Model Flexibility Analysis (MFA) -- 3.4 Discussion -- 4 Conclusion -- 4.1 Future Work -- References -- Detecting Hidden Objects Using Efficient Spatio-Temporal Knowledge Representation -- 1 Introduction -- 2 Proposed Approach -- 3 Experiments and Discussion -- 4 Conclusions -- References -- Author Index. |
| Record Nr. | UNINA-9910484989403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agile Processes in Software Engineering and Extreme Programming : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings / / edited by Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi
| Agile Processes in Software Engineering and Extreme Programming : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings / / edited by Giulio Concas, Ernesto Damiani, Marco Scotto, Giancarlo Succi |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (289 p.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Electronic data processing - Management Computers and civilization Computer science Software Engineering Programming Techniques Compilers and Interpreters IT Operations Computers and Society Computer Science Logic and Foundations of Programming |
| ISBN | 3-540-73101-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Managing Agile Processes -- Comparing Decision Making in Agile and Non-agile Software Organizations -- Up-Front Interaction Design in Agile Development -- British Telecom Experience Report: Agile Intervention – BT’s Joining the Dots Events for Organizational Change -- Agile Software Development Meets Corporate Deployment Procedures: Stretching the Agile Envelope -- Extending Agile Methodologies -- Supporting Agile Reuse Through Extreme Harvesting -- Using Horizontal Displays for Distributed and Collocated Agile Planning -- Applying Agile to Large Projects: New Agile Software Development Practices for Large Projects -- Teaching and Introducing Agile Methodologies -- Job Satisfaction and Motivation in a Large Agile Team -- Motivation and Cohesion in Agile Teams -- How to Build Support for Distributed Pair Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process -- Tracking the Evolution of Object-Oriented Quality Metrics on Agile Projects -- FitClipse: A Fit-Based Eclipse Plug-In for Executable Acceptance Test Driven Development -- EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors -- Empirical Studies -- Does XP Deliver Quality and Maintainable Code? -- Inspecting Automated Test Code: A Preliminary Study -- A Non-invasive Method for the Conformance Assessment of Pair Programming Practices Based on Hierarchical Hidden Markov Models -- Predicting Software Defect Density: A Case Study on Automated Static Code Analysis -- Empirical Evidence Principle and Joint Engagement Practice to Introduce XP -- Methodology Issue -- Power of Recognition: A Conceptual Framework for Agile Capstone Project in Academic Environment -- Agile Commitments: Enhancing Business Risk Management in Agile Development Projects -- Usability inAgile Software Development: Extending the Interaction Design Process with Personas Approach -- Defining an Integrated Agile Governance for Large Agile Software Development Environments -- Ph.D. Symposium -- Enhancing Creativity in Agile Software Teams -- Investigating Adoption of Agile Software Development Methodologies in Organisations -- Agile Software Assurance -- Posters -- User Stories and Acceptance Tests as Negotiation Tools in Offshore Software Development -- A Case Study of the Implementation of Agile Methods in a Bioinformatics Project -- Adapting Test-Driven Development for Innovative Software Development Project -- Learning Agile Methods in Practice: Advanced Educational Aspects of the Varese XP-UG Experience -- Experience Reports -- Overcoming Brooks’ Law -- Project Bid on Iteration Basis -- Making the Whole Product Agile – A Product Owners Perspective -- Financial Organization Transformation Strategy -- An Agile Approach to Requirement Specification -- The Application of User Stories for Strategic Planning -- Introducing Agile Methods into a Project Organisation -- Agile Development Meets Strategic Design in the Enterprise -- An Agile Approach for Integration of an Open Source Health Information System -- Agile Practices in a Large Organization: The Experience of Poste Italiane -- Multi-tasking Agile Projects: The Focal Point -- Extreme Programming Security Practices -- Multi-tasking Agile Projects: The Pressure Tank -- The Creation of a Distributed Agile Team -- Distributed Scrum in Research Project Management -- Multiple Perspectives on Executable Acceptance Test-Driven Development -- Test Driving the Wrong Car -- Epistemological Justification of Test Driven Development in Agile Processes -- Research Ideas -- How Does Readiness for Agile Development Relate to Team Climate andIndividual Personality Attributes? -- Communication Flow in Open Source Projects: An Analysis of Developers’ Mailing Lists -- Panels -- Community Reflections -- To Certify or Not to Certify -- Learning More About “Software Best Practices”. |
| Record Nr. | UNINA-9910481962403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers / / edited by Marin Lujak
| Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers / / edited by Marin Lujak |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 239 p. 84 illus., 34 illus. in color.) |
| Disciplina | 006.30285436 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Algorithms Compilers (Computer programs) Computer programming Artificial Intelligence Compilers and Interpreters Programming Techniques |
| ISBN | 3-030-17294-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910337563103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings / / edited by Wayne Wobcke, Mengjie Zhang
| AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings / / edited by Wayne Wobcke, Mengjie Zhang |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVI, 616 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Compilers (Computer programs) Machine theory Data mining Application software Artificial Intelligence Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Data Mining and Knowledge Discovery Computer and Information Systems Applications |
| ISBN | 3-540-89378-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Stereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence -- Knowledge Representation -- Introspective Forgetting -- A Fixed-Point Property of Logic-Based Bargaining Solution -- Re-representation in a Logic-Based Model for Analogy Making -- Knowledge Generation for Improving Simulations in UCT for General Game Playing -- Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web Partitioning for Term Recognition -- An Ontology Formalization of Relation Type Hierarchy in Conceptual Structure Theory -- Exploiting Ontological Structure for Complex Preference Assembly -- Constraints -- A Refutation Approach to Neighborhood Interchangeability in CSPs -- Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization -- Constraint-Based Multi-agent Path Planning -- Planning -- An Optimality Principle for Concurrent Systems -- Partial Order Hierarchical Reinforcement Learning -- Optimal Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar and Language Processing -- Using Probabilistic Feature Matching to Understand Spoken Descriptions -- Working for Two: A Bidirectional Grammar for a Controlled Natural Language -- Improving Metrical Grammar with Grammar Expansion -- FrameNet-Based Fact-Seeking Answer Processing: A Study of Semantic Alignment Techniques and Lexical Coverage -- Learning to Find Relevant Biological Articles without Negative Training Examples -- Humor Prevails! - Implementing a Joke Generator into a Conversational System -- Statistical Learning -- Improving Transductive Support Vector Machine by Ensembling -- Kernels Based on Distributions of Agreement Subtrees -- Practical Bias VarianceDecomposition -- Using Gaussian Processes to Optimize Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification -- Propositionalisation of Profile Hidden Markov Models for Biological Sequence Analysis -- Machine Learning -- Improving Promoter Prediction Using Multiple Instance Learning -- Revisiting Multiple-Instance Learning Via Embedded Instance Selection -- Decision Tree Induction from Numeric Data Stream -- L1 LASSO Modeling and Its Bayesian Inference -- Discriminating Against New Classes: One-class versus Multi-class Classification -- Building a Decision Cluster Classification Model for High Dimensional Data by a Variable Weighting k-Means Method -- Locality Spectral Clustering -- Mining Arbitrarily Large Datasets Using Heuristic k-Nearest Neighbour Search -- Cross-Domain Knowledge Transfer Using Semi-supervised Classification -- On the Limitations of Scalarisation for Multi-objective Reinforcement Learning of Pareto Fronts -- An Approach for Generalising Symbolic Knowledge -- Single-Cycle Image Recognition Using an Adaptive Granularity Associative Memory Network -- Data Mining -- Combined Pattern Mining: From Learned Rules to Actionable Knowledge -- Efficient Single-Pass Mining of Weighted Interesting Patterns -- Pattern Taxonomy Mining for Information Filtering -- An AI-Based Causal Strategy for Securing Statistical Databases Using Micro-aggregation -- Additive Regression Applied to a Large-Scale Collaborative Filtering Problem -- A Novel Recommending Algorithm Based on Topical PageRank -- DynamicWEB: Adapting to Concept Drift and Object Drift in COBWEB -- Knowledge Discovery -- L-Diversity Based Dynamic Update for Large Time-Evolving Microdata -- Knowledge Discovery from Honeypot Data for Monitoring Malicious Attacks -- Detecting the Knowledge Boundary with Prudence Analysis -- Soft Computing -- Clustering with XCS on Complex Structure Dataset -- Evolution of Multiple Tree Structured Patterns from Tree-Structured Data Using Clustering -- Application of a Memetic Algorithm to the Portfolio Optimization Problem -- Predicting Trading Signals of Stock Market Indices Using Neural Networks -- A Fuzzy Decision Support System for Garment New Product Development -- A Hybrid Nonlinear-Discriminant Analysis Feature Projection Technique -- Vision and Image Processing -- Learning Object Representations Using Sequential Patterns -- Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling -- Learning a Generative Model for Structural Representations -- AI Applications -- Using Stereotypes to Improve Early-Match Poker Play -- CASPER: A Case-Based Poker-Bot -- A Generalized Joint Inference Approach for Citation Matching -- Agent-Based Collaborative System and Case-Based Conflict Resolution Process in Preliminary Ship Design. |
| Record Nr. | UNINA-9910485032303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AIIA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / / edited by Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi
| AIIA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / / edited by Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 514 p. 103 illus.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Machine theory Natural language processing (Computer science) Computer science Compilers (Computer programs) Application software Artificial Intelligence Formal Languages and Automata Theory Natural Language Processing (NLP) Computer Science Logic and Foundations of Programming Compilers and Interpreters Computer and Information Systems Applications |
| ISBN | 3-319-70169-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Applications of AI -- Natural language processing -- Knowledge representation and reasoning -- Knowledge engineering, ontologies and the semantic web -- Machine learning -- Philosophical foundations, metacognitive modeling and ethics -- Planning and scheduling. |
| Record Nr. | UNINA-9910484348703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AIxIA 2020 – Advances in Artificial Intelligence : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / / edited by Matteo Baldoni, Stefania Bandini
| AIxIA 2020 – Advances in Artificial Intelligence : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / / edited by Matteo Baldoni, Stefania Bandini |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (467 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Software engineering Computers, Special purpose Compilers (Computer programs) Application software Artificial Intelligence Theory of Computation Software Engineering Special Purpose and Application-Based Systems Compilers and Interpreters Computer and Information Systems Applications Intel·ligència artificial |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 3-030-77091-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Explainable Artificial Intelligenge -- Evolutionary and Population-based Optimization -- Advances in Argumentation in Artificial Intelligenge -- Planning and Scheduling -- Artificial Intelligenge and Robotics -- Natural Language for Artificial Intelligence -- Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion -- Artificial Intelligence for an Ageing Society -- Discussion Papers -- Popularize Artificial Intelligence Pietro Torasso" Award. |
| Record Nr. | UNINA-9910483466803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
AIxIA 2022 – Advances in Artificial Intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings / / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini
| AIxIA 2022 – Advances in Artificial Intelligence : XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 – December 2, 2022, Proceedings / / edited by Agostino Dovier, Angelo Montanari, Andrea Orlandini |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (504 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Software engineering Computers, Special purpose Compilers (Computer programs) Application software Artificial Intelligence Theory of Computation Software Engineering Special Purpose and Application-Based Systems Compilers and Interpreters Computer and Information Systems Applications |
| ISBN |
9783031271816
3031271815 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Hybrid Approaches -- The PSyKE technology for Trustworthy Artificial Intelligence -- A Declarative Approach to Contrast Pattern Mining -- Graphs and Networks -- Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities -- Decision Trees with a Modal Flavor -- Assisted Process Knowledge Graph Building Using Pre-Trained Language Models -- Neural Networks Reduction via Lumping -- Knowledge Enhanced Neural Networks for relational domains -- Logic Tensor Networks for Top-N Recommendation -- Multiagent Systems -- A Review of the Muddy Children Problem -- Multi-Agent Cooperative Argumentation in Arg2P -- Ethics by Design for Intelligent and Sustainable Adaptive systems -- Automated Planning and Scheduling -- Verification of Numeric Planning Problems through Domain Dynamic Consistency -- Comparing Multi-Agent Path Finding Algorithms in a Real Industrial Scenario -- Logic-Based Ethical Planning -- A Hybrid Recommender System with Implicit Feedbacks in Fashion Retail -- Incremental Timeline-based Planning for Efficient Plan Execution and Adaptation -- Knowledge Acquisition and Completion for Long-Term Human-Robot Interactions using Knowledge Graph Embedding -- Construct, Merge, Solve and Adapt Applied to a Bus Driver Scheduling Problem with Complex Break Constraints -- Topic Modelling and Frame identification for Political Arguments -- Substitute plastic film with Kraft paper in automatic pallet wrapping: an AI pipeline -- AI Applications -- Transformer Based Motion In-Betweening -- A Logic-based Tool for Dynamic Generation and Classification of Music Content -- Why Can Neural Networks Recognize Us by Our Finger Movements? -- Miscellany -- Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens finally together -- Deeplearning for ECoG brain-computer interface: end-to-end vs hand-crafted features -- Quantum Circuit Compilation for the Graph Coloring Problem -- Toward a Heterogeneous Multi-Robot Framework for Priority-Based Sanitization of Railway Stations -- Simulated Annealing for the Home Healthcare Routing and Scheduling Problem -- MAP Inference in Probabilistic Answer Set Programs -- Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations -- Natural Language Processing -- DelBERTo: a Deep Lightweight Transformer for Sentiment Analysis -- A BERT-based Scoring System for Workplace Safety Courses in Italian -- Embedding Contextual Information in seq2seq models for Grounded Semantic Role Labeling -- Keynote talk. -Adventures with Datalog: Walking the Thin Line Between Theory and Practice. |
| Record Nr. | UNINA-9910682597003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 satisfactionfor 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 | ||
| ||
AIxIA 2024 – Advances in Artificial Intelligence : XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings / / edited by Alessandro Artale, Gabriella Cortellessa, Marco Montali
| AIxIA 2024 – Advances in Artificial Intelligence : XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings / / edited by Alessandro Artale, Gabriella Cortellessa, Marco Montali |
| Autore | Artale Alessandro |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (360 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
CortellessaGabriella
MontaliMarco |
| 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 |
9783031806070
3031806077 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Against the Clock: Lessons Learned by Applying Temporal Planning in Practice. -- A Novel Approach for Leveraging Agent-based Experts on Large Language Models to Enable Data Sharing among Heterogeneous IoT Devices in Agriculture. -- An Extensive Empirical Analysis of Macro-Actions for Numeric Planning. -- Feature selection on contextual embedding pushing the sparseness. -- Neuro-symbolic Integration for Open Set Recognition in Network Intrusion Detection. -- MM-IGLU-IT: Multi-Modal Interactive Grounded Language Understanding in Italian. -- IDADA: A Blended Inductive-Deductive Approach for Data Augmentation . -- HaWANet: Road Scene Understanding with Multi-modal Sensor Data using Height-Width-driven Attention Network. -- Hybrid Classification of European Legislation using Sustainable Development Goals. -- Supporting Decision-Making for City Management through Automated Planning and Execution. -- NutriWell: an Explainable Ontology-Based FoodAI Service for Nutrition and Health Management. -- Regular Clocks for Temporal Task Specifications in Reinforcement Learning. -- A Real-Time Support with Haptic Feedback for Safer Driving using Monocular Camera. -- Relating explanations with the inductive biases of Deep Graph Networks. -- ntegrating Temporal Planning and Knowledge Representation to Generate Personalized Touristic Itineraries. -- ASR Systems Under Acoustic Challenges: A Multilingual Study. -- Automating Resume Analysis: Knowledge Graphs via Prompt Engineering. -- Combined Text-Visual Attention Models for Robot Task Learning and Execution. -- ICE: An Evaluation Metric to Assess Symbolic Knowledge Quality. -- Hierarchical Knowledge Extraction from Opaque Machine Learning Predictors. -- On Different Symbolic Music Representations for Algorithmic Composition Approaches based on Neural Sequence Models. -- DR-Minerva: a Multimodal Language Model based on Minerva for Diagnostic Information Retrieval . -- REPAIR platform: Robot-aidEd PersonAlIzed Rehabilitation. -- Integrating classical planners with GPT-based Planning Policies. -- Probabilistic Traces in Declarative Process Mining. |
| Record Nr. | UNINA-9910983380303321 |
|
Artale Alessandro
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
- Compilers (Computer programs) (1501)
-
Compilers and Interpreters
(1501)
- Computer science (1047)
- Software Engineering (1041)
- Software engineering (1041)