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 [[electronic resource] ] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe
| Agents and Artificial Intelligence [[electronic resource] ] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 223 p. 58 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Data mining Mathematical logic Software engineering Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing Software Engineering/Programming and Operating Systems |
| ISBN | 3-319-93581-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Description Logic Based Knowledge Representation Model for Concept Understanding -- Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property -- Chest X-Ray Image Analysis - A Vision of Logic Programming -- Text Classification and Transfer Learning based on Character-level Deep Convolutional Neural Networks -- A Hierarchical Playscript Representation of Distributed Words for Effective Semantic Clustering and Search -- Data Harvesting and Event Detection from Czech Twitter -- Variants of Independence Detection in SAT-based Optimal Multi-Agent Path Finding -- ε-Strong Privacy Preserving Multi-agent Planning -- A Quantitative Assessment of the JADEL Programming Language -- Analogical Reasoning in Clinical Practice with Description Logic ELH -- Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. |
| Record Nr. | UNISA-996465786703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe
| Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 223 p. 58 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Data mining Mathematical logic Software engineering Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing Software Engineering/Programming and Operating Systems |
| ISBN | 3-319-93581-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Description Logic Based Knowledge Representation Model for Concept Understanding -- Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property -- Chest X-Ray Image Analysis - A Vision of Logic Programming -- Text Classification and Transfer Learning based on Character-level Deep Convolutional Neural Networks -- A Hierarchical Playscript Representation of Distributed Words for Effective Semantic Clustering and Search -- Data Harvesting and Event Detection from Czech Twitter -- Variants of Independence Detection in SAT-based Optimal Multi-Agent Path Finding -- ε-Strong Privacy Preserving Multi-agent Planning -- A Quantitative Assessment of the JADEL Programming Language -- Analogical Reasoning in Clinical Practice with Description Logic ELH -- Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. |
| Record Nr. | UNINA-9910349433903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents and Artificial Intelligence [[electronic resource] ] : 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 [[electronic resource] ] : 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 Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Appl. 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. | UNISA-996465743003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 Programming languages (Electronic computers) Mathematical logic Artificial Intelligence Information Systems Applications (incl. Internet) Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Appl. 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 | ||
| ||
Agents and Artificial Intelligence [[electronic resource] ] : 6th International Conference, ICAART 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
| Agents and Artificial Intelligence [[electronic resource] ] : 6th International Conference, ICAART 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 379 p. 139 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Information storage and retrieval Optical data processing Application software Database management Artificial Intelligence Data Mining and Knowledge Discovery Information Storage and Retrieval Computer Imaging, Vision, Pattern Recognition and Graphics Information Systems Applications (incl. Internet) Database Management |
| ISBN | 3-319-25210-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466428703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agents and Artificial Intelligence [[electronic resource] ] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
| Agents and Artificial Intelligence [[electronic resource] ] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 347 p. 118 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Computers Computer simulation Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Theory of Computation Information Systems and Communication Service Simulation and Modeling |
| ISBN | 3-319-27947-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels -- Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments -- Stream X-Machines for Agent Simulation Test Case Generation -- Building Self-adaptive Systems by Adaptation Patterns Integrated into Agent Methodologies -- A Logic for Reasoning about Decision-Theoretic Projections -- Identifying Critical Positions based on Conspiracy Numbers -- Infinite Horizon Multi-Armed Bandits with Reward Vectors: Exploration / Exploitation Trade-off -- Solving PCSPs using Genetic Algorithms Guided by Structural Knowledge -- Activity Recognition for Dogs based on Time-series Data Analysis -- Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints -- From Information Assistance to Cognitive Automation: A Smart Assembly Use Case -- A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives -- Using Process Calculi for Plan Verification in Multiagent Planning -- Speeding Up Planning in Multiagent Settings using CPU-GPU Architectures -- LS2C - A Platform for Norm Controlled Social Computers -- Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data -- Offline Norm Evolution -- Parsing with Partially Known Grammar. |
| Record Nr. | UNISA-996466370703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Agents and Artificial Intelligence : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
| Agents and Artificial Intelligence : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XVI, 347 p. 118 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Optical data processing Computers Computer simulation Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Theory of Computation Information Systems and Communication Service Simulation and Modeling |
| ISBN | 3-319-27947-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels -- Dynamic JChoc: A Distributed Constraints Reasoning Platform for Dynamically Changing Environments -- Stream X-Machines for Agent Simulation Test Case Generation -- Building Self-adaptive Systems by Adaptation Patterns Integrated into Agent Methodologies -- A Logic for Reasoning about Decision-Theoretic Projections -- Identifying Critical Positions based on Conspiracy Numbers -- Infinite Horizon Multi-Armed Bandits with Reward Vectors: Exploration / Exploitation Trade-off -- Solving PCSPs using Genetic Algorithms Guided by Structural Knowledge -- Activity Recognition for Dogs based on Time-series Data Analysis -- Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints -- From Information Assistance to Cognitive Automation: A Smart Assembly Use Case -- A Heuristic for Constrained Set Partitioning in the Light of Heterogeneous Objectives -- Using Process Calculi for Plan Verification in Multiagent Planning -- Speeding Up Planning in Multiagent Settings using CPU-GPU Architectures -- LS2C - A Platform for Norm Controlled Social Computers -- Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data -- Offline Norm Evolution -- Parsing with Partially Known Grammar. |
| Record Nr. | UNINA-9910485043103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents and Artificial Intelligence : 6th International Conference, ICAART 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe
| Agents and Artificial Intelligence : 6th International Conference, ICAART 2014, Angers, France, March 6-8, 2014, Revised Selected Papers / / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 379 p. 139 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Data mining Information storage and retrieval Optical data processing Application software Database management Artificial Intelligence Data Mining and Knowledge Discovery Information Storage and Retrieval Computer Imaging, Vision, Pattern Recognition and Graphics Information Systems Applications (incl. Internet) Database Management |
| ISBN | 3-319-25210-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484095803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents and Artificial Intelligence [[electronic resource] ] : 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers / / edited by Joaquim Filipe, Ana Fred
| Agents and Artificial Intelligence [[electronic resource] ] : 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers / / edited by Joaquim Filipe, Ana Fred |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 371 p. 123 illus.) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Application software Artificial Intelligence Information Storage and Retrieval Information Systems Applications (incl. Internet) |
| ISBN | 3-662-44440-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910298996303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agents and Artificial Intelligence [[electronic resource] ] : Third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised Selected Papers / / edited by Joaquim Filipe, Ana Fred
| Agents and Artificial Intelligence [[electronic resource] ] : Third International Conference, ICAART 2011, Rome, Italy, January 28-30, 2011. Revised Selected Papers / / edited by Joaquim Filipe, Ana Fred |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 445 p. 145 illus.) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Application software Computer communication systems Algorithms Data mining Information storage and retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Algorithm Analysis and Problem Complexity Data Mining and Knowledge Discovery Information Storage and Retrieval |
| ISBN | 3-642-29966-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910437578503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
