Skip to main content
Català
English
Español
Search form
Search
Log-in
About IIIA
Presentation
History
Contributions to Artificial Intelligence 1986 - 1995
Contributions to Artificial Intelligence 1996 - 2001
Location
Work with us
Departments
Projects
Current Projects
Past Projects
Publications
Publications
Thesis
Staff
Current staff
Former staff
Pilar Dellunde
Activities
Seminar
Conferences
Doctoral Consortium
Current news
Transfer
25th anniversary
You are here
Home
>
Staff
>
Pilar Dellunde
Pilar Dellunde
Current staff
Former staff
Pilar Dellunde
Reasoning and Logic Department
Email:
pilar@iiia.csic.es
Extension:
239
Position:
Adjunct scientists
Publications
Projects
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
first
previous
1
2
Plan Nacional
01 January 2018
-
31 December 2020
Nardine Osman
CIMBVAL
Imbuing values in the coordination of hybrid social networks
Otros
30 April 2018
-
29 April 2020
Nardine Osman
AppPhil
Applied Philosophy for the Value-Based Design of Social Network Apps
Plan Nacional
01 January 2016
-
31 December 2019
Lluís Godo
RASO
RAzonamiento, Satisfacción y Optimización
Plan Nacional
01 January 2014
-
31 December 2016
Jordi Sabater-Mir
MILESS
A Framework for Mixed-Level Social Simulation with Socio-cognitive Agents
Plan Nacional
01 September 2007
-
31 December 2014
Carles Sierra
AT
Agreement Technologies
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
Plan Nacional
01 February 2009
-
31 January 2012
Lluís Godo
LOCOMOTION
Logics for combining models of reasoning under imperfect information
Plan Nacional
01 October 2006
-
30 September 2009
Juan A. Rodríguez-Aguilar
IEA
AUTONOMIC ELECTRONIC INSTITUTIONS