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.
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [[electronic resource] ] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini
| Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [[electronic resource] ] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (471 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer organization Software engineering Coding theory Information theory Artificial Intelligence Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Coding and Information Theory |
| ISBN | 3-030-49778-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- An Interruptible Task Allocation Model : Application to a Honey Bee Colony Simulation -- RT-BDI: A Real-Time BDI Model -- Routing Model Evaluator -- The DigForSim Agent Based Simulator of People Movements in Crime Scenes -- Personal Data Privacy Semantics in Multi-Agent Systems Interactions -- Towards Real-time Crowd Simulation Under Uncertainty Using an Agent-Based Model and an Unscented Kalman Filter -- The JaCa-Android Framework for Programming BDI-based Personal Agents on Mobile Devices -- Assisted Parameter and Behavior Calibration in Agent-based Models with Distributed Optimization -- Fast and Efficient Partner Selection in Large Agents’ Communities: When Categories Overcome Direct Experience -- Multi-Agent Modelling and Simulation of Hospital Acquired Infection Propagation Dynamics by Contact Transmission in Hospital Wards -- Unsupervised Sleep Stages Classification Based On Physiological Signals -- Recommending Learning Videos for MOOCs and Flipped Classrooms -- Improving Sustainable Mobility with a Variable Incentive Model for Bike-Sharing Systems Based on Agent-based Social Simulation -- Decentralized Constraint Optimization in Composite Observation Task Allocation to Mobile Sensor Agents -- Comparing the Performance of Message Delivery Methods for Mobile Agents -- Application of Agent-based Modelling to Simulate Ribosome Translation -- Intent Recognition from Speech and Plan Recognition -- Planner-Guided Robot Swarms -- A MAS-based Approach for POI Group Recommendation in LBSN -- Agent Programmability Enhancement for Rambling over a Scientific Dataset -- Scalable Heterogeneous Multiagent Learning from Demonstration -- Multimodal Joke Generation and Paralinguistic Personalization for a Socially-Aware Robot -- A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions -- Impact of Trust and Reputation Based Brokerage on the CloudAnchor Platform -- Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP -- Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B -- A Study on Automated Receptionists in a Real-world Scenario -- Navigation of Autonomous Swarm of Drones using Translational Coordinates -- Multi-agent Service Area Adaptation for Ride-Sharing Using Deep Reinforcement Learning -- Demo Papers -- MAXIM-GPRT: A Simulator of Local Schedulers, Negotiations, and Communication for Multi-Agent Systems in General-Purpose and Real-Time Scenarios -- Assisting Users on the Privacy Decision-Making Process in an OSN for Educational Purposes -- A Demonstration of the Routing Model Evaluator -- JADE/JaCaMo+2COMM: Programming Agent Interactions -- Agent-based Mixed Reality Environments in Healthcare: the Smart Shock Room Project -- Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog Systems -- A Multi-Agent Simulator for Infection Spread in a Healthcare Environment -- SafeCity: A Platform for Safer and Smarter Cities -- AGADE Traffic 2.0 - A Knowledge-based Approach for Multi-agent Traffic Simulations -- PoVaBiA: a Multi-agent Decision-making Support Tool for Organic Waste Management -- Dedale : Demonstrating a Realistic Testbed for Decentralized Multi-agents Problems -- Agent-based Crowd Discussion Support System and its Societal Experiments -- Disaster Response Simulation -- Understandable Teams of Pepper Robots -- A Practical Demonstration of a Variable Incentive Model for Bike-sharing Systems Based on Agent-based Social Simulation -- Implementation of a Holonic Multi-agent System in Mixed or Augmented Reality for Large Scale Interactions -- A Multi-agent Evaluation of Traffic Light Models. |
| Record Nr. | UNINA-9910413448703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [[electronic resource] ] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini
| Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection [[electronic resource] ] : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / / edited by Yves Demazeau, Tom Holvoet, Juan M. Corchado, Stefania Costantini |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (471 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computer organization Software engineering Coding theory Information theory Artificial Intelligence Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Coding and Information Theory |
| ISBN | 3-030-49778-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Regular Papers -- An Interruptible Task Allocation Model : Application to a Honey Bee Colony Simulation -- RT-BDI: A Real-Time BDI Model -- Routing Model Evaluator -- The DigForSim Agent Based Simulator of People Movements in Crime Scenes -- Personal Data Privacy Semantics in Multi-Agent Systems Interactions -- Towards Real-time Crowd Simulation Under Uncertainty Using an Agent-Based Model and an Unscented Kalman Filter -- The JaCa-Android Framework for Programming BDI-based Personal Agents on Mobile Devices -- Assisted Parameter and Behavior Calibration in Agent-based Models with Distributed Optimization -- Fast and Efficient Partner Selection in Large Agents’ Communities: When Categories Overcome Direct Experience -- Multi-Agent Modelling and Simulation of Hospital Acquired Infection Propagation Dynamics by Contact Transmission in Hospital Wards -- Unsupervised Sleep Stages Classification Based On Physiological Signals -- Recommending Learning Videos for MOOCs and Flipped Classrooms -- Improving Sustainable Mobility with a Variable Incentive Model for Bike-Sharing Systems Based on Agent-based Social Simulation -- Decentralized Constraint Optimization in Composite Observation Task Allocation to Mobile Sensor Agents -- Comparing the Performance of Message Delivery Methods for Mobile Agents -- Application of Agent-based Modelling to Simulate Ribosome Translation -- Intent Recognition from Speech and Plan Recognition -- Planner-Guided Robot Swarms -- A MAS-based Approach for POI Group Recommendation in LBSN -- Agent Programmability Enhancement for Rambling over a Scientific Dataset -- Scalable Heterogeneous Multiagent Learning from Demonstration -- Multimodal Joke Generation and Paralinguistic Personalization for a Socially-Aware Robot -- A Framework for Verifying Autonomous Robotic Agents Against Environment Assumptions -- Impact of Trust and Reputation Based Brokerage on the CloudAnchor Platform -- Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP -- Pattern-Based Goal-Oriented Development of Fault-Tolerant MAS in Event-B -- A Study on Automated Receptionists in a Real-world Scenario -- Navigation of Autonomous Swarm of Drones using Translational Coordinates -- Multi-agent Service Area Adaptation for Ride-Sharing Using Deep Reinforcement Learning -- Demo Papers -- MAXIM-GPRT: A Simulator of Local Schedulers, Negotiations, and Communication for Multi-Agent Systems in General-Purpose and Real-Time Scenarios -- Assisting Users on the Privacy Decision-Making Process in an OSN for Educational Purposes -- A Demonstration of the Routing Model Evaluator -- JADE/JaCaMo+2COMM: Programming Agent Interactions -- Agent-based Mixed Reality Environments in Healthcare: the Smart Shock Room Project -- Demo Paper: Monitoring and Evaluation of Ethical Behavior in Dialog Systems -- A Multi-Agent Simulator for Infection Spread in a Healthcare Environment -- SafeCity: A Platform for Safer and Smarter Cities -- AGADE Traffic 2.0 - A Knowledge-based Approach for Multi-agent Traffic Simulations -- PoVaBiA: a Multi-agent Decision-making Support Tool for Organic Waste Management -- Dedale : Demonstrating a Realistic Testbed for Decentralized Multi-agents Problems -- Agent-based Crowd Discussion Support System and its Societal Experiments -- Disaster Response Simulation -- Understandable Teams of Pepper Robots -- A Practical Demonstration of a Variable Incentive Model for Bike-sharing Systems Based on Agent-based Social Simulation -- Implementation of a Holonic Multi-agent System in Mixed or Augmented Reality for Large Scale Interactions -- A Multi-agent Evaluation of Traffic Light Models. |
| Record Nr. | UNISA-996418292703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 239 p. 43 illus.) |
| Disciplina | 025.04 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Software engineering Application software Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Software Engineering Computer Applications |
| ISBN | 3-319-61252-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. |
| Record Nr. | UNINA-9910483234003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 239 p. 43 illus.) |
| Disciplina | 025.04 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Software engineering Application software Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Software Engineering Computer Applications |
| ISBN | 3-319-61252-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. |
| Record Nr. | UNISA-996466465103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||