A5072818908- Logic, Reasoning, and Knowledge
- Advanced Algebra and Logic
- Rough Sets and Fuzzy Logic
- Semantic Web and Ontologies
- Multi-Agent Systems and Negotiation
- Multi-Criteria Decision Making
- Fuzzy Logic and Control Systems
- Bayesian Modeling and Causal Inference
- AI-based Problem Solving and Planning
- Logic, programming, and type systems
- Fuzzy and Soft Set Theory
- semigroups and automata theory
- Formal Methods in Verification
- Data Management and Algorithms
- Auction Theory and Applications
- Constraint Satisfaction and Optimization
- Fuzzy Systems and Optimization
- Data Mining Algorithms and Applications
- Mobile Agent-Based Network Management
- Evaluation and Performance Assessment
- Decision-Making and Behavioral Economics
- Game Theory and Applications
- Philosophy and History of Science
- Complex Systems and Decision Making
- Simulation Techniques and Applications
Artificial Intelligence Research Institute
2016-2025
National Research Council
2006-2024
Consejo Superior de Investigaciones Científicas
2013-2022
University of Bristol
2017
Universitat Autònoma de Barcelona
2003-2016
Queen's University Belfast
2013-2016
Unidades Centrales Científico-Técnicas
2008-2015
Centre d'Estudis Avançats de Blanes
1988-2013
Intel (United States)
2001-2011
National University of Rosario
2006
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...
In open environments in which autonomous agents can break contracts, computational models of trust have an important role to play determining who interact with and how interactions unfold. To this end, we develop such a model, based on confidence reputation, show it be concretely applied, using fuzzy sets, guide evaluating past establishing new contracts one another.
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...
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...
Defeasible argumentation frameworks have evolved to become a sound setting formalize commonsense, qualitative reasoning from incomplete and potentially inconsistent knowledge. Logic Programming (DeLP) is defeasible formalism based on an extension of logic programming. Although DeLP has been successfully integrated in number different real-world applications, cannot deal with explicit uncertainty, nor vague knowledge, as defeasibility directly encoded the object language. This paper...
The objective of this article is to describe the MILORD Shell and particularly its architecture management uncertainty. an expert systems building tool consisting two inference engines explanation module. system allows one perform different calculi uncertainty on defined set linguistic terms expressing Each calculus corresponds specific conjunction, disjunction, implication operators. internal representation each value a fuzzy subset interval [0,1]. applied give, as result, that...
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...
In many fuzzy systems applications, values to be aggregated are of a qualitative nature. that case, if one wants compute some type average, the most common procedure is perform numerical interpretation values, and then apply well-known (the suitable) aggregation operators. However, stick purely setting, choices reduced either weighted versions max-min combinations or few existing proposals ordered average (OWA) this paper, we explore feasibility defining counterpart mean operator without...