Lluís Godo (184 publications)
2009
"First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties",
Annals of Pure and Applied Logic, vol. 161, issue 2: Elsevier, pp. 185-202, 2009.
Abstract
"Logics preserving degrees of truth from varieties of residuated lattices",
Journal of Logic and Computation (doi:10.1093/logcom/exp030), vol. 19, issue 6: Oxford University Press , pp. 1031-1069, 2009.
Abstract
"On uncertainty and Kripke modalities in t-norm fuzzy logics",
Witnessed Years - Essays in Honour of Petr Hájek. Tributes, no. 10: College Publications, pp. 173-192, 2009.
2008
"Rational completeness results for prominent fuzzy logics with truth-constants",
XIV Congreso Español sobre Tecnologías y Lógica fuzzy (ESTYLF'08), Cuencas Mineras (Mieres - Langreo), pp. 133-139, 17/09/2008.
Abstract
"Introducing Grades in Deontic Logics",
Ninth International Conference on Deontic Logic in Computer Science (DEON'08). Lecture Notes in Computer Science, Ron van der Meyden and Leon van der Torre (eds.) , vol. 5076, Luxembourg, Springer-Verlag, pp. 248-262, 15/07/2008.
Abstract
"A Logic Programming Framework for Possibilistic Argumentation: Formalization and Logical Properties",
Fuzzy Sets and Systems, vol. 159, no. 10, pp. 1208-1228, 2008.
Abstract
"A Tourism Recommender Agent: from theory to practice",
Inteligencia Artificial, vol. 12, issue 40, pp. 23-38, 2008.
"A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming",
Computational Models of Argument, COMMA 2008. Frontiers in Artificial Intelligence: IOS Press, pp. 1-12, 2008.
Abstract
"A Logical Framework to Represent and Reason about Graded Preferences and Intentions",
Eleventh International Conference on Principles of Knowledge Representation and Reasoning, KR 2008 , G. Brewka and J. Lang (eds.) , Sydney, The AAAI Press, pp. 27-37, 2008.
Abstract
"Computation of Skeptical Outputs in P-DeLP Satisfying Indirect Consistency: a Level-based Approach",
IPMU 2008, pp. 497-504, 2008.
Abstract
"Exploring a Syntactic Notion of Modal Many-Valued Logics",
Mathware & Soft Computing, vol. 15, issue 2, pp. 175-188, 2008.
Abstract
"Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification",
International Journal of Approximate Reasoning, vol. 48, no. 3, pp. 711-729, 2008.
Abstract
"Logical approaches to fuzzy similarity-based reasoning: an overview",
Preferences and Similarities. CISM Courses and Lectures, no. 504: Springer, pp. 75-128, 2008.
Abstract
"T-norm based fuzzy logics preserving degrees of truth",
IPMU 2008, pp. 1053-1060, 2008.
Abstract
"Validation and Experimentation of a Tourism Recommender Agent based on a Graded BDI Model",
11é Congrès Internacional de l'ACIA. ArtificiaL Intelligence Research and Developement, Frontiers in Artificial Inteligence and Applications, vol. 184, pp. 41-50, 2008.
Abstract
2007
"Sobre lógicas fuzzy basadas en T–normas y los resultados de Monteiro sobre álgebras de Heyting simétricas",
Actas del IX Congreso Dr. António A. R. Monteiro, Bahía Blanca (Argentina), pp. 23-32, 30/05/2007.
Abstract
"Artificial Intelligence Research and Development",
Desè Congrés Internacional de l'Associació Catalana d'Intel·ligència Artificial (CCIA 2007) , Sant Julià de Lòria, Andorra, IOS Press, 25/10/2007.
"Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results",
Fuzzy Sets and Systems, vol. 158, no. 6, pp. 597-618, 2007.
Abstract
"A logic for reasoning about the probability of fuzzy events",
Fuzzy Sets and Systems, vol. 158, no. 6, pp. 625 – 638, 2007.
Abstract
"A Language for the Execution of Graded BDI Agents",
Workshop on Formal Approaches to Multi-Agent Systems (FAMAS) at the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), Durham, UK, 6 and 7 September 2007, pp. 65--82, 2007.
Abstract
"A Tourism Recommender Agent: from Therory to Practice",
Proceedings WASI-CACIC 2007, pp. 1548-1561, 2007.
Abstract
"Fuzzy-set Based Logics --- An History-oriented Presentation of their Main Developments",
Handbook of the History of Logic, Volume 8: The Many Valued and Non-monotonic Turn in Logic: Elsevier, pp. 325--449, 2007.
"Modal systems based on many-valued logics",
New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007, vol. I, pp. 177-182, 2007.
Abstract
"Negotiating Using Rewards",
Artificial Intelligence, vol. 171, pp. 805–837, 2007.
Abstract
"On Lukasiewicz logic with truth constants",
Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42: Springer-Verlag, pp. 869-875, 2007.
Abstract
