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.
KI 2013: Advances in Artificial Intelligence [[electronic resource] ] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings / / edited by Ingo J. Timm, Matthias Thimm
| KI 2013: Advances in Artificial Intelligence [[electronic resource] ] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings / / edited by Ingo J. Timm, Matthias Thimm |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 313 p. 102 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages |
| ISBN | 3-642-40942-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using State-Based Planning Heuristics for Partial-Order Causal-Link -- Planning -- Workflow Clustering Using Semantic Similarity Measures -- Empathy and Its Modulation in a Virtual Human -- Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology. |
| Record Nr. | UNISA-996466046503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI 2013: Advances in Artificial Intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings / / edited by Ingo J. Timm, Matthias Thimm
| KI 2013: Advances in Artificial Intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings / / edited by Ingo J. Timm, Matthias Thimm |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XX, 313 p. 102 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages |
| ISBN | 3-642-40942-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using State-Based Planning Heuristics for Partial-Order Causal-Link -- Planning -- Workflow Clustering Using Semantic Similarity Measures -- Empathy and Its Modulation in a Virtual Human -- Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement Applying Eye-Tracking Technology. |
| Record Nr. | UNINA-9910483815203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multiagent System Technologies [[electronic resource] ] : 10th German Conference, MATES 2012, Trier Germany, October 10-12, 2012, Proceedings / / edited by Ingo J. Timm, Christian Guttmann
| Multiagent System Technologies [[electronic resource] ] : 10th German Conference, MATES 2012, Trier Germany, October 10-12, 2012, Proceedings / / edited by Ingo J. Timm, Christian Guttmann |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 179 p. 68 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers and civilization Information storage and retrieval Application software Computer simulation Optical data processing Artificial Intelligence Computers and Society Information Storage and Retrieval Information Systems Applications (incl. Internet) Simulation and Modeling Computer Imaging, Vision, Pattern Recognition and Graphics |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-33690-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk: Human-Agent Teamwork in Cyber Defense -- Invited Talk: 25 Years of Distributed AI in Germany: From the Very Beginnings to Multiagent Applications in Industry in Germany Today -- Exploiting Dynamic Weaving for Self-managed Agents in the IoT -- Distributed Learning of Best Response Behaviors in Concurrent Iterated Many-Object Negotiations -- Gaining a Better Quality Depending on More Exploration in PSO -- Evolutionary Dynamics of Ant Colony Optimization -- Human-Agent Teamwork in Cyber Operations: Supporting Co-evolution of Tasks and Artifacts with Luna -- A Novel Strategy for Efficient Negotiation in Complex Environments -- Selfish Road Users – Case Studies on Rule Breaking Agents for Traffic Simulation -- Modelling Emotional Trajectories of Individuals in an Online Chat -- Using Time as a Strategic Element in Continuous Double Auctions -- Goal Delegation without Goals: BDI Agents in Harmony with OCMAS Principles -- A Multi-robot Coverage Approach Based on Stigmergic Communication -- Multi-Agent Systems Applied to the Field of Ornamental Plants -- An Argumentation-Based Approach to Cooperative Multi-source Epistemic Conflict Resolution -- The Importance of Being Accurate in Agent-Based Models – An Illustration with Agent Aging. |
| Record Nr. | UNISA-996465665603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiagent System Technologies [[electronic resource] ] : 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings / / edited by Klaus Fischer, Elisabeth André, Ingo J. Timm, Ning Zhong
| Multiagent System Technologies [[electronic resource] ] : 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings / / edited by Klaus Fischer, Elisabeth André, Ingo J. Timm, Ning Zhong |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (X, 186 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer programming Application software Artificial Intelligence Computer Communication Networks Software Engineering Programming Techniques Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-46057-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Communication and Interaction -- Adding New Communication Services to the FIPA Message Transport System -- Analysis of Multi-Agent Interactions with Process Mining Techniques -- Engineering Agent Conversations with the DIALOG Framework -- Agents’ Bidding Strategies in a Combinatorial Auction -- Applications and Simulation -- Modeling and Simulation of Tests for Agents -- Agent-Based Simulation Versus Econometrics – from Macro- to Microscopic Approaches in Route Choice Simulation -- Agent Based Simulation Architecture for Evaluating Operational Policies in Transshipping Containers -- Agent Planning -- Diagnosis of Multi-agent Plan Execution -- Framework and Complexity Results for Coordinating Non-cooperative Planning Agents -- Agent-Oriented Software Engineering -- A Model Driven Approach to Agent-Based Service-Oriented Architectures -- Meta-models, Models, and Model Transformations: Towards Interoperable Agents -- Formation of Virtual Organizations Through Negotiation -- Continuations and Behavior Components Engineering in Multi-Agent Systems -- Trust and Security -- Evaluating Mobile Agent Platform Security -- A New Model for Trust and Reputation Management with an Ontology Based Approach for Similarity Between Tasks. |
| Record Nr. | UNISA-996466110603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiagent System Technologies [[electronic resource] ] : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings / / edited by Gabriela Lindemann-v. Trzebiatowski, Jörg Denzinger, Ingo J. Timm, Rainer Unland
| Multiagent System Technologies [[electronic resource] ] : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings / / edited by Gabriela Lindemann-v. Trzebiatowski, Jörg Denzinger, Ingo J. Timm, Rainer Unland |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIII, 340 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Application software Artificial Intelligence Computer Communication Networks Software Engineering Computer Appl. in Administrative Data Processing |
| ISBN | 3-540-30082-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Agent UML 2.0: Too Radical or Not Radical Enough? -- Emergence and Cognition: Towards a Synthetic Paradigm in AI and Cognitive Science -- Learning and Social Agents -- The Emergence of Social Order in a Robotic Society -- Evolution of Agent Coordination in an Asynchronous Version of the Predator-Prey Pursuit Game -- Towards Models of Incomplete and Uncertain Knowledge of Collaborators’ Internal Resources -- Analysis and Security -- Agent-Based Communication Security -- Modelling and Analysis of Agent Protocols with Petri Nets -- Paraconsistent Assertions -- Negotiation and Control -- C-IPS: Specifying Decision Interdependencies in Negotiations -- FuzzyMAN: An Agent-Based Electronic Marketplace with a Multilateral Negotiation Protocol -- Cascaded Control of Multi-agent Systems -- Agents and Software Engineering -- Towards a Natural Agent Paradigm Development Methodology -- Developing Tools for Agent-Oriented Visual Modeling -- Towards a Component-Based Development Framework for Agents -- Visualizing a Multiagent-Based Medical Diagnosis System Using a Methodology Based on Use Case Maps -- Simulation and Agents I -- From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study -- Coupling GIS and Multi-agent Simulation – Towards Infrastructure for Realistic Simulation -- Spark – A Generic Simulator for Physical Multi-agent Simulations -- Simulation and Agents II -- Simulating Agents’ Mobility and Inaccessibility with -globe Multi-agent System -- On the Definition of Meta-models for Analysis of Large-Scale MAS -- ExPlanTech: Multi-agent Framework for Production Planning, Simulation and Supply Chain Management -- Policies and Testing -- Towards an Approach for Debugging MAS Through the Analysis of ACL Messages -- Implementing Norms in Multiagent Systems -- Policies for Cloned Teleo-reactive Robots. |
| Record Nr. | UNISA-996465279603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multiagent System Technologies : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings / / edited by Gabriela Lindemann-v. Trzebiatowski, Jörg Denzinger, Ingo J. Timm, Rainer Unland
| Multiagent System Technologies : Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings / / edited by Gabriela Lindemann-v. Trzebiatowski, Jörg Denzinger, Ingo J. Timm, Rainer Unland |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XIII, 340 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer networks Software engineering Information technology - Management Artificial Intelligence Computer Communication Networks Software Engineering Computer Application in Administrative Data Processing |
| ISBN | 3-540-30082-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Agent UML 2.0: Too Radical or Not Radical Enough? -- Emergence and Cognition: Towards a Synthetic Paradigm in AI and Cognitive Science -- Learning and Social Agents -- The Emergence of Social Order in a Robotic Society -- Evolution of Agent Coordination in an Asynchronous Version of the Predator-Prey Pursuit Game -- Towards Models of Incomplete and Uncertain Knowledge of Collaborators’ Internal Resources -- Analysis and Security -- Agent-Based Communication Security -- Modelling and Analysis of Agent Protocols with Petri Nets -- Paraconsistent Assertions -- Negotiation and Control -- C-IPS: Specifying Decision Interdependencies in Negotiations -- FuzzyMAN: An Agent-Based Electronic Marketplace with a Multilateral Negotiation Protocol -- Cascaded Control of Multi-agent Systems -- Agents and Software Engineering -- Towards a Natural Agent Paradigm Development Methodology -- Developing Tools for Agent-Oriented Visual Modeling -- Towards a Component-Based Development Framework for Agents -- Visualizing a Multiagent-Based Medical Diagnosis System Using a Methodology Based on Use Case Maps -- Simulation and Agents I -- From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study -- Coupling GIS and Multi-agent Simulation – Towards Infrastructure for Realistic Simulation -- Spark – A Generic Simulator for Physical Multi-agent Simulations -- Simulation and Agents II -- Simulating Agents’ Mobility and Inaccessibility with -globe Multi-agent System -- On the Definition of Meta-models for Analysis of Large-Scale MAS -- ExPlanTech: Multi-agent Framework for Production Planning, Simulation and Supply Chain Management -- Policies and Testing -- Towards an Approach for Debugging MAS Through the Analysis of ACL Messages -- Implementing Norms in Multiagent Systems -- Policies for Cloned Teleo-reactive Robots. |
| Record Nr. | UNINA-9910144344803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||