CA
|
ES
|
EN
Intranet
RESEARCH
RESEARCH GROUPS
MULTIAGENT SYSTEMS
LEARNING SYSTEMS
LOGIC & REASONING
RESEARCH THEMES
ETHICS AND AI
AI AND EDUCATION
AI FOR HEALTHCARE
ALLIANCES
ASSOCIATED UNITS
PROJECTS
PUBLICATIONS
THESES
ARS MAGNA CLUSTER & HPC-AI SERVICES
EDUCATION
PHD STUDIES
ENGAGEMENT
PUBLIC ENGAGEMENT
ACADEMIC ENGAGEMENT
INDUSTRY ENGAGEMENT
TECHNOLOGY TRANSFER & DEVELOPMENT UNIT (UDT)
INDUSTRIAL PHD
ARS MAGNA CLUSTER & HPC-AI SERVICES
PEOPLE
STAFF & STUDENTS
ALUMNI
OPEN POSITIONS
PAST PERSONNEL
NEWS & EVENTS
NEWS
EVENTS
SEMINARS
OPEN PROJECT CALLS
CALL FOR TENDERS
JOIN US
ABOUT
MESSAGE FROM THE DIRECTOR
IIIA IN THE MEDIA
AWARDS & HONOURS
HOW TO GET TO IIIA
CONTACT US
SEARCH
Ion Mikel
Ion Mikel
Liberal
Liberal
PhD Student
PhD Student
Ion Mikel
Ion Mikel
Liberal
Liberal
PhD Student
PhD Student
Logic and Reasoning
Logic and Reasoning
(+34) 93 580 9570 ext.
ion.mikel.liberal@iiia.csic.es
ion.mikel.liberal@iiia.csic.es
Research areas:
Impact areas:
SDGs:
Publications
Projects
Filter by year...
In Press
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
Filter by type...
Article
Book
Book chapter
Conference & workshop paper
Report/Deliverable
Thesis
Filter by Research Area...
Active Learning
Agent-Based Simulation
Algebraic logic
Approximate Reasoning and Soft computing
Argumentation
Automated Auctions
Automated Negotiation
Automated Reasoning
Autonomous Robots
Belief Revision
Bioinformatics
Case-Based Reasoning
Causal Inference
Citizen Science
Collective decision making
Combinatorial Optimisation
Computational Creativity
Computational Ontologies
Conditional logics
Data management
Data mining
Data Privacy
Deep Learning
Diagrammatic Reasoning
Embodied Cognition
Ethics & AI
Expert Systems
Federated Learning
Foundations of Databases
Fuzzy Logic
Image Segmentation
Inconsistency Measures
Inconsitency-tolerant reasoning
Integration of Problem Solving and Learning
Learning
Machine Learning
Modal Logic
Multiagent Systems
Multi-Objective Optimization
Natural Language Processing
Nonmonotonic Reasoning
Normative Systems
Optimisation
Preferences
Probabilistic Graphical Models
Probabilistic Learning
Probability Logic
Quantum Computation
Recommender Systems
Responsible AI
Satisfiability models
Self-* Systems
Semantic Alignment
Social choice
Social Simulation
Solving constraint-based problems
Swarn Computing
Team Formation
Time Series Analysis
Trust and Reputation
Uncertainty
Virtual reality
XAI
Filter by Impact Area...
Creativity
Cultural Heritage
Education
Ethics
Finance
Healthcare
Industry
Smart Cities
Social Networking
Tourism
Transport / Automotive
Filter by SDG...
GOAL 03: Good Health and Well-being
GOAL 04: Quality Education
GOAL 06: Clean Water and Sanitation
GOAL 07: Affordable and Clean Energy
GOAL 09: Industry, Innovation & Infrastructure
GOAL 10: Reduced Inequality
GOAL 11: Sustainable Cities and Communities
GOAL 13: Climate Action
GOAL 16: Peace, Justice and Strong Institutions
SDGs: General
Loading...
No publications uploaded yet
Principal Invesitgator
Coordinated by IIIA
Filter by status...
Ongoing projects
Completed projects
Filter by year...
2024
2023
Filter by Research Area...
Active Learning
Agent-Based Simulation
Algebraic logic
Approximate Reasoning and Soft computing
Argumentation
Automated Auctions
Automated Negotiation
Automated Reasoning
Autonomous Robots
Belief Revision
Bioinformatics
Case-Based Reasoning
Causal Inference
Citizen Science
Collective decision making
Combinatorial Optimisation
Computational Creativity
Computational Ontologies
Conditional logics
Data management
Data mining
Data Privacy
Deep Learning
Diagrammatic Reasoning
Embodied Cognition
Ethics & AI
Expert Systems
Federated Learning
Foundations of Databases
Fuzzy Logic
Image Segmentation
Inconsistency Measures
Inconsitency-tolerant reasoning
Integration of Problem Solving and Learning
Learning
Machine Learning
Modal Logic
Multiagent Systems
Multi-Objective Optimization
Natural Language Processing
Nonmonotonic Reasoning
Normative Systems
Optimisation
Preferences
Probabilistic Graphical Models
Probabilistic Learning
Probability Logic
Quantum Computation
Recommender Systems
Responsible AI
Satisfiability models
Self-* Systems
Semantic Alignment
Social choice
Social Simulation
Solving constraint-based problems
Swarn Computing
Team Formation
Time Series Analysis
Trust and Reputation
Uncertainty
Virtual reality
XAI
Filter by Impact Area...
Creativity
Cultural Heritage
Education
Ethics
Finance
Healthcare
Industry
Smart Cities
Social Networking
Tourism
Transport / Automotive
Filter by SDG...
GOAL 03: Good Health and Well-being
GOAL 04: Quality Education
GOAL 06: Clean Water and Sanitation
GOAL 07: Affordable and Clean Energy
GOAL 09: Industry, Innovation & Infrastructure
GOAL 10: Reduced Inequality
GOAL 11: Sustainable Cities and Communities
GOAL 13: Climate Action
GOAL 16: Peace, Justice and Strong Institutions
SDGs: General
Loading...
Ministerio de Ciencia e Inn...
PROOFS BEYOND
Jordi Levy
