Utilizamos cookies

Este sitio web utiliza cookies propias y de terceros para mantener la sesión, ofrecerle una mejor experiencia de usuario y obtener datos estadísticos de navegación de los usuarios. Para más información vea la Política de cookies.

SCI2S - Prisma - Unidad de Bibliometría

SOFT COMPUTING Y SISTEMAS DE INFORMACIÓN INTELIGENTES - TIC-186 (SCI2S)

Tipo de colectivo: Grupo de investigación
Estado: Grupo definitivo
Ámbito: Andalucía
Instituciones: Universidad de Granada
Fecha de creación: 07/05/2002

Investiga en

Palabras clave
Líneas de investigación
Resumen
Nombre Rol
Giraldez Cru, Jesus Miembro
Tipo Año Título Fuente
Artículo2025 Unveiling Agents' Confidence in Opinion Dynamics Models via Graph Neural Networks IEEE Transactions on Computational Social Systems
Artículo2024 A comprehensive view of biometric payment in retailing: A complete study from user to expert JOURNAL OF RETAILING AND CONSUMER SERVICES
Ponencia2024 Learning Agents' Behavioral Patterns in Agent-Based Modeling by Means of Evolutionary Algorithms 2024 IEEE Congress on Evolutionary Computation, CEC 2024 - Proceedings
Artículo2024 Modeling the opinion dynamics of superstars in the film industry EXPERT SYSTEMS WITH APPLICATIONS
Artículo2023 An Integrative Decision-Making Mechanism for Consumers' Brand Selection using 2-Tuple Fuzzy Linguistic Perceptions and Decision Heuristics International Journal of Fuzzy Systems
Ponencia2023 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) IJCAI International Joint Conference on Artificial Intelligence
Artículo2022 Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion INFORMATION SCIENCES
Artículo2022 Characterizing the Temperature of SAT Formulas International Journal of Computational Intelligence Systems
Artículo2022 Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem Journal of Artificial Intelligence Research
Artículo2022 The Impact of Implied Constraints on MaxSAT B2B Instances International Journal of Computational Intelligence Systems
Artículo2021 A framework of opinion dynamics using fuzzy linguistic 2-tuples KNOWLEDGE-BASED SYSTEMS
Ponencia2021 Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance Studies in Computational Intelligence
Ponencia2021 On the Temperature of SAT Formulas Artificial intelligence research and development
Artículo2021 Popularity-similarity random SAT formulas Artificial Intelligence
Ponencia2020 2-tuple fuzzy linguistic perceptions and probabilistic awareness-based heuristics for modeling consumer purchase behaviors 2020 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE)
Artículo2020 Modeling agent-based consumers decision-making with 2-tuple fuzzy linguistic perceptions INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
posted-content2020 The Self-Similarity of Industrial SAT Instances
Ponencia2019 A Study on Implied Constraints in a MaxSAT Approach to B2B Problems ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT
Artículo2019 Community Structure in Industrial SAT Instances Journal of Artificial Intelligence Research
Ponencia2018 In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018
Ponencia2018 Seeking practical CDCL insights from theoretical SAT benchmarks IJCAI International Joint Conference on Artificial Intelligence
Ponencia2018 Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018
Ponencia2017 Iterative AWC for Distributed SAT RECENT ADVANCES IN ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT
Ponencia2017 Locality in random SAT instances IJCAI International Joint Conference on Artificial Intelligence
Ponencia2017 On the Community Structure of Bounded Model Checking SAT Problems THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017)
Ponencia2016 ABT with Clause Learning for Distributed SAT ADVANCES IN ARTIFICIAL INTELLIGENCE, CAEPIA 2016
Artículo2016 Beyond the structure of SAT formulas Constraints
Ponencia2015 Using Community Structure to Detect Relevant Learnt Clauses THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015
Ponencia2014 The fractal dimension of SAT formulas Lecture Notes in Computer Science
Artículo2013 Agent-mediated shared conceptualizations in tagging services MULTIMEDIA TOOLS AND APPLICATIONS
Ponencia2012 CONCEPTUAL-BASED REASONING IN MOBILE WEB 2.0 BY MEANS MULTIAGENT SYSTEMS Knowledge Engineering Notes ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL. 2
Ponencia2012 On the complexity of shared conceptualizations ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT I
Ponencia2012 The community structure of SAT formulas Lecture Notes in Computer Science

Proyectos de Investigación

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
01/06/2020 29/02/2024 Herramientas Lógicas y Algebraicas para el Análisis de Sistemas Basados en Conocimiento. Aplicaciones (PID2019-109152GB-I00) Ministerio de Ciencia, Innovación y Universidades (Nacional) 40.414,00 €
El colectivo no tiene ningún resultado de investigación asociado