#### Filter Results:

- Full text PDF available (182)

#### Publication Year

1989

2017

- This year (12)
- Last 5 years (81)
- Last 10 years (130)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Francesc Esteva, Lluis Godo
- Fuzzy Sets and Systems
- 2001

H( ajek’s BL logic is the fuzzy logic capturing the tautologies of continuous t-norms and their residua. In this paper we investigate a weaker logic, MTL, which is intended to cope with the tautologies of left-continuous t-norms and their residua. The corresponding algebraic structures, MTL-algebras, are de8ned and completeness of MTL with respect to… (More)

- Antonio di Nola, Francesc Esteva, Lluis Godo, Franco Montagna
- Soft Comput.
- 2005

In this paper we overview recent results about the lattice of subvarieties of the variety BL of BL-algebras and the equational definition of some families of them.

- Francesc Esteva, Lluis Godo, Petr Hájek, Mirko Navara
- Arch. Math. Log.
- 2000

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant 0, namely ¬φ isφ → 0. However, this negation behaves quite differently depending on the t-norm.… (More)

- Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna
- Studia Logica
- 2002

- Roberto Cignoli, Francesc Esteva, Lluis Godo, Antoni Torrens Torrell
- Soft Comput.
- 2000

- Marcelo E. Coniglio, Francesc Esteva, Lluis Godo
- Logic Journal of the IGPL
- 2014

This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in the style of the so-called Logics of Formal Inconsistency (LFIs). The main novelty of the present approach… (More)

- Ana Casali, Lluis Godo, Carles Sierra
- CLIMA
- 2004

In the recent past, an increasing number of multiagent systems (MAS) have been designed and implemented to engineer complex distributed systems. Several previous works have proposed theories and architectures to give these systems a formal support. Among them, one of the most widely used is the BDI agent architecture presented by Rao and Georgeff. We… (More)

- Francesc Esteva, Lluis Godo, Franco Montagna
- Arch. Math. Log.
- 2001

- Teresa Alsinet, Carlos Iván Chesñevar, Lluis Godo, Guillermo Ricardo Simari
- Fuzzy Sets and Systems
- 2008

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most… (More)

- Ana Casali, Lluis Godo, Carles Sierra
- Artif. Intell.
- 2011

In this research note, we introduce a graded BDI agent development framework, g-BDI for short, that allows to build agents as multi-context systems that reason about three fundamental and graded mental attitudes (i.e. beliefs, desires and intentions). We propose a sound and complete logical framework for them and some logical extensions to accommodate… (More)