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.
Collective Robotics [[electronic resource] ] : First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings / / edited by Alexis Drogoul, Milind Tambe, Toshio Fukuda
| Collective Robotics [[electronic resource] ] : First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings / / edited by Alexis Drogoul, Milind Tambe, Toshio Fukuda |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (VIII, 168 p.) |
| Disciplina | 629.8/92 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Robotics
Automation Artificial intelligence Software engineering Control engineering Mechatronics Robotics and Automation Artificial Intelligence Software Engineering/Programming and Operating Systems Control, Robotics, Mechatronics Software Engineering |
| ISBN | 3-540-68723-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Exhaustive geographic search with mobile robots along space-filling curves -- A multiagent system based on heterogeneous robots -- Designing organized agents for cooperation with real time constraints -- Tasking robots through multimodal interfaces: The “Coach Metaphor” -- Application of AOP for modeling a flexible manufacturing cell -- Performance and attention in multi-agent tasks -- Cirta: An emergentist methodology to design and evaluate collective behaviours in robots' colonies -- Communication in domains with unreliable, single-channel, low-bandwidth communication -- MARCH : A flexible multi-agent architecture, applied to autonomous robots playing football -- Decision trees and rule induction in simulated soccer agents -- Rectangles and circles: Towards realistic simulation of robots playing soccer -- Collective search by mobile robots using alpha-beta coordination -- A knowledge-level approach for building human-machine cooperative environment. |
| Record Nr. | UNISA-996466350903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Collective Robotics [[electronic resource] ] : First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings / / edited by Alexis Drogoul, Milind Tambe, Toshio Fukuda
| Collective Robotics [[electronic resource] ] : First International Workshop, CRW'98, Paris, France, July 4-5, 1998, Proceedings / / edited by Alexis Drogoul, Milind Tambe, Toshio Fukuda |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (VIII, 168 p.) |
| Disciplina | 629.8/92 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Robotics
Automation Artificial intelligence Software engineering Automatic control Mechatronics Robotics and Automation Artificial Intelligence Software Engineering/Programming and Operating Systems Control, Robotics, Mechatronics Software Engineering |
| ISBN | 3-540-68723-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Exhaustive geographic search with mobile robots along space-filling curves -- A multiagent system based on heterogeneous robots -- Designing organized agents for cooperation with real time constraints -- Tasking robots through multimodal interfaces: The “Coach Metaphor” -- Application of AOP for modeling a flexible manufacturing cell -- Performance and attention in multi-agent tasks -- Cirta: An emergentist methodology to design and evaluate collective behaviours in robots' colonies -- Communication in domains with unreliable, single-channel, low-bandwidth communication -- MARCH : A flexible multi-agent architecture, applied to autonomous robots playing football -- Decision trees and rule induction in simulated soccer agents -- Rectangles and circles: Towards realistic simulation of robots playing soccer -- Collective search by mobile robots using alpha-beta coordination -- A knowledge-level approach for building human-machine cooperative environment. |
| Record Nr. | UNINA-9910767580103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber deception : techniques, strategies, and human aspects / / Tiffany Bao, Milind Tambe, Cliff Wang, editors
| Cyber deception : techniques, strategies, and human aspects / / Tiffany Bao, Milind Tambe, Cliff Wang, editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (252 pages) |
| Disciplina | 005.8 |
| Collana | Advances in information security |
| Soggetto topico |
Computer networks - Security measures
Cyberspace - Security measures |
| ISBN | 3-031-16613-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Diversifying Deception: Game Theoretic Models for Two-Sided and Layered Deception -- 2. Human-Subject Experiments on Risk-based Cyber Camouflage Games -- 3. Adaptive Cyberdefense with Deception: A Human-AI Cognitive Approach -- 4. Cognitive Modeling for Personalized, Adaptive Signaling for Cyber Deception -- 5. Deceptive Signaling: Understanding Human Behavior against Signaling algorithms -- 6. Optimizing Honey Traffic Using Game Theory and Adversarial Learning -- 7. Mee: Adaptive Honeyfile System for Insider Attacker Detection -- 8. HoneyPLC: A Next-Generation Honeypot for Industrial Control Systems -- 9. Using Amnesia to Detect Credential Database Breaches -- 10. Deceiving ML-Based Friend-or-Foe Identification for Executables. |
| Record Nr. | UNINA-9910682584603321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber deception : techniques, strategies, and human aspects / / Tiffany Bao, Milind Tambe, Cliff Wang, editors
| Cyber deception : techniques, strategies, and human aspects / / Tiffany Bao, Milind Tambe, Cliff Wang, editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (252 pages) |
| Disciplina | 005.8 |
| Collana | Advances in information security |
| Soggetto topico |
Computer networks - Security measures
Cyberspace - Security measures |
| ISBN | 3-031-16613-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Diversifying Deception: Game Theoretic Models for Two-Sided and Layered Deception -- 2. Human-Subject Experiments on Risk-based Cyber Camouflage Games -- 3. Adaptive Cyberdefense with Deception: A Human-AI Cognitive Approach -- 4. Cognitive Modeling for Personalized, Adaptive Signaling for Cyber Deception -- 5. Deceptive Signaling: Understanding Human Behavior against Signaling algorithms -- 6. Optimizing Honey Traffic Using Game Theory and Adversarial Learning -- 7. Mee: Adaptive Honeyfile System for Insider Attacker Detection -- 8. HoneyPLC: A Next-Generation Honeypot for Industrial Control Systems -- 9. Using Amnesia to Detect Credential Database Breaches -- 10. Deceiving ML-Based Friend-or-Foe Identification for Executables. |
| Record Nr. | UNISA-996547953403316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Decision and Game Theory for Security [[electronic resource] ] : 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings / / edited by Quanyan Zhu, Tansu Alpcan, Emmanouil Panaousis, Milind Tambe, William Casey
| Decision and Game Theory for Security [[electronic resource] ] : 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings / / edited by Quanyan Zhu, Tansu Alpcan, Emmanouil Panaousis, Milind Tambe, William Casey |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XI, 478 p. 137 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Application software
Computer security Computer communication systems Algorithms Management information systems Computer science Game theory Information Systems Applications (incl. Internet) Systems and Data Security Computer Communication Networks Algorithm Analysis and Problem Complexity Management of Computing and Information Systems Game Theory, Economics, Social and Behav. Sciences |
| ISBN | 3-319-47413-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Network security -- Security risks and investments -- Special track-validating models -- Decision making for privacy -- Security games -- Incentives and cybersecurity mechanisms -- Intrusion detection and information limitations in security. |
| Record Nr. | UNISA-996465298203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Decision and Game Theory for Security : 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings / / edited by Quanyan Zhu, Tansu Alpcan, Emmanouil Panaousis, Milind Tambe, William Casey
| Decision and Game Theory for Security : 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings / / edited by Quanyan Zhu, Tansu Alpcan, Emmanouil Panaousis, Milind Tambe, William Casey |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XI, 478 p. 137 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Application software
Computer security Computer communication systems Algorithms Management information systems Computer science Game theory Information Systems Applications (incl. Internet) Systems and Data Security Computer Communication Networks Algorithm Analysis and Problem Complexity Management of Computing and Information Systems Game Theory, Economics, Social and Behav. Sciences |
| ISBN | 3-319-47413-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Network security -- Security risks and investments -- Special track-validating models -- Decision making for privacy -- Security games -- Incentives and cybersecurity mechanisms -- Intrusion detection and information limitations in security. |
| Record Nr. | UNINA-9910483363403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Agents II: Agent Theories, Architectures, and Languages [[electronic resource] ] : IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings / / edited by Michael Wooldridge, Jörg Müller, Milind Tambe
| Intelligent Agents II: Agent Theories, Architectures, and Languages [[electronic resource] ] : IJCAI'95-ATAL Workshop, Montreal, Canada, August 19-20, 1995 Proceedings / / edited by Michael Wooldridge, Jörg Müller, Milind Tambe |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XX, 444 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Artificial Intelligence Computer Communication Networks Software Engineering |
| ISBN | 3-540-49594-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The rights of agents -- Formalising motivational attitudes of agents -- Decision procedures for prepositional linear-time belief-desire-intention logics -- Semantical considerations on some primitives for agent specification -- Reasoning about acting, sensing and failure handling: A logic for agents embedded in the real world -- Time, knowledge, and choice -- Learning routines -- Conflict detection and resolution in collaborative planning -- Games servers play: A procedural approach -- On reasoning about other agents -- Architectures for agents that track other agents in multi-agent worlds -- Using recursive agent models effectively -- Experiences with an architecture for intelligent, reactive agents -- A pragmatic BDI architecture -- Alarms: An implementation of motivated agency -- The architecture of an agent building shell -- MIX: A general purpose multiagent architecture -- Cognition based multi-agent architecture -- Some issues in the design of market-oriented agents -- Cooperating logical agents -- Open reflective agents -- Foundations of a logical approach to agent programming -- Evaluation of KQML as an agent communication language -- Consistency and context management in a multi-agent belief revision testbed -- A markovian model for interaction among behavior-based agents -- SIM_AGENT: A toolkit for exploring agent designs -- Agent theories, architectures, and languages: A bibliography. |
| Record Nr. | UNISA-996465859903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Agents VIII [[electronic resource] ] : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe
| Intelligent Agents VIII [[electronic resource] ] : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 468 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-45448-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Modeling -- Knowledge Level Software Engineering -- Emotions and Personality in Agent Design and Modeling -- The ? Calculus: An Algebraic Agent Language -- Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems -- Formal Speci.cation and Veri.cation of Agents -- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications -- On Multi-agent Systems Specification via Deontic Logic -- Agents and Roles: Refinement in Alternating-Time Temporal Logic -- The Computational Complexity of Agent Verification -- Agent Architectures and Languages -- A Goal-Based Organizational Perspective on Multi-agent Architectures -- - A Dynamic Logic Programming Agent Architecture -- Running AgentSpeak(L) Agents on SIM_AGENT -- Agent Communication -- Ontological Overhearing -- Agent Dialogues with Conflicting Preferences -- An Abstract Machine for Classes of Communicating Agents Based on Deduction -- A Formal Semantics for ProxyCommunicative Acts -- Commitment Machines -- Collaborative Planning and Resource Allocation -- Generating Bids for Group-Related Actions in the Context of Prior Commitments -- Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach -- Improving Optimality of n Agent Envy-Free Divisions -- Trust and Safety -- Trustworthiness of Information Sources and Information Pedigrees -- Revisiting Asimov’s First Law: A Response to the Call to Arms -- Formal Theories of Negociation -- Formal Theories of Negotiation -- A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains -- Antisocial Agents and Vickrey Auctions -- Formalizing a Language for Institutions and Norms -- Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies -- Optimal Negotiation Strategies for Agents with Incomplete Information -- Implicit Negotiation in Repeated Games -- Dialogues for Negotiation: Agent Varieties and Dialogue Sequences -- Agents for Hand-Held, Mobile, or Embdedded Devices -- Agents for Hand-Held, Mobile, or Embedded Devices -- KSACI: A Handheld Device Infrastructure for Agents Communication -- LEAP: A FIPA Platform for Handheld and Mobile Devices -- FIPA-OS Agent Platform for Small-Footprint Devices. |
| Record Nr. | UNISA-996466255903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe
| Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers / / edited by John-Jules C. Meyer, Milind Tambe |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XII, 468 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer networks Software engineering Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-45448-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Modeling -- Knowledge Level Software Engineering -- Emotions and Personality in Agent Design and Modeling -- The ? Calculus: An Algebraic Agent Language -- Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems -- Formal Speci.cation and Veri.cation of Agents -- On the Epistemic Feasibility of Plans in Multiagent Systems Specifications -- On Multi-agent Systems Specification via Deontic Logic -- Agents and Roles: Refinement in Alternating-Time Temporal Logic -- The Computational Complexity of Agent Verification -- Agent Architectures and Languages -- A Goal-Based Organizational Perspective on Multi-agent Architectures -- - A Dynamic Logic Programming Agent Architecture -- Running AgentSpeak(L) Agents on SIM_AGENT -- Agent Communication -- Ontological Overhearing -- Agent Dialogues with Conflicting Preferences -- An Abstract Machine for Classes of Communicating Agents Based on Deduction -- A Formal Semantics for ProxyCommunicative Acts -- Commitment Machines -- Collaborative Planning and Resource Allocation -- Generating Bids for Group-Related Actions in the Context of Prior Commitments -- Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach -- Improving Optimality of n Agent Envy-Free Divisions -- Trust and Safety -- Trustworthiness of Information Sources and Information Pedigrees -- Revisiting Asimov’s First Law: A Response to the Call to Arms -- Formal Theories of Negociation -- Formal Theories of Negotiation -- A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains -- Antisocial Agents and Vickrey Auctions -- Formalizing a Language for Institutions and Norms -- Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies -- Optimal Negotiation Strategies for Agents with Incomplete Information -- Implicit Negotiation in Repeated Games -- Dialogues for Negotiation: Agent Varieties and Dialogue Sequences -- Agents for Hand-Held, Mobile, or Embdedded Devices -- Agents for Hand-Held, Mobile, or Embedded Devices -- KSACI: A Handheld Device Infrastructure for Agents Communication -- LEAP: A FIPA Platform for Handheld and Mobile Devices -- FIPA-OS Agent Platform for Small-Footprint Devices. |
| Record Nr. | UNINA-9910143907403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||