LEADER 00790nam0-2200265 --450 001 9910208259203321 005 20170622111821.0 010 $a88-7284-033-3 100 $a20170620d1993----kmuy0itay5050 ba 101 1 $aita 102 $aIT 105 $a 001yy 200 1 $aCanti orfici$edie Tragödie des letzeten Germanen in Italien$fDino Campana$gpoesie commentate da Mario Caronna 210 $aMessina$cRubbettino Editore$d1993 215 $a198 p.$d21 cm 676 $a851.912$v22$zita 700 1$aCampana,$bDino$f<1885?1932>$0152384 702 1$aCaronna,$bMario 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 0$aBK 912 $a9910208259203321 952 0$a851.912 CAMP 1(2)$bDip.f.5620$fFLFBC 959 0$aFLFBC 996 $aCanti orfici$988498 997 $aUNINA LEADER 00938cam0-2200337---450 001 9910221856903321 005 20251006114659.0 010 $a978-88-243-2274-4 100 $a20171031d2013----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aMors omnia solvit$ela morte del reus nel processo criminale romano$fAlessandro Manni 205 $a2. ed. 210 $aNapoli$cJovene$d2013 215 $aXI, 389 p.$d24 cm 225 1 $aDiaphora$v16 610 0 $aProcesso romano penale$aSec. 1. a. C.-2. 676 $a345.3707$v23$zita 700 1$aManni,$bAlessandro$0747725 801 0$aIT$bUNINA$gReicat$2UNIMARC 901 $aBK 912 $a9910221856903321 952 $aDDR-XVI A 12.10$fDDR 952 $aIV F 99$b2025/1106$fFGBC 952 $aXIV B 780$b2972$fNAP02 959 $aFGBC 959 $aDDR 959 $aNAP02 996 $aMors omnia solvit$91494252 997 $aUNINA LEADER 07179nam 22007815 450 001 9910629290003321 005 20251225203458.0 010 $a9783031212031 010 $a3031212037 024 7 $a10.1007/978-3-031-21203-1 035 $a(MiAaPQ)EBC7135078 035 $a(Au-PeEL)EBL7135078 035 $a(CKB)25315225100041 035 $a(PPN)266348769 035 $a(BIP)86363914 035 $a(BIP)85993189 035 $a(DE-He213)978-3-031-21203-1 035 $a(EXLCZ)9925315225100041 100 $a20221111d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPRIMA 2022: Principles and Practice of Multi-Agent Systems $e24th International Conference, Valencia, Spain, November 16?18, 2022, Proceedings /$fedited by Reyhan Aydo?an, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia 205 $a1st ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (714 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13753 311 08$aPrint version: Aydo?an, Reyhan PRIMA 2022: Principles and Practice of Multi-Agent Systems Cham : Springer International Publishing AG,c2022 9783031212024 320 $aIncludes bibliographical references and index. 327 $aRobustness of Congestion Pricing in Traffic Networks with Link-specific Noise -- Explanation-based Negotiation Protocol for Health Coaching -- Cooperative driving at intersections through agent-based argumentation -- Dyadic Obligations: Proofs and Countermodels via Hypersequents -- On Normative Reinforcement Learning via Safe Reinforcement Learning -- Analysis of Carbon Neutrality Scenarios of Industrial Consumers Using Electric Power Market Simulations -- Task Allocation on Networks with Execution Uncertainty -- Incorporating AI methods in micro-dynamic analysis to support group-specific policy-making -- False-Name-Proof Facility Location on Wheel Graphs -- Improving Problem Decomposition and Regulation in Distributed Multi-Agent Path Finder (DMAPF) -- Assume-Guarantee Verification of Strategic Ability -- Sample Complexity of Learning Multi-Value Opinions in Social Networks -- A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles -- MTIRL: Multi-trainer interactive reinforcementlearning system -- Action Languages Based Actual Causality in Decision Making Contexts -- Goal-oriented coordination with cumulative goals -- Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection -- Does Order Simultaneity Affect the Data Mining Task in Financial Markets? -- Effect Analysis of Order Simultaneity using Artificial Market -- Fine-grained Prediction and Control of Covid-19 Pandemic in a City: Application to Post-Initial Stages -- Preference Aggregation Mechanisms for a Tourism-Oriented Bayesian Recommender -- Weaponizing Actions in Multi-Agent Reinforcement Learning: Theoretical and Empirical Study on Security and Robustness -- Learning to Classify Logical Formulas based on their Semantic Similarity -- Time Series Predictive Models for Opponent Behavior Modeling in Bilateral Negotiations -- An MCTS-based Algorithm to Solve Sequential CFGs on Valuation Structures -- The FastMap Pipeline for Facility Location Problems -- An Axiomatic Approach to FormalizedResponsibility Ascription -- Task Selection Algorithm for Multi-Agent Pickup and Delivery with Time -- Synchronization -- Dynamic Continuous Distributed Constraint Optimization Problems -- DITURIA: A Framework for Decision Coordination Among Multiple Agents -- Evaluating Adaptive and Non-adaptive Strategies for Selecting and Orienting Influencer Agents for Effective Flock Control -- A Proportional Pricing Mechanism for Ridesharing Services With Meeting Points -- Privacy-Aware Explanations for Team Formation -- A New Semantics for The Action Language mA* -- Coalition Logic for Specification and Verification of Smart Contract Upgrades -- Collaborative Multi-Agent System for Automatic Linear Text Segmentation -- Start Making Sense: Identifying Behavioural Indicators When Things Go Wrong During Interaction with Artificial Agents -- Comparing mediated and unmediated agent-based negotiation in Wi-Fi channel assignment -- Design of Conversational Components to Facilitate Human-Agent Negotiation -- AN UsingLocal Search in Multi-Issue Bilateral and Repeated Negotiation -- Ontology-based Reflective Communication for Shared Human-AI Recognition of Emergent Collaboration Patterns -- Accounting for Strategic Response in Limit Order Book Dynamics -- Multi-Agent Modelling Notation (MAMN): A multi-layered graphical modelling notation for agent-based simulations -- On Reachable Assignments under Dichotomous Preferences -- Identifying Necessary and Sufficient Conditions for the Enforcement Problem of Argumentation Frameworks -- Collaborative filtering to capture AI user's preferences as norms -- Influence Of Expertise Complementarity on Ad Hoc Human-Agent Team Effectiveness -- STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. 330 $aThis book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in hybrid mode in Valencia, Spain, in November 2022. The 31 full papers presented together with 15 short papers and 1 demo paper were carefully reviewed and selected from 100 submissions. The conference covers a wide range of ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v13753 606 $aArtificial intelligence 606 $aComputer networks 606 $aComputers, Special purpose 606 $aAlgorithms 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aSpecial Purpose and Application-Based Systems 606 $aDesign and Analysis of Algorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aDesign and Analysis of Algorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 676 $a518.1 676 $a006.3 702 $aAydog?an$b Reyhan 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910629290003321 996 $aPRIMA 2022, principles and practice of multi-agent systems$93072852 997 $aUNINA