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.
Artificial Intelligence. ECAI 2023 International Workshops [[electronic resource] ] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II / / edited by Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
| Artificial Intelligence. ECAI 2023 International Workshops [[electronic resource] ] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part II / / edited by Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova |
| Autore | Nowaczyk Sławomir |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (485 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BiecekPrzemysław
ChungNeo Christopher VallatiMauro SkruchPaweł Jaworek-KorjakowskaJoanna ParkinsonSimon NikitasAlexandros AtzmüllerMartin KliegrTomás |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Application software Software engineering Computer science Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications Software Engineering Theory of Computation |
| ISBN | 3-031-50485-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | SEDAMI -- RAAIT -- AI4S -- HYDRA -- AI4AI. |
| Record Nr. | UNINA-9910805580903321 |
Nowaczyk Sławomir
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence. ECAI 2023 International Workshops [[electronic resource] ] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I / / edited by Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova
| Artificial Intelligence. ECAI 2023 International Workshops [[electronic resource] ] : XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I / / edited by Sławomir Nowaczyk, Przemysław Biecek, Neo Christopher Chung, Mauro Vallati, Paweł Skruch, Joanna Jaworek-Korjakowska, Simon Parkinson, Alexandros Nikitas, Martin Atzmüller, Tomáš Kliegr, Ute Schmid, Szymon Bobek, Nada Lavrac, Marieke Peeters, Roland van Dierendonck, Saskia Robben, Eunika Mercier-Laurent, Gülgün Kayakutlu, Mieczyslaw Lech Owoc, Karl Mason, Abdul Wahid, Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina, Diedrich Wolter, Jochen L. Leidner, Michael Kohlhase, Vania Dimitrova |
| Autore | Nowaczyk Sławomir |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (469 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
BiecekPrzemysław
ChungNeo Christopher VallatiMauro SkruchPaweł Jaworek-KorjakowskaJoanna ParkinsonSimon NikitasAlexandros AtzmüllerMartin KliegrTomás |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Computer engineering Computer networks Application software Software engineering Computer science Artificial Intelligence Computer Engineering and Networks Computer and Information Systems Applications Software Engineering Theory of Computation |
| ISBN | 3-031-50396-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | XAI^3 -- TACTIFUL -- XI-ML. |
| Record Nr. | UNINA-9910805585803321 |
|
Nowaczyk Sławomir
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deception in Autonomous Transport Systems : Threats, Impacts and Mitigation Policies
| Deception in Autonomous Transport Systems : Threats, Impacts and Mitigation Policies |
| Autore | Parkinson Simon |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2024 |
| Descrizione fisica | 1 online resource (196 pages) |
| Altri autori (Persone) |
NikitasAlexandros
VallatiMauro |
| Collana | Wireless Networks Series |
| ISBN | 3-031-55044-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Introduction -- 1 Setting the Scene -- 2 Organization -- 3 Target Audience -- References -- Part I Smart Cities, Policies, and Ethics -- Ethical Dilemmas in Autonomous Driving: Philosophical, Social, and Public Policy Implications -- 1 Introduction -- 2 The Trolley Problem -- 3 Self-Sacrifice? -- 4 The Responsibility Question -- 5 State and Public Policy for AVs -- 6 Conclusion -- References -- Smart Cities: Concept, Pillars, and Challenges -- 1 Introduction -- 2 Building Intelligence: The Journey to Smart Cities -- 2.1 Smart Governance -- 2.2 Smart Environment -- 2.3 Smart Communications -- 2.4 Smart Mobility -- 2.5 Citizen Participation -- 2.6 Smart Living -- 3 Transformative Phases in Urban Landscapes -- 4 Smart in the Making: From Concept to Reality -- 5 Conclusion and Take-Home Message -- 5.1 Reflections and Implications -- 5.2 The Bottom Line -- References -- The Connected and Autonomous Vehicle Trade-Off: Functional Benefits versus Security Risks -- 1 Introduction -- 2 Literature Review -- 2.1 Defining the Terminology of CVs, AVs, and CAVs -- 2.2 Cyber-Physical Systems (CPSs) -- 2.3 The Levels of Automation -- 2.4 Benefits of CAVs -- 2.4.1 Improving Highway Safety -- 2.4.2 Alleviating Traffic Congestion -- 2.4.3 Reducing Air Pollution -- 2.4.4 Improving the Fuel Economy -- 2.4.5 Beneficial Impact on Public Health -- 2.4.6 Improving Travel Behavior -- 2.5 Risks Associated with CAVs -- 2.5.1 Cyber Security -- 2.5.2 Privacy -- 2.5.3 Legislation -- 2.5.4 Other Risks -- 3 Conclusion -- References -- Connected and Autonomous Vehicles and Infrastructure Needs: Exploring Road Network Changes and Policy Interventions -- 1 Introduction -- 2 Future Urban Road and Autonomous Vehicles. Do They Fit? -- 3 Infrastructure for Connected Autonomous Vehicles in Cities. Are We Ready? Potentials and Risks.
3.1 Are Our Cities Ready to Welcome Connected and Autonomous Vehicles? -- 3.2 Which Are the Issues Hindering a Full-Scale Adoption of CAVs? -- 3.3 Further Developments Required for Adoption -- 3.3.1 Technology -- 3.3.2 Safety -- 3.3.3 Regulation -- 3.3.4 Infrastructure -- 4 Policies and Interventions -- 4.1 Integrating CAVs in Urban Road Environments Through Street Classification -- 4.2 Setting a Complete Framework of Policies and Interventions -- 5 Conclusions -- References -- Part II AI Applications for Smart Transport and Mobility -- Centralized Intelligent Traffic Routing in the Light of Disobedience of Drivers -- 1 Introduction -- 2 Problem Formulation -- 3 Discrepancies Between Global and Individual Costs -- 4 Route Assignment as a Normal Form Game -- 5 Disobedience of Drivers -- 6 Toward Fairness of Centralized Vehicle Routing Systems -- 6.1 Toward the Concept of Fairness -- 6.2 Toward Considering Fairness in Routing -- 6.3 Different Costs Among Vehicles/Drivers -- 7 Discussion -- 8 Conclusion -- References -- Detecting Abnormal Vehicle Behavior: A Clustering-Based Approach -- 1 Introduction -- 2 Literature Review -- 3 Methodology -- 3.1 Data Generation and Preprocessing -- 3.2 Unsupervised Machine Learning Algorithms -- 4 Results and Discussion -- 5 Conclusion -- References -- AI Approaches on Urban Public Transport Routing -- 1 AI Approaches on Urban Public Transport Routing -- 1.1 Traditional Network Route Design -- 1.1.1 Fuel Bus Routing Design -- 1.1.2 Electric Bus Routing Design -- 1.2 Smart Public Transport System -- 1.2.1 Conventional Bus Service -- 1.2.2 Flexible Demand-Responsive Service -- 1.3 Intelligent Public Transport with CAVs -- 1.3.1 Impact of AV Technology -- 1.3.2 Impact of CV Technology -- 1.4 Issues and Challenges -- 1.4.1 Limitations of AI Algorithm -- 1.4.2 Issues of an AI-Based Transportation System. 1.4.3 Challenges of CAVs -- References -- Part III Cyber Security for Deceitful Connected and Autonomous Vehicles -- Cyber Threat Intelligence Analysis for Situational Understanding in Autonomous Transport Systems -- 1 Introduction -- 2 A Primer in Cyber Threat Intelligence Analysis -- 2.1 Cyber Kill Chain -- 2.2 The Diamond Model -- 3 Technology-Centered Analysis of Threats in Autonomous Transport Systems -- 4 Intelligence-Driven Situational Understanding: A Case Study -- 5 Conclusions -- References -- Interaction Attacks as Deceitful Connected and Automated Vehicle Behavior -- 1 Introduction -- 2 Driving Automation, Cyberattacks, and Deception -- 3 Control, Feedback, and Fakes -- 4 Interaction Attacks -- 5 A Case Study -- 6 Interaction Attacks as Deceitful CAV Behavior -- References -- Securing Vehicle-to-Drone (V2D) Communications: Challenges and Solutions -- 1 Introduction -- 2 Fundamentals of V2D Communications -- 2.1 Use Cases and Applications -- 2.1.1 Traffic Management and Optimization -- 2.1.2 Last-Mile Delivery and Logistics Operations -- 2.1.3 Emergency Response -- 2.1.4 Infrastructure Inspection -- 2.1.5 Cooperative Navigation -- 2.2 Key Components in V2D Communications -- 2.2.1 Onboard Vehicle Systems -- 2.2.2 Drone Systems -- 2.2.3 Communication Protocols -- 2.2.4 Data Exchange Formats -- 2.2.5 Positioning and Navigation Technologies -- 2.2.6 Data Processing and Decision-Making -- 2.2.7 Security and Privacy Measures -- 3 V2D-Driven Enhanced Perception -- 4 Security and Privacy Issues in V2D -- 4.1 Threat Landscape in V2D Communications -- 4.2 Authentication and Authorization Issues -- 4.3 Privacy Concerns in V2D Communications -- 5 Example Scenarios of Compromised Security in V2D -- 5.1 Unauthorized Access to Traffic Monitoring Drones -- 5.2 Drone Package Tampering in Last-Mile Delivery -- 5.3 Jamming in Surveillance and Security. 6 Key Security Solutions for V2D Communications -- 6.1 AI-Driven Solutions -- 7 Concluding Remarks -- References -- The Use of GPS Spoofing Attacks in Location Deception -- 1 Introduction -- 2 GPS Workings -- 2.1 GPS Signals -- 2.2 Determining Position -- 2.3 Signal Strength -- 3 GPS Spoofing -- 4 GPS Attacks and Detection and Prevention -- 4.1 Attacks -- 4.2 Detection and Prevention Techniques -- 5 How Spoofing Facilitates CAV Deception -- 6 Conclusion -- References. |
| Record Nr. | UNINA-9910861087203321 |
|
Parkinson Simon
|
||
| Cham : , : Springer International Publishing AG, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge Engineering Tools and Techniques for AI Planning [[electronic resource] /] / edited by Mauro Vallati, Diane Kitchin
| Knowledge Engineering Tools and Techniques for AI Planning [[electronic resource] /] / edited by Mauro Vallati, Diane Kitchin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (VIII, 277 p. 97 illus., 53 illus. in color.) |
| Disciplina | 006.3 |
| Soggetto topico |
Knowledge representation (Information theory)
Knowledge management Data mining Knowledge based Systems Knowledge Management Data Mining and Knowledge Discovery |
| ISBN | 3-030-38561-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Part I: Knowledge Capture and Encoding -- 1. Explanation-based Learning of Action Models -- 2. Automated Domain Model Encoding tools for Planning -- 3. A Formal Knowledge Engineering Approach for Planning and Scheduling: Applications with itSIMPLE -- 4. MyPDDL: Tools for efficiently creating PDDL domains and problems -- 5. Planning.Domains: A Tool Suite for the Planning Researcher -- 6. Modelling Planning Tasks: Representation Matters -- Part II: Interaction, Visualisation, and Explanation -- 7. An Interactive Tool for Plan Generation, Inspection and Visualization -- 8. Interactive Visualization in Planning and Scheduling -- 9. Argument-based Plan Explanation -- 10. Interactive Planning-based Hypothesis Generation with LTS++ -- 11. Web Planner: A Tool to Develop, Visualize and Test Classical Planning Domains -- Part III: Case Studies and Applications -- 12. Design of Timeline-based Planning Systems for Safe Human-Robot Collaboration -- 13. Planning in a Real-world Application: An AUV Case Study -- 14. Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study.-. |
| Record Nr. | UNISA-996465454503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Knowledge Engineering Tools and Techniques for AI Planning / / edited by Mauro Vallati, Diane Kitchin
| Knowledge Engineering Tools and Techniques for AI Planning / / edited by Mauro Vallati, Diane Kitchin |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (VIII, 277 p. 97 illus., 53 illus. in color.) |
| Disciplina | 006.3 |
| Soggetto topico |
Knowledge representation (Information theory)
Knowledge management Data mining Knowledge based Systems Knowledge Management Data Mining and Knowledge Discovery |
| ISBN | 3-030-38561-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Part I: Knowledge Capture and Encoding -- 1. Explanation-based Learning of Action Models -- 2. Automated Domain Model Encoding tools for Planning -- 3. A Formal Knowledge Engineering Approach for Planning and Scheduling: Applications with itSIMPLE -- 4. MyPDDL: Tools for efficiently creating PDDL domains and problems -- 5. Planning.Domains: A Tool Suite for the Planning Researcher -- 6. Modelling Planning Tasks: Representation Matters -- Part II: Interaction, Visualisation, and Explanation -- 7. An Interactive Tool for Plan Generation, Inspection and Visualization -- 8. Interactive Visualization in Planning and Scheduling -- 9. Argument-based Plan Explanation -- 10. Interactive Planning-based Hypothesis Generation with LTS++ -- 11. Web Planner: A Tool to Develop, Visualize and Test Classical Planning Domains -- Part III: Case Studies and Applications -- 12. Design of Timeline-based Planning Systems for Safe Human-Robot Collaboration -- 13. Planning in a Real-world Application: An AUV Case Study -- 14. Knowledge Engineering and Planning for Social Human-Robot Interaction: A Case Study.-. |
| Record Nr. | UNINA-9910410049103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||