top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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. UNINA-9910349433903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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. UNINA-9910484989403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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. UNINA-9910484095803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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. UNINA-9910485043103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui