A5086317940- Advanced Algebra and Logic
- Logic, Reasoning, and Knowledge
- Rough Sets and Fuzzy Logic
- Fuzzy Logic and Control Systems
- Semantic Web and Ontologies
- Multi-Criteria Decision Making
- AI-based Problem Solving and Planning
- semigroups and automata theory
- Fuzzy and Soft Set Theory
- Bayesian Modeling and Causal Inference
- Multi-Agent Systems and Negotiation
- Logic, programming, and type systems
- Formal Methods in Verification
- Advanced Topics in Algebra
- Robotic Path Planning Algorithms
- Fuzzy Systems and Optimization
- Advanced Database Systems and Queries
- Constraint Satisfaction and Optimization
- Image and Signal Denoising Methods
- Robotics and Automated Systems
- Robotics and Sensor-Based Localization
- Molecular spectroscopy and chirality
- Modular Robots and Swarm Intelligence
- Organic and Molecular Conductors Research
- Advanced Data Processing Techniques
Artificial Intelligence Research Institute
2014-2025
Consejo Superior de Investigaciones Científicas
2012-2022
Unidades Centrales Científico-Técnicas
2008-2020
National Research Council
2003-2019
Centre d'Estudis Avançats de Blanes
1988-2013
Universitat Autònoma de Barcelona
1997-2012
Intel (United States)
2001-2009
Universitat Politècnica de Catalunya
1987
Journal Article On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice Get access Félix Bou, Bou Institut d'Investigació en Intel.ligència Artificial, IIIA - CSIC, Campus UAB, Bellaterra 08193, Spain.E-mail: fbou@iiia.csic.es; esteva@iiia.csic.es; godo@iiia.csic.es Search for other works by this author on: Oxford Academic Google Scholar Francesc Esteva, Esteva Lluís Godo, Godo Ricardo Oscar Rodríguez Dpto. de Computación, Fac. Ciencias Exactas y Naturales, Universidad Buenos...
Hajek acknowledges partial support by the grant No.A1030004/00 of Grant Agency Academy Sciences Czech Republic. Esteva and Godo acknowledge Spanish CICYT project LOFAG TIC2001-1577-C03-01.
This paper is an attempt at providing a fuzzy set formalization of case-based reasoning and decision.Learning aspects are not considered here.The proposed approach assumes principle stating that ''the more similar the problem description attributes, outcome attributes.''A weaker form this concluding only on graded possibility similarity also considered.These two forms modelled in terms rules.Then approximate machinery taking advantage enables us to apply information stored memory previous...
Journal Article Logics Preserving Degrees of Truth from Varieties Residuated Lattices Get access Félix Bou, Bou Artificial Intelligence Research Institute (IIIA - CSIC), Bellaterra, Spain.E-mail: fbou@iiia.csic.es; esteva@iiia.csic.es Search for other works by this author on: Oxford Academic Google Scholar Francesc Esteva, Esteva Josep Maria Font, Font Department Probability, Logic and Statistics, Faculty Mathematics, University Barcelona, jmfont@ub.edu Àngel J. Gil, Gil Departament...
Journal Article On modal extensions of Product fuzzy logic Get access Amanda Vidal, Vidal Artificial Intelligence Research Institute (IIIA – CSIC), Campus UAB, 08193 Bellaterra, Spain. Search for other works by this author on: Oxford Academic Google Scholar Francesc Esteva, Esteva Lluis Godo E-mail: amanda@iiia.csic.es; esteva@iiia.csic.es; godo@iiia.csic.es Logic and Computation, Volume 27, Issue 1, February 2017, Pages 299–336, https://doi.org/10.1093/logcom/exv046 Published: 10 August...
Abstract Nilpotent Minimum logic (NML) is a substructural algebraizable that distinguished member of the family systems Mathematical Fuzzy logic, and at same time it axiomatic extension with prelinearity axiom Nelson Markov’s Constructive strong negation. In this paper our main aim to characterize axiomatize paraconsistent variants NML its extensions defined by (sets of) logical matrices over linearly ordered NM-algebra lattice filters as designated values, special emphasis on those only...