Autor Costantini, Stefania
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / Demazeau, Yves ; Holvoet, Tom ; Corchado, Juan M. ; Costantini, Stefania
TÃtulo : 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings Tipo de documento: documento electrónico Autores: Demazeau, Yves, ; Holvoet, Tom, ; Corchado, Juan M., ; Costantini, Stefania, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 458 p. 262 ilustraciones, 110 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-49778-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Inteligencia artificial Software de la aplicacion IngenierÃa Informática Red de computadoras IngenierÃa de software TeorÃa de la codificación TeorÃa de la información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes TeorÃa de la codificación y la información Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Aplicaciones Prácticas de Agentes y Sistemas Multiagentes, PAAMS 2020, celebrada en L''Aquila, Italia, en octubre de 2020. Los 29 artÃculos regulares y los 17 de demostración presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 64 presentaciones. Se ocupan de la aplicación y validación de modelos, métodos y tecnologÃas basados ​​en agentes en una serie de áreas de aplicaciones clave, que incluyen: modelos avanzados y aprendizaje, programación basada en agentes, toma de decisiones, educación e interacciones sociales, formal y modelos teóricos, seguridad y salud, movilidad y ciudad, enjambres y asignación de tareas. Nota de contenido: 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. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings [documento electrónico] / Demazeau, Yves, ; Holvoet, Tom, ; Corchado, Juan M., ; Costantini, Stefania, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 458 p. 262 ilustraciones, 110 ilustraciones en color.
ISBN : 978-3-030-49778-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Inteligencia artificial Software de la aplicacion IngenierÃa Informática Red de computadoras IngenierÃa de software TeorÃa de la codificación TeorÃa de la información Aplicaciones informáticas y de sistemas de información IngenierÃa Informática y Redes TeorÃa de la codificación y la información Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Aplicaciones Prácticas de Agentes y Sistemas Multiagentes, PAAMS 2020, celebrada en L''Aquila, Italia, en octubre de 2020. Los 29 artÃculos regulares y los 17 de demostración presentados en este volumen fueron cuidadosamente revisados. y seleccionado entre 64 presentaciones. Se ocupan de la aplicación y validación de modelos, métodos y tecnologÃas basados ​​en agentes en una serie de áreas de aplicaciones clave, que incluyen: modelos avanzados y aprendizaje, programación basada en agentes, toma de decisiones, educación e interacciones sociales, formal y modelos teóricos, seguridad y salud, movilidad y ciudad, enjambres y asignación de tareas. Nota de contenido: 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. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
TÃtulo : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings Tipo de documento: documento electrónico Autores: Costantini, Stefania, ; Franconi, Enrico, ; Van Woensel, William, ; Kontchakov, Roman, ; Sadri, Fariba, ; Roman, Dumitru, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 239 p. 43 ilustraciones ISBN/ISSN/DL: 978-3-319-61252-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Programación de computadoras Compiladores (programas informáticos) TeorÃa de las máquinas Inteligencia artificial IngenierÃa de software Software de la aplicacion Técnicas de programación Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas de la Conferencia Conjunta Internacional sobre Reglas y Razonamiento, RuleML+RR 2017, celebrada en Londres, Reino Unido, durante julio de 2017. Esta es la primera conferencia de una nueva serie, que une los esfuerzos de dos series de conferencias existentes, a saber, "RuleML" (Simposio Internacional de Reglas Web) y "RR" (Razonamiento Web y Sistemas de Reglas). Los 16 artÃculos regulares presentados junto con 2 resúmenes de conferencias magistrales fueron cuidadosamente revisados ​​y seleccionados de 29 presentaciones. La serie de conferencias RR ha sido un foro para la discusión y difusión de nuevos resultados sobre todos los temas relacionados con el razonamiento web y los sistemas de reglas, con énfasis en los enfoques y lenguajes basados ​​en reglas. La serie de conferencias RuleML se ha dedicado a difundir investigaciones, aplicaciones, lenguajes y estándares para tecnologÃas de reglas, con atención tanto a los desarrollos teóricos como prácticos, a las nuevas ideas desafiantes y las aplicaciones industriales. Ambas series de conferencias apuntaron a construir puentes entre la academia y la industria en el campo de las reglas y sus aplicaciones. Por lo tanto, se espera que RuleML+RR se convierta en una conferencia lÃder para todos los temas relacionados con avances teóricos, nuevas tecnologÃas y aplicaciones innovadoras sobre la representación del conocimiento y el razonamiento con reglas. Esta nueva conferencia conjunta proporciona un foro valioso para estimular la cooperación y el intercambio de ideas entre las diferentes comunidades centradas en la investigación, el desarrollo y las aplicaciones de los sistemas basados ​​en reglas. Proporciona la posibilidad de presentar y discutir aplicaciones de reglas y razonamiento en el ámbito académico, industrial, de ingenierÃa, empresarial, financiero, sanitario y otras áreas de aplicación. Nota de contenido: 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. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings [documento electrónico] / Costantini, Stefania, ; Franconi, Enrico, ; Van Woensel, William, ; Kontchakov, Roman, ; Sadri, Fariba, ; Roman, Dumitru, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 239 p. 43 ilustraciones.
ISBN : 978-3-319-61252-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Programación de computadoras Compiladores (programas informáticos) TeorÃa de las máquinas Inteligencia artificial IngenierÃa de software Software de la aplicacion Técnicas de programación Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Aplicaciones informáticas y de sistemas de información Ãndice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas de la Conferencia Conjunta Internacional sobre Reglas y Razonamiento, RuleML+RR 2017, celebrada en Londres, Reino Unido, durante julio de 2017. Esta es la primera conferencia de una nueva serie, que une los esfuerzos de dos series de conferencias existentes, a saber, "RuleML" (Simposio Internacional de Reglas Web) y "RR" (Razonamiento Web y Sistemas de Reglas). Los 16 artÃculos regulares presentados junto con 2 resúmenes de conferencias magistrales fueron cuidadosamente revisados ​​y seleccionados de 29 presentaciones. La serie de conferencias RR ha sido un foro para la discusión y difusión de nuevos resultados sobre todos los temas relacionados con el razonamiento web y los sistemas de reglas, con énfasis en los enfoques y lenguajes basados ​​en reglas. La serie de conferencias RuleML se ha dedicado a difundir investigaciones, aplicaciones, lenguajes y estándares para tecnologÃas de reglas, con atención tanto a los desarrollos teóricos como prácticos, a las nuevas ideas desafiantes y las aplicaciones industriales. Ambas series de conferencias apuntaron a construir puentes entre la academia y la industria en el campo de las reglas y sus aplicaciones. Por lo tanto, se espera que RuleML+RR se convierta en una conferencia lÃder para todos los temas relacionados con avances teóricos, nuevas tecnologÃas y aplicaciones innovadoras sobre la representación del conocimiento y el razonamiento con reglas. Esta nueva conferencia conjunta proporciona un foro valioso para estimular la cooperación y el intercambio de ideas entre las diferentes comunidades centradas en la investigación, el desarrollo y las aplicaciones de los sistemas basados ​​en reglas. Proporciona la posibilidad de presentar y discutir aplicaciones de reglas y razonamiento en el ámbito académico, industrial, de ingenierÃa, empresarial, financiero, sanitario y otras áreas de aplicación. Nota de contenido: 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. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
