Carlos Areces

2009
33	EE	Carlos Areces, Santiago Figueira, Sergio Mera: Completeness Results for Memory Logics. LFCS 2009: 16-30
32	EE	Carlos Areces, Stéphane Demri: Preface. Electr. Notes Theor. Comput. Sci. 231: 1-2 (2009)
31	EE	Guillaume Hoffmann, Carlos Areces: HTab: a Terminating Tableaux System for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 3-19 (2009)
30	EE	Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009)
2008
29		Carlos Areces, Robert Goldblatt: Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008 College Publications 2008
28	EE	Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera: Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68
2006
27	EE	Carlos Areces: Methods for modalities 3. J. Applied Logic 4(3): 215-217 (2006)
2005
26		Carlos Areces, Patrick Blackburn: Reichenbach, Prior and Montague: A Semantic Get-together. We Will Show Them! (1) 2005: 77-88
25	EE	Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)
2004
24	EE	Carlos Areces, Daniel Gorín: Ordered Resolution with Selection for H(@). LPAR 2004: 125-141
23	EE	Carlos Areces, Raffaella Bernardi: Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13(2): 121-137 (2004)
2003
22	EE	Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003
21		Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. IJCAI 2003: 349-354
20	EE	Carlos Areces, Patrick Blackburn, Maarten Marx: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3): 287-299 (2003)
2002
19		Gabriel G. Infante López, Carlos Areces, Maarten de Rijke: Controlled Model Exploration. Advances in Modal Logic 2002: 205-220
18	EE	Carlos Areces, Juan Heguiabehere: HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE 2002: 156-160
2001
17	EE	Carlos Areces, Raffaella Bernardi, Michael Moortgat: Galois Connections in Categorial Type Logic. Electr. Notes Theor. Comput. Sci. 53: (2001)
16	EE	Carlos Areces, Patrick Blackburn: Bringing them all Together. J. Log. Comput. 11(5): 657-669 (2001)
15	EE	Carlos Areces, Maarten de Rijke, Hans de Nivelle: Resolution in Modal, Description and Hybrid Logic. J. Log. Comput. 11(5): 717-736 (2001)
14		Carlos Areces, Patrick Blackburn, Maarten Marx: Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001)
2000
13		Carlos Areces, Maarten de Rijke: From Description to Hybrid Logics, and Back. Advances in Modal Logic 2000: 17-36
12		Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke: Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203
11		Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten de Rijke: Features as Constraints. FIW 2000: 210-225
10	EE	Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): (2000)
9	EE	Carlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): (2000)
1999
8	EE	Carlos Areces, Hans de Nivelle, Maarten de Rijke: Prefixed Resolution: A Resolution Method for Modal and Description Logics. CADE 1999: 187-201
7		Carlos Areces, Patrick Blackburn, Maarten Marx: A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321
6	EE	Carlos Areces, Wiet Bouma, Maarten de Rijke: Description Logics and Feature Interaction. Description Logics 1999
5	EE	Marco Aiello, Carlos Areces, Maarten de Rijke: Spatial Reasoning for Image Retrieval. Description Logics 1999
4	EE	Carlos Areces, Wiet Bouma, Maarten de Rijke: Feature Interaction as a Satisfiability Problem. MASCOTS 1999: 339-
1998
3		Carlos Areces, Eva Hoogland, Dick de Jongh: Interpolation, Definability and Fixed Points in Interpretability Logics. Advances in Modal Logic 1998: 35-58
2	EE	Carlos Areces, Maarten de Rijke: Expressiveness Revisited. Description Logics 1998
1		Maarten Marx, Carlos Areces: Failure of Interpolation in Combined Modal Logics. Notre Dame Journal of Formal Logic 39(2): 253-273 (1998)

Coauthor Index

1	Rafael Accorsi	[11]
2	Marco Aiello	[5]
3	Raffaella Bernardi	[17] [23]
4	Patrick Blackburn	[7] [9] [14] [16] [20] [22] [26] [30]
5	Wiet Bouma (L. G. Bouma)	[4] [6] [11]
6	Stéphane Demri	[32]
7	Diego Figueira	[28]
8	Santiago Figueira	[28] [33]
9	Enrico Franconi	[10]
10	Rosella Gennari	[12]
11	Robert Goldblatt	[29]
12	Rajeev Goré	[10]
13	Daniel Gorín	[24]
14	Juan Heguiabehere	[12] [18]
15	Bernadette Martínez Hernández	[22]
16	Guillaume Hoffmann	[30] [31]
17	Eva Hoogland	[3]
18	Ian Horrocks	[21] [25]
19	Dick de Jongh	[3]
20	Gabriel G. Infante López	[19]
21	Carsten Lutz	[21] [25]
22	Maarten Marx	[1] [7] [9] [14] [20] [22]
23	Sergio Mera	[28] [33]
24	Michael Moortgat	[17]
25	Hans de Nivelle	[8] [15]
26	Maarten de Rijke	[2] [4] [5] [6] [8] [10] [11] [12] [13] [15] [19]
27	Ulrike Sattler	[21] [25]
28	Bernd-Holger Schlingloff	[10]
29	Dmitry Sustretov	[30]

Colors in the list of coauthors