CSIC

You are here

Home > Staff > Pilar Dellunde

Pilar Dellunde

Reasoning and Logic Department
Email: 
pilar@iiia.csic.es
Extension: 
239
Position: 
Adjunct scientists
57 Publications
2009
Pilar Dellunde, Lluís Godo, Enrico Marchioni; Exploring Extensions of Possibilistic Logic over Gödel logic. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009); 2009.
Download PDF
Sindhu Joseph, Carles Sierra, Marco Schorlemmer, Pilar Dellunde; Formalising Deductive Coherence: An Application to Norm Evaluation. ; 2009.
Download PDF
Pilar Dellunde; On Reduced Semantics for Fuzzy Predicate Logics. ; 2009.
Download PDF
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.
Download PDF
2008
Sindhu Joseph, Pilar Dellunde, Marco Schorlemmer, Carles Sierra; Formalizing Deductive Coherence: An Application to Norm Evaluation. Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008). Associated with DEON 2008, Luxenbourg, 15-16 July, 2008; 2008.
Download PDF
Pilar Dellunde, Lluís Godo; Introducing Grades in Deontic Logics. Ninth International Conference on Deontic Logic in Computer Science (DEON'08); 2008.
Download PDF
Isaac Pinyol, J. Sabater-Mir, Pilar Dellunde; Probabilistic Dynamic Belief Logic for Image and Reputation. Artificial Intelligence Research and Development, CCIA'08; 2008.
Download PDF
2007
Pilar Dellunde; On the Multimodal Logic of Elementary Normative Systems. Artificial Intelligence Research and Development, CCIA'07; 2007.
Download PDF
Pilar Dellunde; On the Multimodal Logic of Normative Systems. Lecture Notes in Computer Science; 2007.
Download PDF
2004
Pilar Dellunde, Françoise Delon, Françoise Point; The theory of modules of separably closed fields 2. Annals of Pure and Applied Logic; 2004.
Download PDF
2003
Pilar Dellunde; Citizen participation and the Internet: obstacles, opportunities and proposals for the future. Open Administration Dossier, CAT365; 2003.
Download PDF
Pilar Dellunde; Equality-free Saturated Models. Reports on Mathematical Logic; 2003.
Download PDF
2002
Pilar Dellunde, Françoise Delon, Françoise Point; The Theory of Modules of Separably Closed Fields 1. The Journal of Symbolic Logic; 2002.
Download PDF
2001
Pilar Dellunde; Les corps separablement clos consideres comme modules. Seminaire de Structures Algebriques Ordonnees; 2001.
Download PDF
Pilar Dellunde, Françoise Delon, Françoise Point; Separably closed fields considered as modules. The Bulletin of Symbolic Logic; 2001.
Download PDF
2000
Pilar Dellunde; A Preservation Theorem for Equality-free Horn Sentences. Theoria; 2000.
Download PDF
Pilar Dellunde; On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica; 2000.
Download PDF
1999
Pilar Dellunde; Equality-free Logic: The Method of Diagrams and Preservation Theorems. Logic Journal of the IGPL; 1999.
Download PDF
Roger Bosch, Pilar Dellunde; Vocabulari Basic de Lògica. Servei de Publicacions de la Universitat Autonoma de Barcelona; 1999.
Download PDF
1997
Pilar Dellunde; Equality-free Logic. Workshop on Abstract Algebraic Logic; 1997.
Download PDF
Pilar Dellunde; Saturated Models and Equality-free Logic. II Congreso de la Sociedad de Lógica; 1997.
Download PDF
Enrique Casanovas, Pilar Dellunde; Some Results on Equality-free Logic. The Bulletin of the Workshop on Model Theory and Complexity; 1997.
Download PDF
1996
Pilar Dellunde; Characterization Theorems for Infinitary Universal Horn Logic. Truth, Logic, Representation and World; 1996.
Download PDF
Enrique Casanovas, Pilar Dellunde, Ramon Jansana; On Elementary Equivalence for Equality-free Logic. Notre Dame Journal of Formal Logic,; 1996.
Download PDF
Pilar Dellunde, Ramon Jansana; Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. The Journal of Symbolic Logic; 1996.
Download PDF
1995
Pilar Dellunde; A finitary 1-equivalential logic not finitely equivalential. Butlletin of the Section of Logic; 1995.
Download PDF
1993
Pilar Dellunde; El fragmento universal de Horn sin identidad. I Congreso de la Sociedad de Lógica; 1993.
Download PDF
 
Plan Nacional
01 January 2018 - 31 December 2020
Nardine Osman
CIMBVAL
Imbuing values in the coordination of hybrid social networks
Read project
Otros
30 April 2018 - 29 April 2020
Nardine Osman
AppPhil
Applied Philosophy for the Value-Based Design of Social Network Apps
Read project
Plan Nacional
01 January 2016 - 31 December 2019
Lluís Godo
RASO
RAzonamiento, Satisfacción y Optimización
Read project
Plan Nacional
01 January 2014 - 31 December 2016
Jordi Sabater-Mir
MILESS
A Framework for Mixed-Level Social Simulation with Socio-cognitive Agents
Read project
Plan Nacional
01 September 2007 - 31 December 2014
Carles Sierra
AT
Agreement Technologies
Read project
Plan Nacional
01 January 2010 - 31 December 2012
Lluís Godo
ARINF
Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP
Read project
Plan Nacional
01 February 2009 - 31 January 2012
Lluís Godo
LOCOMOTION
Logics for combining models of reasoning under imperfect information
Read project
Plan Nacional
01 October 2006 - 30 September 2009
Juan A. Rodríguez-Aguilar
IEA
AUTONOMIC ELECTRONIC INSTITUTIONS
Read project