Departament de Raonament i Lògica
Scientific Staff
288 Publications
Pere Pardo, Pilar Dellunde, Lluís Godo; Secure and Optimal Base Contraction in Graded {Ł}ukasiewicz Logics. Artificial Intelligence Research and Development. Proceedings of the 12th International Conference of the Catalan Association fo Artificial Intelligence; 2009.
Ana Casali, Lluís Godo, Carles Sierra; A Logical Framework to Represent and Reason about Graded Preferences and Intentions. Eleventh International Conference on Principles of Knowledge Representation and Reasoning, KR 2008; 2008.
Pilar Dellunde, Lluís Godo; Introducing Grades in Deontic Logics. Ninth International Conference on Deontic Logic in Computer Science (DEON'08); 2008.
Ana Casali, Lluís Godo, Carles Sierra; 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; 2007.
Ismel Brito, Pedro Meseguer, Lluís Godo; Distributed meeting scheduling. Artificial Intelligence Research and Development; 2007.
Didier Dubois, Francesc Esteva, Lluís Godo, Henri Prade; 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; 2007.
Fèlix Bou, Francesc Esteva, Lluís Godo; Modal systems based on many-valued logics. New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007; 2007.
Roberto Cignoli, Francesc Esteva, Lluís Godo; On Lukasiewicz logic with truth constants. Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42; 2007.
Francesc Esteva, Lluís Godo; Towards the generalization of Mundici's Gamma functor to IMTL algebras: the linearly ordered case. Algebraic and Proof-theoretic Aspects of Non-classical Logics - Papers in honour of Daniele Mundici on the occasion of his 60th birthday; 2007.
Ana Casali, Lluís Godo, Carles Sierra; A methodology to Engineer Graded BDI Agents. WASI - CACIC Workshop.XII Congreso Argentino de Ciencias de la Computación; 2006.