Autor Dastani, Mehdi
|
|
Documentos disponibles escritos por este autor (4)
Hacer una sugerencia Refinar búsqueda22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings / Baldoni, Matteo ; Dastani, Mehdi ; Liao, Beishui ; Sakurai, Yuko ; Zalila Wenkstern, Rym
TÃtulo : 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings Tipo de documento: documento electrónico Autores: Baldoni, Matteo, ; Dastani, Mehdi, ; Liao, Beishui, ; Sakurai, Yuko, ; Zalila Wenkstern, Rym, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVII, 646 p. 432 ilustraciones, 98 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-33792-6 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 Red informática IngenierÃa Informática IngenierÃa de software Redes de comunicación informática IngenierÃa Informática y Redes Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 22.ª Conferencia Internacional sobre Principios y Prácticas de Sistemas Multiagente, PRIMA 2019, celebrada en TurÃn, Italia, en octubre de 2019. Los 25 artÃculos completos presentados y los 25 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados de 112 presentaciones. Los artÃculos presentados en la conferencia PRIMA 2019 se centran en los siguientes temas: lógica y razonamiento, ingenierÃa de sistemas multiagente, modelado y simulación basados ​​en agentes, colaboración y coordinación, paradigmas económicos, interacción humano-agente, paradigmas descentralizados y dominios de aplicación para sistemas multiagente. Nota de contenido: Main track full papers -- Deliberation towards transitivity with unshared features -- K-ACE: a Flexible Environment for Knowledge-Aware Multi-Agent Systems -- Formal analysis of responsibility attribution in a multimodal framework -- Decidable Veriï¬cation of Agent-Based Data-aware Systems -- New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing -- A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation -- Dynamic multi-agent systems: conceptual framework, automata-based modelling and veriï¬cation -- Usefulness of Information for Goal Achievement -- A Scheduler for Smart Homes with Probabilistic User Preferences -- Supply Chain Management World: A benchmark environment for situated negotiations -- Coordination of Mobile Agents for Simultaneous Coverage -- MCTS-based Automated Negotiation Agent -- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics -- Selï¬sh Mining in Proof-of-Work Blockchain with Multiple Miners: An Empirical Evaluation -- A Co-Evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market -- Modelling Shared Decision Making in Medical Negotiations: Interactive Training with Cognitive Agents -- Doxastic Group Reasoning via Multiple Belief Shadowing -- Subset Spaces for Conditional Norms -- Integrating CP-nets in Reactive BDI Agents -- SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location -- Solving Coalition Structure Generation Problems over Weighted Graph -- From good intentions to behaviour change: Probabilistic Feature Diagrams for Behaviour Support Agents -- Identifying Belief Sequences in a Network of Communicating Agents -- Non-monotonic collective decisions -- A Coalitional Algorithm for Recursive Delegation -- Short papers -- Compact Frequency Memory for Reinforcement Learning with Hidden States -- Leveraging Symmetric Relations for Approximation Coalition Structure Generation -- Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: an Insight -- Self-Vehicle Positioning Using Smart Infrastructures -- A Combined Netflow-driven and Agent-based Social Modeling Approach for Building Evacuation -- Imperfect Information in Alternating-time Temporal Logic on Finite Traces -- TAMER: Task Allocation in Multi-Robot Systems Through an Entity-Relationship Model -- A Modeling Environment for Reiï¬ed Temporal-Causal Networks: Modeling Plasticity and Metaplasticity in Cognitive Agent Models -- The Choice Between Bad and Worse: A Cognitive Agent Model for Desire Regulation under Stress -- Modeling Higher-Order Adaptive Evolutionary Processes by Multilevel Adaptive Agent Models -- Emergent Privacy Norms for Collaborative Systems -- Estimating Missing Environmental Information by Contextual Data Cooperation -- Semantics of extended argumentation frameworks deï¬ned by renovation sets -- Smart RogAgent: where Agents and Humans Team Up -- Coordination in Collaborative Work by Deep Reinforcement Learning with Various State Descriptions -- Learning to Explain Anger : An Adaptive Humanoid-Agent for Cyber-Aggression -- SPSC: a new execution policy for exploring discrete-time stochastic simulations -- Computational Complexity of Hedonic Games on Sparse Graphs -- Strategies for Energy-Aware Multi-Agent Continuous Cooperative Patrolling Problems subject to Requirements -- Deep false-name-proof auction mechanisms -- Ubiquitous computing and multi-agent systems: clariï¬cation of the lexicon -- Explainable ASP -- Block Argumentation -- DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs -- An Adaptive Cognitive Agent Model for Development of a Hoarding Disorder and Recovery from it by Therapy. 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 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings [documento electrónico] / Baldoni, Matteo, ; Dastani, Mehdi, ; Liao, Beishui, ; Sakurai, Yuko, ; Zalila Wenkstern, Rym, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVII, 646 p. 432 ilustraciones, 98 ilustraciones en color.
ISBN : 978-3-030-33792-6
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 Red informática IngenierÃa Informática IngenierÃa de software Redes de comunicación informática IngenierÃa Informática y Redes Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 22.ª Conferencia Internacional sobre Principios y Prácticas de Sistemas Multiagente, PRIMA 2019, celebrada en TurÃn, Italia, en octubre de 2019. Los 25 artÃculos completos presentados y los 25 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados de 112 presentaciones. Los artÃculos presentados en la conferencia PRIMA 2019 se centran en los siguientes temas: lógica y razonamiento, ingenierÃa de sistemas multiagente, modelado y simulación basados ​​en agentes, colaboración y coordinación, paradigmas económicos, interacción humano-agente, paradigmas descentralizados y dominios de aplicación para sistemas multiagente. Nota de contenido: Main track full papers -- Deliberation towards transitivity with unshared features -- K-ACE: a Flexible Environment for Knowledge-Aware Multi-Agent Systems -- Formal analysis of responsibility attribution in a multimodal framework -- Decidable Veriï¬cation of Agent-Based Data-aware Systems -- New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing -- A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation -- Dynamic multi-agent systems: conceptual framework, automata-based modelling and veriï¬cation -- Usefulness of Information for Goal Achievement -- A Scheduler for Smart Homes with Probabilistic User Preferences -- Supply Chain Management World: A benchmark environment for situated negotiations -- Coordination of Mobile Agents for Simultaneous Coverage -- MCTS-based Automated Negotiation Agent -- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics -- Selï¬sh Mining in Proof-of-Work Blockchain with Multiple Miners: An Empirical Evaluation -- A Co-Evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market -- Modelling Shared Decision Making in Medical Negotiations: Interactive Training with Cognitive Agents -- Doxastic Group Reasoning via Multiple Belief Shadowing -- Subset Spaces for Conditional Norms -- Integrating CP-nets in Reactive BDI Agents -- SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location -- Solving Coalition Structure Generation Problems over Weighted Graph -- From good intentions to behaviour change: Probabilistic Feature Diagrams for Behaviour Support Agents -- Identifying Belief Sequences in a Network of Communicating Agents -- Non-monotonic collective decisions -- A Coalitional Algorithm for Recursive Delegation -- Short papers -- Compact Frequency Memory for Reinforcement Learning with Hidden States -- Leveraging Symmetric Relations for Approximation Coalition Structure Generation -- Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: an Insight -- Self-Vehicle Positioning Using Smart Infrastructures -- A Combined Netflow-driven and Agent-based Social Modeling Approach for Building Evacuation -- Imperfect Information in Alternating-time Temporal Logic on Finite Traces -- TAMER: Task Allocation in Multi-Robot Systems Through an Entity-Relationship Model -- A Modeling Environment for Reiï¬ed Temporal-Causal Networks: Modeling Plasticity and Metaplasticity in Cognitive Agent Models -- The Choice Between Bad and Worse: A Cognitive Agent Model for Desire Regulation under Stress -- Modeling Higher-Order Adaptive Evolutionary Processes by Multilevel Adaptive Agent Models -- Emergent Privacy Norms for Collaborative Systems -- Estimating Missing Environmental Information by Contextual Data Cooperation -- Semantics of extended argumentation frameworks deï¬ned by renovation sets -- Smart RogAgent: where Agents and Humans Team Up -- Coordination in Collaborative Work by Deep Reinforcement Learning with Various State Descriptions -- Learning to Explain Anger : An Adaptive Humanoid-Agent for Cyber-Aggression -- SPSC: a new execution policy for exploring discrete-time stochastic simulations -- Computational Complexity of Hedonic Games on Sparse Graphs -- Strategies for Energy-Aware Multi-Agent Continuous Cooperative Patrolling Problems subject to Requirements -- Deep false-name-proof auction mechanisms -- Ubiquitous computing and multi-agent systems: clariï¬cation of the lexicon -- Explainable ASP -- Block Argumentation -- DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs -- An Adaptive Cognitive Agent Model for Development of a Hoarding Disorder and Recovery from it by Therapy. 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 : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Dastani, Mehdi, ; Sirjani, Marjan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 261 p. 70 ilustraciones ISBN/ISSN/DL: 978-3-319-68972-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: IngenierÃa de software Ciencias de la Computación Algoritmos Compiladores (programas informáticos) Programación de computadoras IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Técnicas de programación IngenierÃa Informática y Redes Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Séptima Conferencia Internacional sobre Fundamentos de IngenierÃa de Software, FSEN 2017, celebrada en Teherán, Irán, en abril de 2017. Los 16 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 49 presentaciones. . Los temas de interés en FSEN abarcan todos los aspectos de los métodos formales, especialmente aquellos relacionados con el avance de la aplicación de métodos formales en la industria del software y la promoción de su integración con técnicas prácticas de ingenierÃa. Nota de contenido: Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . 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 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers [documento electrónico] / Dastani, Mehdi, ; Sirjani, Marjan, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 261 p. 70 ilustraciones.
ISBN : 978-3-319-68972-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Ciencias de la Computación Algoritmos Compiladores (programas informáticos) Programación de computadoras IngenierÃa Informática Red de computadoras Lógica informática y fundamentos de la programación Compiladores e intérpretes Técnicas de programación IngenierÃa Informática y Redes Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la Séptima Conferencia Internacional sobre Fundamentos de IngenierÃa de Software, FSEN 2017, celebrada en Teherán, Irán, en abril de 2017. Los 16 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 49 presentaciones. . Los temas de interés en FSEN abarcan todos los aspectos de los métodos formales, especialmente aquellos relacionados con el avance de la aplicación de métodos formales en la industria del software y la promoción de su integración con técnicas prácticas de ingenierÃa. Nota de contenido: Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . 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 : 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Poppe, Ronald, ; Meyer, John-Jules, ; Veltkamp, Remco, ; Dastani, Mehdi, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XI, 300 p. 87 ilustraciones ISBN/ISSN/DL: 978-3-319-49616-0 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: Visión por computador Visión Computadoras y Educación Aplicaciones informáticas y de sistemas de información Inteligencia artificial Diseño de medios Procesamiento de imágenes Sistemas multimedia Educación Multimedia interactiva La interacción p Ãndice Dewey: 006.7 Sistemas multimedia Resumen: Este libro constituye las actas arbitradas de la 8.ª Conferencia Internacional sobre TecnologÃas Inteligentes para el Entretenimiento Interactivo, INTETAIN 2016, celebrada en Utrecht, PaÃses Bajos, en junio de 2016. Los 19 artÃculos completos, 5 breves y 6 artÃculos de taller fueron seleccionados entre 49 presentaciones y se presentan Técnicas interactivas novedosas y su aplicación en el entretenimiento, la educación, la cultura y el arte. Las ponencias se agrupan en seis sesiones temáticas: juegos serios, aplicaciones y herramientas novedosas, juegos de esfuerzo, persuasión y motivación, tecnologÃas de interacción y estudios de juegos. Nota de contenido: Designing collaborative games for children education on sustainable development -- Towards Serious Gaming for Communication Training – A Pilot Study with Police Academy Students -- A Serious Game for Learning Social Networking Literacy by Flaming Experiences -- Game@School. Teaching through Gaming and Mobile-based Tutoring Systems Interaction technologies -- Exploring User-Defined Gestures and Voice Commands to Control an Unmanned Aerial Vehicle -- Monitoring Interactions -- Hold me Tight: A Tangible Interface for Mediating Closeness to Overcome Physical Separation -- Analyzing Fear Using a Single-Sensor EEG Device Persuasion and motivation -- Design of an Adaptive Persuasive Mobile Application for Stimulating the Medication Adherence -- Interactive Advertisements in an IoT Era Exertion games -- Cooperative Tetris: the Influence of Social Exertion Gaming on Game Experience and Social Presence -- Distributed Embodied Team Play, a Distributed Interactive Pong Playground -- A Throw Training System Utilizing Visual and Sound Effects -- Play with Me! Gender-Typed Social Play Behavior Analysis in Interactive Tag Games -- Deep learning for classifying Battlefield 4 players -- Do Warriors, Villagers and Scientists Decide Differently? -- The Impact of Role on Message Framing -- The Effect of Gender, Native English Speaking, and Age on Game Genre Preference and Gaming Motivations -- Measuring Affective, Physiological and Behavioural Differences in Solo, Competitive and Collaborative Games -- The Oculus Rift Film Experience: A Case Study on Understanding Films in a Head Mounted Display -- WWoW: World Without Walls. Immersive Mixed Reality with Virtual Co-location, Natural Interactions, and Remote Collaboration -- My Drama: Story-based Game for Understanding Emotions in Context -- Building game scripting DSL's with the Metacasanova metacompiler -- Interaction Design Tools for Autism -- Poème Numérique: Technology-Mediated Audience Participation (TMAP) using Smartphones and High-Frequency Sound IDs. . 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 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28–30, 2016, Revised Selected Papers [documento electrónico] / Poppe, Ronald, ; Meyer, John-Jules, ; Veltkamp, Remco, ; Dastani, Mehdi, . - 1 ed. . - [s.l.] : Springer, 2017 . - XI, 300 p. 87 ilustraciones.
ISBN : 978-3-319-49616-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Visión por computador Visión Computadoras y Educación Aplicaciones informáticas y de sistemas de información Inteligencia artificial Diseño de medios Procesamiento de imágenes Sistemas multimedia Educación Multimedia interactiva La interacción p Ãndice Dewey: 006.7 Sistemas multimedia Resumen: Este libro constituye las actas arbitradas de la 8.ª Conferencia Internacional sobre TecnologÃas Inteligentes para el Entretenimiento Interactivo, INTETAIN 2016, celebrada en Utrecht, PaÃses Bajos, en junio de 2016. Los 19 artÃculos completos, 5 breves y 6 artÃculos de taller fueron seleccionados entre 49 presentaciones y se presentan Técnicas interactivas novedosas y su aplicación en el entretenimiento, la educación, la cultura y el arte. Las ponencias se agrupan en seis sesiones temáticas: juegos serios, aplicaciones y herramientas novedosas, juegos de esfuerzo, persuasión y motivación, tecnologÃas de interacción y estudios de juegos. Nota de contenido: Designing collaborative games for children education on sustainable development -- Towards Serious Gaming for Communication Training – A Pilot Study with Police Academy Students -- A Serious Game for Learning Social Networking Literacy by Flaming Experiences -- Game@School. Teaching through Gaming and Mobile-based Tutoring Systems Interaction technologies -- Exploring User-Defined Gestures and Voice Commands to Control an Unmanned Aerial Vehicle -- Monitoring Interactions -- Hold me Tight: A Tangible Interface for Mediating Closeness to Overcome Physical Separation -- Analyzing Fear Using a Single-Sensor EEG Device Persuasion and motivation -- Design of an Adaptive Persuasive Mobile Application for Stimulating the Medication Adherence -- Interactive Advertisements in an IoT Era Exertion games -- Cooperative Tetris: the Influence of Social Exertion Gaming on Game Experience and Social Presence -- Distributed Embodied Team Play, a Distributed Interactive Pong Playground -- A Throw Training System Utilizing Visual and Sound Effects -- Play with Me! Gender-Typed Social Play Behavior Analysis in Interactive Tag Games -- Deep learning for classifying Battlefield 4 players -- Do Warriors, Villagers and Scientists Decide Differently? -- The Impact of Role on Message Framing -- The Effect of Gender, Native English Speaking, and Age on Game Genre Preference and Gaming Motivations -- Measuring Affective, Physiological and Behavioural Differences in Solo, Competitive and Collaborative Games -- The Oculus Rift Film Experience: A Case Study on Understanding Films in a Head Mounted Display -- WWoW: World Without Walls. Immersive Mixed Reality with Virtual Co-location, Natural Interactions, and Remote Collaboration -- My Drama: Story-based Game for Understanding Emotions in Context -- Building game scripting DSL's with the Metacasanova metacompiler -- Interaction Design Tools for Autism -- Poème Numérique: Technology-Mediated Audience Participation (TMAP) using Smartphones and High-Frequency Sound IDs. . 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 : Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings Tipo de documento: documento electrónico Autores: Dastani, Mehdi, ; Dong, Huimin, ; van der Torre, Leon, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 363 p. 244 ilustraciones, 15 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-44638-3 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 Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Lógica y Argumentación, CLAR 2020, celebrada en Hangzhou, China, en abril de 2020. Los 14 artÃculos completos y 7 breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos cubren el enfoque de la serie CLAR, incluidos modelos formales de argumentación, lógicas para la toma de decisiones y razonamiento incierto, modelos formales de evidencia, confirmación y justificación, lógicas para la cognición grupal y la red social, razonamiento sobre normas, representaciones formales del lenguaje natural. y textos legales, asà como aplicaciones de la argumentación sobre la ingenierÃa climática. Nota de contenido: Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling.-A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument. 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 Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020, Proceedings [documento electrónico] / Dastani, Mehdi, ; Dong, Huimin, ; van der Torre, Leon, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 363 p. 244 ilustraciones, 15 ilustraciones en color.
ISBN : 978-3-030-44638-3
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 Ãndice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Tercera Conferencia Internacional sobre Lógica y Argumentación, CLAR 2020, celebrada en Hangzhou, China, en abril de 2020. Los 14 artÃculos completos y 7 breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 31 presentaciones. Los artÃculos cubren el enfoque de la serie CLAR, incluidos modelos formales de argumentación, lógicas para la toma de decisiones y razonamiento incierto, modelos formales de evidencia, confirmación y justificación, lógicas para la cognición grupal y la red social, razonamiento sobre normas, representaciones formales del lenguaje natural. y textos legales, asà como aplicaciones de la argumentación sobre la ingenierÃa climática. Nota de contenido: Group Belief -- Broadening Label-based Argumentation Semantics with May-Must Scales -- Semirings of Evidence -- Logic Programming, Argumentation and Human Reasoning -- Reasoning about Degrees of Con rmation -- Ideal related algebras and their logics { Extended abstract -- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments -- A Meta-level Annotation Language for Legal Texts -- Towards an Executable Methodology for the Formalization of Legal Texts -- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting -- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics -- Ambiguity Preference and Context Learning in Uncertain Signaling.-A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms -- Preservation of Admissibility with Rationality and Feasibility Constraints -- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope -- Reasoning as Speech Acts -- Dynamics of Fuzzy Argumentation Frameworks -- Probabilistic three-value argumentation frameworks -- Further Steps Towards a Logic of Polarization in Social Networks -- A Formalization of the Slippery Slope Argument. 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
