Carlos Areces

	2012
47		Ezequiel Orbe, Carlos Areces, Gabriel G. Infante López: iSat: Structure Visualization for SAT Problems. LPAR 2012: 335-342
46		Carlos Areces, Santiago Figueira, Sergio Mera: Completeness results for memory logics. Ann. Pure Appl. Logic 163(7): 961-972 (2012)
	2011
45		Carlos Areces, Pascal Fontaine: Combining Theories: The Ackerman and Guarded Fragments. FroCos 2011: 40-54
44		Carlos Areces, Santiago Figueira, Daniel Gorín: Using Logic in the Generation of Referring Expressions. LACL 2011: 17-32
43		Carlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera: Basic Model Theory for Memory Logics. WoLLIC 2011: 20-34
42		Carlos Areces, Daniel Gorín: Unsorted Functional Translations. Electr. Notes Theor. Comput. Sci. 278: 3-16 (2011)
41		Carlos Areces, Daniel Gorín: Resolution with Order and Selection for Hybrid Logics. J. Autom. Reasoning 46(1): 1-42 (2011)
	2010
40		Carlos Areces, Guillaume Hoffmann, Alexandre Denis: Modal Logics with Counting. WoLLIC 2010: 98-109
39		Carlos Areces, Santiago Figueira, Daniel Gorín: The Question of Expressiveness in the Generation of Referring Expressions CoRR abs/1006.4621: (2010)
38		Carlos Areces, Patrick Blackburn: Special Issue on Hybrid Logics. J. Applied Logic 8(4): 303-304 (2010)
37		Carlos Areces, Daniel Gorín: Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction). J. Applied Logic 8(4): 305-318 (2010)
	2009
36		Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez: Testing Provers on a Grid - Framework Description. Description Logics 2009
35		Carlos Areces, Diego Figueira: Which Semantics for Neighbourhood Semantics? IJCAI 2009: 671-676
34		Carlos Areces, Santiago Figueira, Sergio Mera: Completeness Results for Memory Logics. LFCS 2009: 16-30
33		Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera: Tableaux and Model Checking for Memory Logics. TABLEAUX 2009: 47-61
32		Carlos Areces, Stéphane Demri: Preface. Electr. Notes Theor. Comput. Sci. 231: 1-2 (2009)
31		Guillaume Hoffmann, Carlos Areces: HTab: a Terminating Tableaux System for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 3-19 (2009)
30		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		Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera: Expressive Power and Decidability for Memory Logics. WoLLIC 2008: 56-68
	2006
27		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		Carsten Lutz, Carlos Areces, Ian Horrocks, Ulrike Sattler: Keys, Nominals, and Concrete Domains. J. Artif. Intell. Res. (JAIR) 23: 667-726 (2005)
	2004
24		Carlos Areces, Daniel Gorín: Ordered Resolution with Selection for H(@). LPAR 2004: 125-141
23		Carlos Areces, Raffaella Bernardi: Analyzing the Core of Categorial Grammar. Journal of Logic, Language and Information 13(2): 121-137 (2004)
	2003
22		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		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		Carlos Areces, Juan Heguiabehere: HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE 2002: 156-160
	2001
17		Carlos Areces, Raffaella Bernardi, Michael Moortgat: Galois Connections in Categorial Type Logic. Electr. Notes Theor. Comput. Sci. 53: 3-20 (2001)
16		Carlos Areces, Patrick Blackburn: Bringing them all Together. J. Log. Comput. 11(5): 657-669 (2001)
15		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		Carlos Areces, Enrico Franconi, Rajeev Goré, Maarten de Rijke, Bernd-Holger Schlingloff: Editorial. Logic Journal of the IGPL 8(3): 231-237 (2000)
9		Carlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): 653-679 (2000)
	1999
8		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		Carlos Areces, Wiet Bouma, Maarten de Rijke: Description Logics and Feature Interaction. Description Logics 1999
5		Marco Aiello, Carlos Areces, Maarten de Rijke: Spatial Reasoning for Image Retrieval. Description Logics 1999
4		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		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] [38]
5	Wiet Bouma (L. G. Bouma)	[4] [6] [11]
6	Facundo Carreiro	[43]
7	Stéphane Demri	[32]
8	Alexandre Denis	[40]
9	Diego Figueira	[28] [33] [35]
10	Santiago Figueira	[28] [34] [39] [43] [44] [46]
11	Pascal Fontaine	[45]
12	Enrico Franconi	[10]
13	Rosella Gennari	[12]
14	Robert Goldblatt	[29]
15	Rajeev Goré	[10]
16	Daniel Gorín	[24] [33] [36] [37] [39] [41] [42] [44]
17	Juan Heguiabehere	[12] [18]
18	Bernadette Martínez Hernández	[22]
19	Guillaume Hoffmann	[30] [31] [40]
20	Eva Hoogland	[3]
21	Ian Horrocks	[21] [25]
22	Dick de Jongh (Dick De Jongh)	[3]
23	Gabriel G. Infante López	[19] [47]
24	Alejandra Lorenzo	[36]
25	Carsten Lutz	[21] [25]
26	Maarten Marx	[1] [7] [9] [14] [20] [22]
27	Sergio Mera	[28] [33] [34] [43] [46]
28	Michael Moortgat	[17]
29	Hans de Nivelle	[8] [15]
30	Ezequiel Orbe	[47]
31	Maarten de Rijke	[2] [4] [5] [6] [8] [10] [11] [12] [13] [15] [19]
32	Mariano Pérez Rodríguez	[36]
33	Ulrike Sattler	[21] [25]
34	Bernd-Holger Schlingloff (Holger Schlingloff)	[10]
35	Dmitry Sustretov	[30]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page